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

823

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS