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

479

Dépôts

813

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS