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

504

Dépôts

942

 

Open Access

89 %

 

Mots-Clés

Lambda calculus Cryptography Theory of computation Polygraphs Concurrency Topology Approximation algorithms Logic in Computer Science csLO Regular languages Non-wellfounded proofs Smart contracts Cut elimination Lambda-calculus Proof theory Lambda-Calculus Monoid Approximation Algorithms Temporal path Circular proofs Abstract machines Catégories supérieures Opetope Communication complexity Lower bounds Algorithm Rewriting Verification Conference Subtyping BFS Linear logic Sequent calculus Fixed points Graph algorithms Decidability Combinatorial model category Curry-Howard Diameter Intersection types Classical logic Opetopic set Coverability Consensus Distributed graph algorithms Software Package Installation Bisimulation Noncrossing partitions Réécriture Denotational semantics Systèmes distribués Coloring Authentication Quantum algorithms Categorical semantics Complexity Transducers Formal methods Formal verification Geometry of interaction Distributed systems Combinatorial maps CONGEST Coq Eccentricity Proof nets Linear Logic Cluster complex Graph theory Semantics Distributed algorithms Reachability Vérification Substitutions CCS Concepts Call-by-value Distributed Computing Separation Combinatorial topology Accessible model category Type theory Proof assistant Reverse mathematics Coinduction Polynomial functor Automata Broadcasting Theory of computation → Graph algorithms analysis Symbolic dynamics Reduction operators Clustering Blockchain Proof assistants Shared memory Signed graphs Directed path Automaton groups Theory of computation → Distributed algorithms Category theory Union types Program verification

 

COLLABORATIONS