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

88 %

 

Mots-Clés

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

 

COLLABORATIONS