index - Institut de Recherche en Informatique Fondamentale Accéder directement au contenu

Bienvenue dans la collection HAL de l'unité IRIF - UMR 8243

L'Institut de Recherche en Informatique Fondamentale (IRIF) est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, qui héberge une équipe-projet Inria. Il est issu de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. L'IRIF est aussi membre de la Fondation Sciences Mathématiques de Paris (FSMP) et de trois Domaines d’Intérêt Majeur de la région Ile-de-France : Math Innov, Sciences Informatiques, Technologies Quantiques.

Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques. En particulier, l’IRIF est reconnu pour ses contributions portant sur la conception et l’analyse d’algorithmes, l’étude des modèles de calculs et de représentation des données, les fondements des langages de programmation, le développement logiciel, la vérification et la certification.

•Cette collection référence uniquement les publications déposées à l'initiative de leur auteur·e, et n'est donc pas représentative de l'ensemble des publications de l'IRIF. Toute étude statistique de cette collection ne pourrait qu'être erronée. Cependant l'IRIF encourage ses membres à déposer régulièrement leurs publications dans cette collection.•

 

 

 

Notices

480

Dépôts

814

 

Open Access

88 %

 

Mots-Clés

Category theory Noncrossing partitions Game semantics Linear logic Fixed points Intersection types Coinduction Réécriture Combinatorial model category Diameter Reverse mathematics Categorical semantics Transducers Graph algorithms Lattice Linear Logic Opetope Decision problems Consensus Formal methods Distributed decision Gradual typing Automata Polygraphs Theory of computation Reduction operators Verification Algorithm Catégories supérieures Concurrency Union types Decidability Conference Monoid Décision distribuée Type theory Proof assistants Distance Labeling Quantum algorithms Distributed Computing Directed path Geometry of interaction Combinatorial topology Distributed systems Separation Infinite words Automaton groups Distributed verification Graph homomorphism Circular proofs Complexity Smart contracts Geometry of Interaction Dependent type theory Approximation algorithms Lambda calculus Proof nets Denotational semantics Non-wellfounded proofs Directed homotopy Topology Approximation Algorithms Rewriting Graphs Graph search Shared memory Polynomial functor Regular languages Proof assistant Cut elimination Semantics Subtyping Reachability Distributed algorithms Cluster complex Local certification Higher categories Opetopic set Eccentricity Formal verification Coq Classical logic Proof theory Distributed graph algorithms BFS Software Package Installation CONGEST Temporal path Lower bounds Curry-Howard Coloring Combinatorial maps Authentication Accessible model category Sequent calculus Communication complexity Clustering Graph theory Lambda Calculus Dynamical analysis of Algorithms

 

COLLABORATIONS