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

477

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS