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

477

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS