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

479

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS