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

481

Dépôts

814

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS