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

834

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS