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

479

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS