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

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

 

COLLABORATIONS