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

486

Dépôts

823

 

Open Access

88 %

 

Mots-Clés

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

 

COLLABORATIONS