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

824

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS