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

Chargement de la page

Dépôts

Chargement de la page

 

Open Access

Chargement de la page

 

Mots-Clés

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

 

COLLABORATIONS