22.12.2023
Frédéric Magniez,CNRS research director at IRIF and former professor at the Collège de France, was the technical president of the « The Blaise Pascal [re]Generative Quantum Challenge » jury. It was organised by Pasqal, in collaboration with Blaise Pascal Advisors, Michelin, GENCI, and Capgemini. In this interview, he explains the objectives of the challenge and the importance of fundamental research in all the solutions found:

22.12.2023
Hugo Herbelin (researcher at Inria and the IRIF) talks about “And what if mathematical proofs were nothing other than programmes” as part of the “Proofs and programmes” conference. He himself coordinated the organisation of the conference at the Institut Henri Poincaré.

12.12.2023
The rerun of the talk of Simon Peyton Jones, first speaker of the 2023-2024 edition of the distinguished talks series is now available on the IRIF Youtube channel.

11.12.2023
A series of lectures on cryptocurrencies is being offered by UPCité's Computer Science UFR. On Tuesday 12 December 2023, the subject will be blockchain, to understand how it works and its place in today's economy. Jean Krivine and Rudy Bouguelli will be on hand to talk about the subject. Free admission, amphitheatre 9E at the Halle aux Farines from 4.15pm to 6.15pm!

30.11.2023
IRIF has the great pleasure to welcome a new researcher (INRIA ISFP): Guillaume Baudart, an expert in on probabilistic and reactive programming languages (language design, semantics, static analysis, compilation, inference).

24.11.2023
Sylvain Perifel will defend his habilitation to direct research [HDR] on Monday 4 December 2022 at 2pm in the Pierre-Gilles de Gennes Amphitheatre of the Condorcet building. His subject is L'aléatoire par le prisme des polynômes et de la compression.

23.11.2023
IRIF has the great pleasure to welcome a new researcher (INRIA): Gabriel Scherer, an expert in programming languages, with theoretical aspects of type systems, programming language implementation, general programming language concepts, and even some syntactic aspects.

21.11.2023
Du mardi 28 novembre au jeudi 30 novembre, nous recevrons à l'IRIF le comité d'évaluation de l'HCERES dans le cadre de l'évaluation de notre laboratoire. Programme

16.11.2023
La prochaine édition de Mathématiques en mouvement, conférence proposée par la FSMP, aura pour thème Des preuves et des programmes. Organisée sous la houlette de Hugo Herbelin, elle aura lieu le samedi 2 décembre 2023 de 14h à 18h.

14.11.2023
We are very proud to announce that two papers by two IRIF researchers have been selected for the SODA conference! Congratulations to François Sellier and Robin Vacus.

7.11.2023
We are very proud to announce that four papers by six IRIF researchers have been selected for the POPL conference! Congratulations to Claudia Faggian and Gabriele Vanoni, Mahsa Shirmohammadi, Giuseppe Castagna, Mickaël Laurent and Gabriel Scherer.

30.10.2023
Meet Sarah Winter, our new associate professor at IRIF ! “My goal is to combine traditional synthesis methods with AI methods, to get the best of both worlds.”

27.9.2023
Grâce au travail d'Alexandra Rogova, l'équipe Automates et applications de l'IRIF, en association avec plusieurs équipes externes s'intéressant à la théorie des bases de données (au LIGM, l'ENS, Telecom Paris, etc.), relance le site et la newsletter de « Database Theory in Paris », qui centralise les évènements scientifiques de cette thématique en région parisienne.

14.9.2023
Après avoir eux-mêmes suivis la Fresque du Climat, des membres du laboratoire de l'IRIF formeront, en tant que facilitateurs, des élèves de L1 à la Fresque du Numérique vendredi 15 septembre. Cet atelier permet de comprendre en équipe et de manière ludique les enjeux environnementaux du numérique.

11.9.2023
Congratulations to Mohammed Foughali, who has published a paper titled “Compositional Verification of Embedded Real-Time Systems”, alongside Pierre-Emmanuel Hladik from Nantes Université/LS2N and Alexander Zuepke from the Technical University of Munich in the Journal of Systems Architecture. You can access the article here:

11.9.2023
IRIF is back to school! Today, we are welcoming our 12 new permanent members to our laboratory. As part of this day, they will present their research topics to us.

6.9.2023
L'IRIF est très fier d'annoncer que Geoffroy Couteau, chargé de recherche du CNRS, a obtenu un financement pour son projet ERC Starting Grant : “Overcoming Barriers and Efficiency Limitations in Secure Computation”. Pour en savoir plus sur son projet et ses ambitions :

5.9.2023
Toutes nos félicitations à Amélie Gheerbrant, maîtresse de Conférences, qui vient d'être nommée Vice-Doyenne (VD) Vies des campus et Vie étudiante au sein de l'Université Paris Cité !

4.9.2023
Geoffroy Couteau et Pierre-Evariste Dagand ont écrit un texte à quatre mains dans le Blog Binaire du Journal Le Monde. Ils se demandent s'il est possible de contrôler l'accès aux sites pornographiques tout en conservant l'anonymat et les données de l'utilisateur pour protéger les enfants. C'est ici que le “zéro-proof knowledge” rentre en jeux…

21.7.2023
Félicitations à Claire Mathieu, nominée au rang de Fellow de l'EATCS ! A cette occasion, l'INSI dresse son portrait et reviens sur sa carrière de chercheuse.

12.7.2023
Congratulations to Guillaume Chapuy and Sam Van Gool who have been selected for the ANR respectively for their subjects “Combinatoire des cartes, méandres et multicourbes, et ses interactions” and “Espaces topologiques de types et de termes”.

29.6.2023
Les journées annuelles du GT CombAlg auront lieu les lundi 3 et mardi 4 juillet à Paris. Elles seront suivies d'une journée de l'ANR Combiné le mercredi 5 juillet. Lors de cette dernière, vous pourrez y écouter, entre autres, Guillaume Chapuy sur la hauteur des chemins des intervalles de Tamari aléatoires uniformes et Sylvie Corteel sur les sujets Combinatorics of the Delta conjecture at t=-1.

9.6.2023
Guillaume Duboc and Giuseppe Castagna have been invited as speakers in the Elixir Podcast. They dive into the prospect of types in the Elixir programming language.

15.5.2023
Congratulations to Jean Krivine (IRIF) and Vincent Danos (ENS and CNRS) who have received the Concur Test-of-Time Award (period 2002-2005) for their article “Reversible Communicating Systems”, published at CONCUR 2004. To read their article :

15.5.2023
Congratulations to Jean Krivine (IRIF) and Vincent Danos (ENS and CNRS) who have received the Concur Test-of-Time Award (period 2002-2005) for their article “Reversible Communicating Systems”, published at CONCUR 2004. To read their article :

11.5.2023
À l’occasion du départ à la retraite de François Métayer, le LHC rendra hommage au spécialiste des polygraphes, de l’homotopie et de la réécriture, animateur d’un groupe de travail mythique sur ces sujets. L’événement aura lieu les *8 et 9 juin 2023 et sera précédé par les journées LHC

11.5.2023
À l’occasion du départ à la retraite de François Métayer, le LHC rendra hommage au spécialiste des polygraphes, de l’homotopie et de la réécriture, animateur d’un groupe de travail mythique sur ces sujets. L’événement aura lieu les 8 et 9 juin 2023 et sera précédé par les journées LHC.

5.5.2023
The next speaker of the IRIF Graphs seminar is Sebastiano Vigna (Università degli Studi di Milano). The talk will be given in person on Tuesday 9th May at 15h in room 147 Olympe de Gouges on Monotonicity on undirected networks.

4.5.2023
Juliette Calvi, la nouvelle assistante de communication de l'IRIF est arrivée depuis la semaine dernière. N'hésitez pas à lui faire part de tous vos besoins en communication ou simplement à aller la rencontrer dans son bureau 4004.

4.5.2023
Claire Mathieu a été citée dans un article du journal “La Croix” : “Intelligence artificielle : “pourquoi sa vision du monde est-elle si biaisée ?”

4.5.2023
Le pôle PPS organise ses journées 2023, les 25 et 26 mai prochains, et c'est ouvert à tous.

5.4.2023
The ANR CoREACT will have its kick-off on Wednesday 19 April. It will be in room 146 and online, open to everyone. Contact Nicolas Behr for the details.

3.4.2023
We are proud to announce that Claire Mathieu was named as recipient of an EATCS fellowship for her fundamental contributions to solving theoretical and applied problems in approximation algorithms, online algorithms, and auction theory.

24.3.2023
The 50th edition of EPIT (École de Printemps d’Informatique Théorique) will have as theme The Kaleidoscope of Complexity Theory and will take place on June 12-16, 2023 at the Vieille Perrotine CAES/CNRS holiday center on the Oléron Island, in France.

10.3.2023
Les prochaines Journées Nationales du GDR IM (JNIM 2023) auront lieu à l'Université Paris Cité du 4 avril au 7 avril et sont organisées par l'IRIF. Programme et inscription ici.

7.3.2023
Pour la troisième année consécutive, la Faculté des Sciences d’Université Paris Cité lance un appel à manifestation d’intérêt pour accompagner et soutenir ses membres dans leurs initiatives ayant vocation à rendre accessible un sujet de recherche scientifique à un public non spécialiste. Date limite 20 mars 2023 minuit.

7.3.2023
The paper “Decentralized Asynchronous Crash-resilient Runtime Verification” authored by Borzoo Bonakdarpour (MSU), Pierre Fraigniaud (IRIF), Sergio Rajsbaum (UNAM), David Rosenblueth (UNAM), and Corentin Travers (LIS) has been selected in the “sample of [eight] exciting [..] articles on a diverse range of topics that were published in 2022” in the Journal of the ACM (JACM).

6.3.2023
Abhishek De, former PhD student at IRIF explains his thesis "Linear logic with the least and greatest fixed points. Truth semantics, complexity and a parallel syntax in this written interview.

6.3.2023
Farzad Jafarrahmani, former PhD student at IRIF explains his thesis Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective in this written interview.

6.3.2023
“Manuel de Cryptanalyse à l’usage de la NSA” est une conférence ludique, présentée par Sylvain Perifel – Maître de conférences (Université Paris Cité/IRIF) à l’occasion de l’édition 2022 de la Fête de la Science. Elle retrace et met en pratique les différentes avancées historiques de cette science, du code de César à RSA en passant par les substitutions mono-alphabétiques et par le chiffre de Vigenère.

27.2.2023
Shared engineer position in formal methods, between IRIF, LIPN and LMF. Deadline to apply: 17/03/2023.

27.2.2023
One paper authored by IRIF member will be presented at STOC 2023, June 20-23, 2023 in Orlando, Florida.

14.2.2023
On February 11, 2023 we celebrated the International Day of Women and Girls in Science. To highlight this special date, 3 interviews from our PhD students: Mouna Safir, Lucie Guillou and Shamisa Nematollahi.

13.2.2023
L’IRIF recherche un(e) assistant(e) de communication pour un contrat CDD de 24 mois. Date limite pour candidater : 28/02/2023. Date prévue d’embauche : 01/03/2023.

10.2.2023
Congratulations to Sophie Laplante (IRIF) and the QuBobs project team. Their poster presented at QIP 2023 received the best poster award.

10.2.2023
Claire Mathieu, CNRS Senior Research Scientist and algorithm specialist, was interviewed on SQOOL TV about ChatGPT. How this AI works, what is at stake and what are its advantages, Claire Mathieu discussed the basics of ChatGPT.

10.2.2023
Victor Lanvin, lauréat d’un prix de thèse Génie de la Programmation et du Logiciel 2022 et ancien doctorant à l’IRIF présente sa thèse A Semantic Foundation for Gradual Set-Theoretic Types dans cette interview écrite.

10.2.2023
The deadline to apply to the prestigious L’Oréal-UNESCO Young Talents award 2023 is February 27, 2023.

27.1.2023
A full-time research associates position is available to work on the ​VeSyAm research project. The position will start in July 2023. Deadline to apply: 12 noon on 15 Feb 2023. Further information in the job description.

25.1.2023
Claire Mathieu, membre de l’IRIF et spécialiste des algorithmes, est intervenue à l’émission Arrêt sur Images autour du ChatGPT. Comment cette IA construit-elle ses textes ? Pourquoi parvient-elle à couvrir à peu près n’importe quel sujet ?

16.1.2023
Claire Mathieu and 8 other authors co-authored the article "Découpage électoral des circonscriptions législatives en France : Déséquilibres démographiques et contraintes territoriales" about a new perspective for understanding electoral maps, using computational social science to study the criteria which shape how electoral districts are drawn up in France.

13.1.2023
Internship proposal for Masters student in computer science at LS2N and IRIF in Real-time analysis and verification of ROS2 robotic applications. To apply, please refer to the internship description.

11.1.2023
LAFI'23, a workshop affiliated to POPL’23 about Languages for Inference, will be held on January 15, 2023, as a bi-located event in Boston and at Université Paris Cité. The Paris antenna will take place in salle Leduc, at the first floor of Saints-Pères building, 45 rue des Saints-Pères, 75006 Paris, from 3pm to 9:30pm Paris time. The The talks of V. Blanchi, G. Caylak, M. Pagani (IRIF), F. Zaiser will happen physically in Paris. Registration is mandatory.