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

482

Dépôts

818

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS