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

815

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS