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

486

Dépôts

819

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS