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

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

 

COLLABORATIONS