Institut de Recherche en Informatique Fondamentale (IRIF)

CNRS

Université Paris Cité

L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université Paris Cité, et héberge une équipe-projet Inria.

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.

L'IRIF regroupe près de deux cents personnes. Sept de ses membres ont été lauréats de l'European Research Council (ERC), trois sont membres de l'Institut Universitaire de France (IUF), deux sont membres de l'Academia Europæa, et un est membre de l'Académie des sciences.

Suivez nous sur Mastodon, Twitter/X et LinkedIn :

LinkedIn Twitter/X Mastodon

giovanni-bernardi.jpg

3.7.2024
Giovanni Bernardi, maître de conférences à l'IRIF, est invité à l'IMT Lucca, en Italie, pour parler de “caractérisations constructives du must-preorder pour systèmes asynchrones”. Vous pouvez suivre cette conférence à distance.

3.7.2024
L'irif recrute ! Un poste de gestionnaire financièr-e et comptable (H/F) est à pourvoir. Rejoignez-nous !

9.7.2024
Thomas Ehrhard est invité en tant qu'orateur à la 28ème rencontre de logique l'AILA qui aura lieu à Udine (Italie) du 3 au 6 septembre 2024.

5.7.2024
A l'occasion de l'International Joint Conference on Automated Reasoning (IJCAR), Malika Boudiba, journaliste à France 3 Grand Est, a réalisé un article : “Connaissez-vous cette discipline entre les mathématiques et l'informatique qui révolutionne notre quotidien ?”.

11.7.2024
Notez la date du 16 septembre dans votre agenda. La Journée des Probabilités en Informatique Théorique se prépare ! 7 conférenciers invités couvriront un large éventail de domaines liés à l'informatique théorique et aux probabilités, notamment quantique, cryptographie, algorithmes, et plus encore. Pour nous rejoindre, inscrivez-vous (gratuit mais obligatoire) ici :

3.7.2024
L'irif recrute ! Un poste d'assistant en gestion financière et comptable (H/F) est à pourvoir. Rejoignez-nous !

3.7.2024
Le/la futur⸱e chargé⸱e de la gestion financière et comptable organisera les missions relatives à la réalisation, la mise en œuvre et le suivi des opérations financières pour l'IRIF, dans le respect des techniques, des règles et des procédures des deux tutelles gestionnaires (CNRS, Université Paris Cité). Rejoignez-nous !

ASCII���Screenshot

5.7.2024
H. Feree, I. van der Giessen, S. van Gool, I. Shillito ont remporté le prix du meilleur article lors de la conférence IJCAR pour leur article “Mechanised uniform interpolation for modal logics K, GL and ISL”. Toutes nos félicitations !


(Ces actualités sont présentées selon un classement mêlant priorité et aléatoire.)

Nombre limité d'évènements durant les vacances d'été.

Algorithmes et complexité
Vendredi 12 juillet 2024, 14 heures, Salle 3052
Nicholas Spooner (University of Warwick) An efficient quantum parallel repetition theorem and applications

A fundamental question in cryptography is whether the security of a “weak” cryptographic primitive can be generically amplified. We investigate this question in the quantum setting. We prove a general security amplification result for any quantum cryptographic primitive with a three-message security game, including (canonical) quantum commitments and quantum money.