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.•

 

 

Dernières Publications

Chargement de la page

 

Notices

479

Dépôts

813

 

Open Access

Chargement de la page

 

Mots-Clés

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

 

COLLABORATIONS