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

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

 

COLLABORATIONS