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

482

Dépôts

818

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS