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

Chargement de la page

Dépôts

819

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS