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

480

Dépôts

817

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS