11.12.2024
Le lundi 16 décembre 2024, SOC² organise une journée dédiée aux modèles de calcul basés sur les flots de données pour célébrer l'anniversaire du célèbre article de Gilles Kahn sur les KPN, intitulé « The semantics of a simple language for parallel programming », publié en 1974. L'objectif est d'explorer les divers domaines de recherche introduits par cet article. La journée débutera par une présentation de l'article original. Le programme ainsi que le lien d'inscription (gratuit) sont disponibles ici :

28.11.2024
Le prix Ackermann récompense des thèses exceptionnelles en logique informatique lors de la conférence ACSL. Cette année, le prix a été attribué à deux thèses encadrées à l'IRIF : les lauréats sont Gaëtan Douéneau-Tabot, encadré par Olivier Carton et Emmanuel Filiot à l'Université Paris-Cité (France), et Aliaume Lopez, encadré par Jean Goubault-Larrecq et Sylvain Schmitz à l'ENS Paris-Saclay et à l'Université Paris-Cité (France), respectivement. Ils recevront leur prix à CSL 2025, à Amsterdam, qui aura lieu du 10 au 14 février 2025.

26.11.2024
Félicitations aux membres de l'IRIF suivants dont les articles ont été acceptés pour la conférence POPL 2025 : Rida Ait El Manssour, Guillaume Baudart, Adrienne Lancelot, Giulio Manzonetto, Gabriel Scherer et Mahsa Shirmohammadi.

12.11.2024
La journée du Groupe de Travail LVP (Langages et à la Vérification de Programme) du GdR GPL du CNRS se déroulera le jeudi 14 novembre 2024 à l'IRIF, de 9h à 17h40. Emilio Jesús Gallego Aria, chercheur Inria à l'IRIF, Université de Paris donnera d'ailleurs un exposé sur : “Flèche: Incremental Validation for Hybrid Formal Documents”. Cet évènement est gratuit mais l'inscription est obligatoire.

5.11.2024
Cette année, trois chercheurs de l'IRIF font partie de deux projets ayant été retenus pour une bourse Synergie 2025 du Conseil Européen de la Recherche (ERC). Toutes nos félicitations à Valérie Berthé, Hugo Herbelin et Paul-André Melliès ! Nous leur souhaitons d'obtenir des résultats concluants.

31.10.2024
L’IRIF est ravi d’accueillir Dexter Kozen de l’Université Cornell en tant qu'intervenant de nos Distinguished Talks. La conférence aura lieu le 3 décembre 2024 à partir de 11h. Plus de détails à venir !

24.10.2024
L'informatique a-t-elle un avenir ? Telle est la question qui sera débattue lors de la troisième conférence “On éteint, on réfléchit, on discute”, organisée à l'Université Paris Cité par François Laroussinie. José Halloy (LIED) et Anne-Laure Ligozat (LISN) sont les conférenciers invités. Elle se tiendra le mardi 10 décembre 2024, de 16h15 à 18h30. Cet événement est gratuit.

24.10.2024
Le prix de l'Innovation a été décerné à Sergio Rajsbaum, membre associé de l'IRIF, dans le cadre de son importante contribution à l'Informatique Distribuée. Ce prix lui sera remis lors de la conférence SIROCCO'25 à Delphes, en Grèce.

18.10.2024
Nous souhaitons la bienvenue à Mélissa Goddé, nouvelle gestionnaire, qui vient renforcer l'équipe administrative.

4.10.2024
La Fête de la Science édition 2024 est lancée ! L'IRIF et l'Université Paris Cité accueilleront du 4 au 14 octobre, 13 classes de primaire et collège, qui viendront découvrir l'informatique à travers des activités débranchées et de la programmation. Nous proposons également un programme quantique créé avec le laboratoire Matériaux et Phénomènes Quantiques (MPQ) à des classes de lycée.

30.9.2024
Jean-Louis Krivine, professeur émérite à l'IRIF, a publié un livre, “Les décompilateurs - L'Univers en tête”. Vous y trouverez, entre autres, une réflexion sur l'origine des mathématiques et le lien entre logique et informatique théorique ainsi que quelques paradoxes en mécanique quantique.

25.9.2024
CNRS Sciences Informatiques organise la conférence « L'optimisation : au cœur des défis de l'informatique » qui aura lieu le 3 octobre 2024, au siège du CNRS. Cet événement, destiné aux professionnels de l'industrie, aux décideurs et aux journalistes, rassemble la communauté scientifique pour échanger et partager les connaissances sur ce sujet transdisciplinaire. Claire Mathieu, Simon Apers et David Saulpic y interviendront.

19.9.2024
Cette année, l'IRIF s'est fixé un objectif clair : atteindre la parité parmi les stagiaires de 3e. Un véritable défi, car dans les sciences informatiques, la proportion de femmes est encore nettement plus faible. C'est pourquoi nous comptons sur nos réseaux pour attirer davantage de candidatures féminines que les années précédentes ! Une semaine dans notre laboratoire de recherche permettra aux stagiaires de découvrir l'univers de la recherche et de mieux comprendre ce qu'est l'informatique.

18.9.2024
Neha Rino (stagiaire MPRI à l'IRIF en 2023), Eugène Asarin et Mohammed Foughali ont remporté le Best Paper Award à FORMATS. Ce travail formule et résout par un algorithme efficace le problème du suivi quantitatif : calculer un nombre réel caractérisant dans quelle mesure la trace donnée d'un système temps réel satisfait sa spécification.

11.9.2024
Roberto Mantaci et Jean-Baptiste Yunès ont publié un livre intitulé « Basics of Programming and Algorithms, Principles and Applications ». Il fournit un contenu de base pour l'enseignement de la programmation et des algorithmes, couvrant l'analyse des performances des algorithmes et les connaissances essentielles en programmation Python.

5.9.2024
Le comité du prix de thèse de doctorat 2024 Principles of Distributed Computing a décidé de partager le prix entre deux lauréats, dont Robin Vacus pour sa thèse « Algorithmic Perspectives to Collective Natural Phenomena » (Perspectives algorithmiques sur les phénomènes naturels collectifs). Il a effectué son doctorat sous la direction d'Amos Korman et de Pierre Fraigniaud, à l'Université Paris Cité. Sa thèse applique une approche de systèmes distribués à des problèmes et des modèles inspirés de la biologie et de la sociologie.

2.9.2024
Ashwin Nayak (professeur à l'Université de Waterloo) sera en visite à l'IRIF de septembre à octobre 2024. Ses recherches portent sur les algorithmes quantiques, la complexité et la communication. Il a beaucoup collaboré avec le Dr Frédéric Magniez et d'autres membres de l'IRIF sur ces sujets. En s'appuyant sur leurs collaborations de recherche, le Dr. Magniez et lui-même ont dirigé un programme international d'échange d'étudiants entre le Canada et un certain nombre d'institutions de l'UE, ainsi qu'un projet PICS entre l'Institute for Quantum Computing de l'Université de Waterloo et l'IRIF. Ashwin se réjouit de renouer ces liens lors de sa prochaine visite.

26.8.2024
Delia Kesner est oratrice invitée à la conférence internationale Lambda World qui aura lieu à Cadiz (Espagne) du 2 au 4 octobre 2024.

29.7.2024
Le logiciel de vidéoconférence «Galène», développé par Juliusz Chroboczek, membre de l'IRIF, a été utilisé pour la conférence LibrePlanet 2024, organisée par la Free Software Foundation (FSF). Un retour d'expérience a été publié sur leur site :

19.7.2024
Les vacances ont commencé et la science vous manque déjà ? La rediffusion de la conférence d'Omer Reingold est maintenant disponible. Son exposé était intitulé “The multitude of group affiliations: Algorithmic Fairness, Loss Minimization and Outcome Indistinguishability”.

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.

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 :

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
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 !

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 ?”.

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 !

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 d'assistant en gestion financière et comptable (H/F) est à pourvoir. Rejoignez-nous !

3.7.2024
L'irif recrute ! Un poste de gestionnaire financièr-e 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 !

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.”

20.6.2024
Paul-André Melliès a été invité à intervenir en séance plénière au Logic Colloquium 2024 qui se tiendra du 24 au 28 Juin à l’Université de Göteborg en Suède. Il y parlera de son travail sur les automates d’ordre supérieur et le lambda-calcul profini développé à l’IRIF en collaboration avec Sam van Gool et Vincent Moreau.

12.6.2024
Elixir a lancé sa nouvelle version ! Giuseppe Castagna (directeur de recherche à l'IRIF) et Guillaume Duboc (Doctorant à l'IRIF) ont développé avec José Valim le système de types pour ce langage de programmation open-source. “Cette version introduit des types ensemblistes pour un certain nombre de constructions du langage.”

6.6.2024
Le prix Alonzo Church 2024 (EACSL) a été attribué à Thomas Ehrhard (Directeur de recherche à l'IRIF - CNRS) et Laurent Regnier. Ce prix récompense une contribution exceptionnelle à la logique et à l'informatique. Toutes nos félicitations à tous les deux !

30.5.2024
Un poste de gestionnaire administratif-ve et financier-ère est à pourvoir ! Vous souhaitez intégrer une équipe sympathique et vous aimez le chocolat ? Ce poste est fait pour vous !

30.5.2024
La 14ème journée francilienne de programmation se déroulera le lundi 10 juin 2024 à l'Université Paris Cité, UFR d'informatique. Cette journée est l'occasion d'une confrontation ludique et amicale entre équipes d'étudiants de licence d'informatique venues de l'université Paris Saclay, de l'université Paris Cité et de Sorbonne Université. Cette journée est organisée conjointement par Pierre Letouzey (IRIF), Jean-Baptiste Yunès (UPC), Emmanuel Chailloux (UPMC) et Jean-Christophe Filliâtre (Paris Saclay).

30.5.2024
Un poste d'Ingénieur de recherche en développement logiciel est à pourvoir. N'hésitez pas à partager cette offre de poste autour de vous !

27.5.2024
Ahmed Bouajjani, Professeur à l'IRIF, a été récompensé pour sa contribution à la recherche dans le domaine de l'informatique. Il a été nominé dans la catégorie Recherche scientifique pour la 6ème édition des Trophées Marocains du Monde. Toutes nos félicitations !

12.4.2024
La rediffusion de la conférence (en anglais) de Véronique Cortier, qui s'est tenue en février, est désormais disponible sur la chaîne YouTube de l'IRIF. Son sujet était : “Le vote électronique : conception et vérification formelle”.

10.4.2024
Trois projets de médiation scientifique de chercheurs à l'IRIF ont été sélectionnés pour l'édition 2024 de Pint of Science France-Paris. Le principe : découvrir une thématique ou un sujet scientifique, dans un bar. Nos chercheurs parleront protection des données, graphes et informatique quantique.

10.4.2024
L'IRIF a le plaisir d'annoncer son deuxième Distinguished Talk de l'année ! Notre conférencier invité est Omer Reingold, professeur d'informatique à l'université de Stanford et directeur de la Simons Collaboration sur la théorie de l'Équité algorithmique (Simons Foundation). Il parlera de l'équité algorithmique. Toute personne intéressée est invitée à se joindre à nous pour cette conférence !

29.3.2024
Bravo à Quentin Aristote, doctorant, qui a reçu le prix Helena Rasiowa pour le meilleur papier étudiant, lors de la 32ème conférence EACSL : Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids.

28.3.2024
La Société mathématique de Belgique (SMB) a décerné à Mirna Džamonja (CNRS, IRIF, Université de Paris) le “Prix Godeaux” de la SMB. “Ce prix est décerné chaque année, sur proposition d'un membre du conseil d'administration de la BMS, à un-e mathématicien-ne belge ou international-e de renom qui est invité-e à donner une conférence en Belgique”. Toutes nos félicitations !

27.3.2024
Marie-Josée Iarifina a rejoint l'IRIF pour remplacer Natalia Hacquart en tant que gestionnaire financière et comptable. Venez la rencontrer et lui souhaiter la bienvenue dans le bureau 4002.

27.3.2024
Nous accueillons une nouvelle directrice de recherche à l'IRIF, Tayssir Touili. Ses domaines d'intérêt sont la détection de logiciels malveillants, la vérification de logiciels et les méthodes formelles. Vous pouvez la rencontrer dans le bureau 4028A.

19.3.2024
Après avoir été augmenté en septembre 2023, le budget alloué à l’Enseignement supérieur et à la Recherche est finalement réduit de 904 millions d’euros. Le podcast “La Science, CQFD” de France Culture s'est demandé comment se porte la recherche française et quelle direction elle prend. Claire Mathieu, directrice de recherche au CNRS à l'IRIF, intervient.

15.3.2024
La deuxième conférence “On éteint, on réfléchit, on discute”, organisée à l'Université Paris Cité par François Laroussinie, portera sur “Les communs numériques”. Serge Abiteboul et Valérie Peugeot sont les conférenciers invités. Elle se tiendra le 19 mars 2024, de 16h à 18h. Cet événement est gratuit.

12.3.2024
Hugo Herbelin, directeur de recherche Inria à l'IRIF, organise la prochaine journée Horizon Maths sur le sujet : Preuve mathématique et sûreté logicielle. Elle aura lieu le mercredi 27 mars 2024 de 9h à 18h à l'institut Henri Poincaré (5 rue Pierre et Marie Curie, Paris 5e), amphithéâtre Hermite. Inscription gratuite mais obligatoire :

5.2.2024
Rejoignez l'IRIF en tant que Responsable de la gestion financière ! Au sein d'une équipe administrative encadrée par le responsable administratif et composée de 5 agents (dont 3 gestionnaires sous votre responsabilité), vous organiserez les missions relatives à la réalisation, la mise en œuvre et le suivi des opérations financières. Date limite de candidature : vendredi 23 février 2024. | Date d'embauche prévue : 1er mars 2024

1.2.2024
Nous sommes très heureux d'accueillir dès aujourd'hui David Saulpic, chargé de recherche au sein de l'IRIF. Son sujet de prédilection ? Les algorithmes, et plus particulièrement les problèmes liés au clustering. Vous pouvez le rencontrer dans son bureau 4029A.

31.1.2024
Quelle politique pour la recherche ? Dans une tribune du journal l'Humanité, Claire Mathieu expose l'importance de la recherche pour la France et l'urgence à redonner de l'attractivité à ce domaine, au risque de faire fuir les jeunes chercheurs.

30.1.2024
Comment concevoir des algorithmes pour analyser les protocoles de vote électronique ? Comment définir mathématiquement le secret du vote ? Quels sont les enjeux ? Retrouvez l'interview que Véronique Cortier nous a accordée avant sa conférence du 7 février 2024.

29.1.2024
Un poste de professeur des universités et deux postes de maître de conférence ouvrent bientôt à l'IRIF. La maîtrise du français est obligatoire pour ces postes. La date limite de dépôt des candidatures est fixée au 6 mars 2024 (16h00 - heure de Paris).

24.1.2024
Le 23 janvier, Loïc Peyrot, doctorant à l’IRIF, était invité comme conférencier sur le thème « Record polymorphism for set-theoretic types » à l’IMDEA Software Institute.

18.1.2024
Les IA dépasseront-elles bientôt leurs maîtres ? Un début de réponse se trouve dans cet article du Monde Sciences sur l'essor des IA en mathématiques, dans lequel est cité Vincent Jugé, maître de conférences au laboratoire d'informatique Gaspard-Monge de l'université Gustave Eiffel, qui est détaché à l'IRIF.

15.1.2024
Félicitations à David Saulpic, qui rejoindra l'IRIF au 1er Février, gagnant du prix de thèse Gilles Kahn 2023 ! Il a soutenu sa thèse en 2018, intitulée “Approximation Algorithms and Sketches for Clustering”.

9.1.2024
Congratulations to Pierre Fraigniaud, who won an Imre Simon Test-of-Time award 2024 for the paper "Collective Tree Exploration" with Leszek Gasieniec, Dariusz R. Kowalski, and Andrzej Pelc. It appeared in the proceedings of the 6th Latin American Symposium on Theoretical Informatics (LATIN 2004). It will be delivered at the 16th edition of LATIN, in Puerto Varas, Chile, March 18-22, 2024.

2.1.2024
Following the adoption of the immigration law by the government, Claire Mathieu resigned from the Presidential Science Council, which was set up on 7 December 2023.