Institut de Recherche en Informatique Fondamentale
IRIF
Mathématiques et leurs interactions et Sciences et technologies de l'information et de la communication. Les publications HAL repérées abordent notamment Directed path, Linear logic, Lambda-calculus.
Domaines et travaux documentés
Consulter le site de la structure →
Domaines scientifiques déclarés au RNSR
Panels ERC déclarés au RNSR
Mots-clés des publications HAL repérées
Projets ANR
Publications HAL récentes repérées
- Recognizability in S-adic shifts · 2026
Résumé de la publication : We investigate questions related to the notion of recognizability of sequences of morphisms, a generalization of Mossé's Theorem. We consider the most general class of morphisms including ones with erasable letters. The main result states that a sequence of morphisms with finite…
- Natural homotopy of multipointed d-spaces · 2026
Résumé de la publication : We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables…
- Modelling session types using contracts · 2026
Résumé de la publication : Web services are one of the most widely used technologies for service oriented computing. In particular, they support client-server protocols whose specifications are written in XML languages as such as WSCL or WSDL. Notwithstanding the wide adoption of web services, it is…
- Cluster parking functions II: q, t-dihedral sieving via diagonal coinvariants · 2026
Résumé de la publication : In a previous work, we defined the complex of cluster parking functions. On one side, they encode the type-refined enumeration of faces of the cluster complex, and on the other side, they have a reduced homology which is isomorphic to (ungraded) diagonal…
- FROM CLONES TO CM-MONOIDS · 2026
Résumé de la publication : Clones of functions play a foundational role in both universal algebra and theoretical computer science. In this work, we introduce clone merge monoids (cm-monoids), a unifying one-sorted algebraic framework that integrates abstract clones, clone algebras (previously introduced by the first and the…
Projets européens
- FAIRCORE4EOSC — Core Components Supporting a FAIR EOSC
Horizon Europe · Appel 2021 · Structure associée au projet
FAIRCORE4EOSC focuses on the development and realisation of EOSC-Core components supporting a FAIR EOSC, addressing gaps identified in the SRIA. Leveraging existing technologies and services, the project will develop nine new EOSC-Core components aimed to improve the discoverability and interoperability of an increased amount of research outputs. FAIRCORE4EOSC will also contribute to the EOSC Interoperability…
Entreprises participant au même projet
CSC - IT Center for Science (Finlande) ; Commpla srl (Italie) ; SURFsara (Netherlands) (Pays-Bas) ; National Infrastructures for Research and Technology - GRNET S.A (Grèce)
- FAIR-IMPACT — Expanding FAIR Solutions across EOSC
Horizon Europe · Appel 2021 · Structure associée au projet
FAIR-IMPACT focuses on expanding FAIR solutions across the EOSC. It builds on the results of FAIRsFAIR and other relevant projects and initiatives. The project aims to realise a FAIR EOSC, that is an EOSC of FAIR data and services. FAIR-IMPACT will identify proven domain solutions and facilitate the interoperable uptake of these solutions across scientific…
Entreprises participant au même projet
E-science data factory (France) ; CSC - IT Center for Science (Finlande) ; Commpla srl (Italie) ; SURFsara (Netherlands) (Pays-Bas)
Compétences et domaines identifiés
Implantations
- Adresse RNSR : Université Paris Diderot - Bât. Sophie Germain - 8 place Aurélie Nemours, 75013, Paris, France
Regroupements
Ce laboratoire est inclus dans le périmètre de recherche des regroupements suivants, directement ou par son rattachement institutionnel.
Liens et rattachements
Deux vues des mêmes relations. Parcourez les pages ou choisissez une entité pour explorer ses liens.
Tutelles et structures parentes
- Sous tutelle deCentre national de la recherche scientifiqueÉtablissementConsulter →
- Sous tutelle deUniversité Paris CitéÉtablissementConsulter →
Projets et participations
- Participe au projetAbstraction modulaire pour le calcul distribuéProjet ANRConsulter →
- Participe au projetAlgorithmes avec prédictionsProjet ANRConsulter →
- Participe au projetAlgorithmes d'Approximation Sous-Exponentiels et ParamétrésProjet ANRConsulter →
- Participe au projetAlgorithmes quantiques et applicationsProjet ANRConsulter →
- Coordonne le projetAlgorithmes quantiques pour données massivesProjet ANRConsulter →
- Coordonne le projetAlgorithmes quantiques pour l'optimisation et l'échantillonnage moderneProjet ANRConsulter →
- Coordonne le projetBillets de banque et cartes de crédit quantiquesProjet ANRConsulter →
- Coordonne le projetCalcul distribué sur réseaux à la lumière de la topologie algébriqueProjet ANRConsulter →
- Participe au projetCalcul efficace de requêtes sur des données incomplètes ou incohérentesProjet ANRConsulter →
- Coordonne le projetCalcul Sécurisé sur des Réseaux ChiffrésProjet ANRConsulter →
Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.
Sources et actualisation
Site de la structure · RNSR · HAL
- Fiche mise à jour
- 14/10/2026
Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.
Compléter ou corriger cette fiche
Une information manque ou vous souhaitez réagir ? Connectez-vous pour proposer une correction ou laisser un commentaire.
Commenter cette fiche
Une information manque ou vous souhaitez réagir ? Connectez-vous pour proposer une correction ou laisser un commentaire.
Se connecter pour contribuer · Créer un compte