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

Chargement de la page

 

Open Access

Chargement de la page

 

Mots-Clés

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

 

COLLABORATIONS