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

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 :

petri_nets_2024_bpa.jpg

5.7.2024
Lucie Guillou, Arnaud Sangnier et Nathalie Sznajder ont remporté le prix du meilleur article lors de la conférence Petri Nets 2024 pour leur article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Félicitations !

book_the_french_school_of_programming.jpg

16.7.2024
Giuseppe Castagna, Pierre-Louis Curien et Jean-Jacques Lévy ont tous les trois participé à la rédaction d'un chapitre du nouveau livre “The French School of Programming”. A travers un chapitre, chacun des 13 chercheurs a pu aborder le sujet de son choix autours de la programmation et du génie logiciel.

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.

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 !

perso-delia-kesner.jpg

26.6.2024
Delia Kesner, professeure à l'IRIF, est lauréate de l’appel MSCA Staff Exchange 2023 pour son projet “QCOMICAL – Quantum Computing and its Calculi”. La bourse “Marie Sklodowska Curie Actions Staff Exchanges“ finance des projets collaboratifs, favorisant la mobilité de personnel entre les membres du consortium. “QCOMICAL vise à encourager de nouveaux développements dans la théorie des langages de programmation quantique et favoriser de nouvelles interactions entre les participants afin de réaliser des avancées substantielles au-delà de l’état actuel des connaissances en informatique quantique.”

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


(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é.