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

818

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS