11.12.2024
Monday, 16 December 2024, SOC² is organizing a day dedicated to dataflow models of computation to celebrate the anniversary of the famous paper of Gilles Kahn on KPN, entitled « The semantics of a simple language for parallel programming » was published in 1974. The goal is to travel through the various research fields that has been opened by this paper. The original paper will be presented to start the day. The program and the registration link (free of charge) is here:

csl2024.jpg

28.11.2024
The Ackermann Award recognizes outstanding dissertations for Logic in Computer Science at ACSL conference. This year, the prize has been awarded to two thesis supervised at IRIF: the laureates are Gaëtan Douéneau-Tabot supervised by Olivier Carton and Emmanuel Filiot at Université Paris-Cité (France) and Aliaume Lopez supervised by Jean Goubault-Larrecq and Sylvain Schmitz at ENS Paris-Saclay and Université Paris-Cité (France), respectively. They will receive their prize to CSL 2025, in Amsterdam, which will take place from 10 to 14 February 2025.

popl_2025.jpg

26.11.2024
Congratulations to our following members whose papers have been accepted for the 2025 POPL conference : Rida Ait El Manssour, Guillaume Baudart, Adrienne Lancelot, Giulio Manzonetto, Gabriel Scherer and Mahsa Shirmohammadi

12.11.2024
The LVP (Languages and Program Verification) working group of the GPL GdR of the CNRS will be holding its one-day conference on Thursday 14 November 2024 at IRIF, from 9am to 5.40pm. Emilio Jesús Gallego Aria, Inria researcher at IRIF, University of Paris, will be giving a talk on : ‘Flèche: Incremental Validation for Hybrid Formal Documents’. This event is free but registration is required.

5.11.2024
This year, three IRIF researchers are part of two projects that have won a 2025 Synergy Grant from the European Research Council (ERC). Many congratulations to Valérie Berthé, Hugo Herbelin and Paul-André Melliès ! IRIF wishes them successful results.

pp_dexterkozen.jpg

31.10.2024
IRIF is excited to host Dexter Kozen from Cornell University as a speaker in our Distinguished Talks series. The talk will take place on December 03, 2024, starting at 11a.m. More details to come!

perso-sergio-rajsbaum.jpg

24.10.2024
The Innovation Prize has been awarded to Sergio Rajsbaum, associate member of IRIF, in recognition of his significant contribution to Distributed Computing. The prize will be presented to him at the SIROCCO'25 conference in Delphi, Greece.

24.10.2024
Does Computer Science Have a Future? That is the question to be debated during the third conference, “We Turn Off, We Reflect, We Discuss,” organized at Université Paris Cité by François Laroussinie. José Halloy (LIED) and Anne-Laure Ligozat (LISN) are the invited speakers. It will take place on December 10, 2024, from 4:15 PM to 6:30 PM. This event is free of charge.

pp_melissa_godde.jpg

18.10.2024
We welcome Mélissa Goddé, the new administrative assistant, who has joined the administrative team.

affichefds2024.jpg

4.10.2024
The 2024 edition of the Fête de la Science has begun! The IRIF will host, from October 4th to 14th, 13 elementary and middle school classes who will come to explore computer science through unplugged activities and programming. We also offer a quantum program created in collaboration with the Materials and Quantum Phenomena (MPQ) laboratory for high school classes.

jlkrivine_lesdecompilateurs.jpg

30.9.2024
Jean-Louis Krivine, Professor Emeritus at IRIF, has published a book entitled ‘Les décompilateurs - L'Univers en tête’. In it you will find, among other things, a reflection on the origin of mathematics and the link between logic and theoretical computing, as well as some paradoxes in quantum mechanics.

optimisation_web.jpg

25.9.2024
CNRS Computer Science is organizing the conference “Optimization: at the Heart of Challenges in Computer Science” which will take place on October 3, 2024, at the CNRS Headquarters. This event, aimed at industry professionals, decision-makers, and journalists, brings together the scientific community to exchange and share knowledge on this cross-disciplinary topic. Claire Mathieu, Simon Apers and David Saulpic will give talks.

Happy International Woman Day.Feminism concept.Bright Beautiful Different
Dancing Girls Holding Hands.Party,Eight of March Celebration. Free Confident...

19.9.2024
This year, IRIF has set a clear goal: achieving gender parity among 9th-grade interns. This is a real challenge, as the proportion of women in computer science is still significantly lower. That's why we are counting on our networks to attract more female applicants than in previous years! A week in our research lab will give interns the chance to discover the world of research and gain a clearer understanding of what computer science really is.

formatsbestpaperaward2024.jpg

18.9.2024
Neha Rino (MPRI intern at IRIF in 2023), Eugène Asarin and Mohammed Foughali won the Best Paper Award at FORMATS. This work formulate and solve by an efficient algorithm the problem of quantitative monitoring: compute a real number characterizing to which extent the given trace of a real-time system satisfies its specification.

book_basics_of_programming_algorithms.jpeg

11.9.2024
Roberto Mantaci and Jean-Baptiste Yunès have published a book entitled “Basics of Programming and Algorithms, Principles and Applications”. It provides core content for teaching programming and algorithms, covering algorithm performance analysis and essential Python programming knowledge.

perso_robinvacus.jpg

5.9.2024
The committee for the 2024 Principles of Distributed Computing Doctoral Dissertation Award has decided to share the award between two recipients, including Dr. Robin Vacus for his dissertation “Algorithmic Perspectives to Collective Natural Phenomena.” He completed his PhD under the supervision of Amos Korman and Pierre Fraigniaud, at the Université Paris Cité. His thesis applies a distributed systems approach to problems and models inspired by biology and sociology.

ashwin_nayak.jpg

2.9.2024
Ashwin Nayak (Professor, University of Waterloo) will be visiting IRIF from September to October 2024. His research interests include quantum algorithms, complexity, and communication. He has collaborated extensively with Dr. Frédéric Magniez and other members of IRIF on these topics. Building on their research collaborations, Dr. Magniez and he led an international student exchange program between Canada and a number of EU institutions, and a PICS project between the Institute for Quantum Computing at U. Waterloo and IRIF. Ashwin is looking forward to renewing these ties in the upcoming visit.

perso-delia-kesner.jpg

26.8.2024
Delia Kesner is guest speaker at the Lambda World international conference to be held in Cadiz (Spain) from 2 to 4 October 2024.

29.7.2024
The videoconferencing software 'Galène', developed by Juliusz Chroboczek, IRIF member, was used for the LibrePlanet 2024 conference, organized by the Free Software Foundation (FSF). A feedback report was published on their site:

dts_omer_reingold.jpg

19.7.2024
The holydays have started and you're already missing science? The rebroadcast of Omer Reingold's talk is now available. His talk was on “The multitude of group affiliations: Algorithmic Fairness, Loss Minimization and Outcome Indistinguishability”.

book_the_french_school_of_programming.jpg

16.7.2024
Giuseppe Castagna, Pierre-Louis Curien, and Jean-Jacques Lévy all contributed to writing a chapter of the new book “The French School of Programming.” Through a chapter, each of the 13 researchers was able to address the topic of their choice related to programming and software engineering.

11.7.2024
Mark your calendar for September 16th. The Day on Probabilities in Theoretical Computer Science is coming! 7 invited speakers will cover a wide range of areas related to TCS and probabilities, including quantum, cryptography, algorithms, and more. To join us, register (free but mandatory) here:

9.7.2024
Thomas Ehrhard is an invited speaker of the 28th AILA Logic Meeting, which will take place in Udine (Italy) from 3 to 6 September 2024.

ASCII���Screenshot

5.7.2024
H. Feree, I. van der Giessen, S. van Gool, I. Shillito won the IJCAR best paper award for their article “Mechanised uniform interpolation for modal logics K, GL and ISL”. Congratulations!

petri_nets_2024_bpa.jpg

5.7.2024
Lucie Guillou, Arnaud Sangnier and Nathalie Sznajder won the Petri Nets 2024 best paper award for their article “Safety Verification of Wait-Only Non-Blocking Broadcast Protocols”. Congratulations !

5.7.2024
On the occasion of International Joint Conference on Automated Reasoning (IJCAR), Malika Boudiba, a France 3 Grand Est journalist, made an article : “Connaissez-vous cette discipline entre mathématiques et informatique qui révolutionne notre quotidien ?”.

3.7.2024
The future financial and accounting manager will organise tasks relating to the creation, implementation and monitoring of financial operations for the IRIF, in compliance with the techniques, rules and procedures of the two managing supervisory bodies (CNRS, Université Paris Cité). Come and join us!

giovanni-bernardi.jpg

3.7.2024
Giovanni Bernardi, associate professor at IRIF, has been invited to the IMT Lucca, Italy, to talk about “Constructive characterisations of the must-preorder for asynchrony”. You can follow this conference remotely.

3.7.2024
irif is recruiting! We have a vacancy for a Financial and Accounting Manager (M/F). Come and join us!We have a vacancy for a Financial and Accounting Management Assistant (M/F).

3.7.2024
Irif is recruiting! We have a vacancy for a Financial and Accounting Manager (M/F). Come and join us!

perso-delia-kesner.jpg

26.6.2024
Delia Kesner, professor at IRIF, won the MSCA Staff Exchange 2023 call for her project “QCOMICAL – Quantum Computing and its Calculi”. The grant fund collaborative projects, promoting personnel mobility among consortium members. “QCOMICAL aims to encourage new developments in the theory of quantum programming languages and foster new interactions between participants to achieve substantial advances beyond the current state of knowledge in quantum computing.”

ASCII���Screenshot

20.6.2024
Paul-André Melliès has been invited as Plenary Speaker at the Logic Colloquium 2024 which will be held 24–28 June at the University of Gothenburg in Sweden. He will speak about his work on higher-order automata and profinite lambda-calculus developed at IRIF in collaboration with Sam van Gool and Vincent Moreau.

12.6.2024
Elixir has launched its new version! Giuseppe Castagna (IRIF Senior Researcher) and Guillaume Duboc (IRIF PhD student) developed with José Valim the type-system for this open-source programming language. “This release introduces set-theoretic types into a handful of language constructs.”

6.6.2024
The 2024 Alonzo Church Award (EACSL) has been attributed to Thomas Ehrhard (Senior Research Scientist at IRIF - CNRS) and Laurent Regnier. This award is for an outstanding contribution to Logic and Computation. Many congratulations to both of them!

30.5.2024
An administrative and financial manager position is available! Do you want to join a friendly team and do you love chocolate? This position is for you!

30.5.2024
The 14th Île-de-France Programming Day will take place on Monday, June 10, 2024, at Université Paris Cité, in the Department of Computer Science. This day is an opportunity for a fun and friendly competition between teams of computer science undergraduate students from Université Paris-Saclay, Université Paris Cité, and Sorbonne University. This day is jointly organized by Pierre Letouzey (IRIF), Jean-Baptiste Yunès (UPC), Emmanuel Chailloux (UPMC) and Jean-Christophe Filliâtre (Paris Saclay).

30.5.2024
A research engineer position in software development is available. Feel free to share this job offer with those around you!

perso-ahmed-bouajjani.jpg

27.5.2024
Ahmed Bouajjani, Professor at IRIF, has been awarded for his contribution to research in the computer science field. He has been nominated in the Scientific Research category for the 6th edition of the “Trophées Marocains du Monde”. Many congratulations!

12.4.2024
The rerun of Véronique Cortier Distinguished Talk that was held on February is now available on the IRIF YouTube channel. Her subject was: “Electronic voting: design and formal verification”.

logopintofscience2024.jpg

10.4.2024
Three scientific outreach projects by IRIF researchers have been selected for the 2024 edition of France-Paris Pint of Science. The idea is to discover a scientific theme or subject in a bar. Our researchers will be talking about data protection, graphs and quantum computing.

dts_omer_reingold.jpg

10.4.2024
IRIF is pleased to announce its second Distinguished Lecture of the year! Our invited speaker is Omer Reingold, professor of computer science at Stanford University and the director of the Simons Collaboration on the Theory of Algorithmic Fairness (Simons Foundation). He will talk about Algorithmic Fairness. Anyone interested is welcome to join us for this talk!

quentin_aristote.jpg

29.3.2024
Congratulations to Quentin Aristote, doctoral student, who won the Helena Rasiowa prize for the best student paper at the 32nd EACSL conference: Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids

mirna-dzamonja.jpeg

28.3.2024
The Belgian Mathematical Society (BMS) has awarded Mirna Džamonja (CNRS, IRIF, Université de Paris) with the BMS “Godeaux lecture prize”. “The prize is awarded every year, upon proposal from a BMS board member, to a prominent belgian or international mathematician who is invited to give a talk at a conference in Belgium.” Congratulations!

marie-jose_iarifina.jpg

27.3.2024
Marie-Josée Iarifina has joined IRIF to replace Natalia Hacquart as Finance and Accounting Manager. Come and meet her and welcome her to office 4002.

tayssir_touili.jpg

27.3.2024
We welcome a new research director at IRIF, Tayssir Touili. Her areas of interest are Malware Detection, Software Verification and Formal Methods. You can meet her in room 4028A.

podcast_recherche_cm.jpg

19.3.2024
After being increased in September 2023, the budget allocated to the french Higher Education and Research is finally reduced by 904 million euros. The podcast “La Science, CQFD” by France Culture wondered how French research is faring and what direction it is taking. Claire Mathieu, research director at CNRS at IRIF, intervenes.

15.3.2024
The 2nd french speaking conference «On éteint, on réfléchit, on discute» organized at Université Paris Cité by François Laroussinie focuses on «Les communs numériques» (“Digital Commons”). Serge Abiteboul and Valerie Peugeot are the invited speakers. It will be held on March 19, 2024, from 4pm to 6pm. This is a free of charge event.

12.3.2024
Hugo Herbelin, research director at Inria in IRIF, is organizing the next french speaking Horizon Maths day on the topic: Mathematical Proof and Software Safety. It will take place on Wednesday, March 27, 2024, from 9 a.m. to 6 p.m. at the Henri Poincaré Institute (5 rue Pierre et Marie Curie, Paris 5th), Hermite amphitheater. Free but mandatory registration:

5.2.2024
Join IRIF as Financial Management Manager! As part of an administrative team supervised by the Administrative Manager and consisting of 5 staff (including 3 managers under your responsibility), you will organise tasks relating to the preparation, implementation and monitoring of financial operations. Application deadline: Friday 23 February 2024. | Planned start date: 1 March 2024

david_saulpic-scaled.jpg

1.2.2024
We are delighted to welcome David Saulpic, Research Fellow at the IRIF. His favourite subject? Algorithms, and more specifically clustering problems. You can meet him in his office 4029A.

perso-claire-mathieu.jpg

31.1.2024
What kind of research policy? In an article for the french newspaper l'Humanité, Claire Mathieu explains the importance of research for France and the urgent need to make the field more attractive again, at the risk of driving away young researchers.

30.1.2024
How to design algorithms to analyze protocols in electronic voting ? How to define mathematically vote secrecy ? What is at stake ? Read the interview Véronique Cortier granted us before her distinguished talk on 7 February, 2024.

29.1.2024
One full professor (professeur des universités) and two associate professor (maître de conference) positions will open at IRIF. Fluency in French is mandatory for these positions. The application deadline is March the 6th 2024 (16h00 - Paris time)

imdea.jpg

24.1.2024
On 23 January, Loïc Peyrot, a doctoral student at the IRIF, was invited to speak on the subject of “Record polymorphism for set-theoretic types” at the IMDEA Software Institute.

charset=Ascii

18.1.2024
Will AIs soon surpass their masters? The beginning of an answer can be found in this article in Le Monde Sciences on the rise of AI in mathematics, in which Vincent Jugé, a lecturer at the Gaspard-Monge Computer Science Laboratory at Gustave Eiffel University and seconded to the IRIF, is quoted.

david_saulpic-scaled.jpg

15.1.2024
Congratulations to David Saulpic, who will be joining IRIF on 1 February, winner of the 2023 Gilles Kahn Dissertation Prize! He defended his thesis in 2018, entitled “Approximation Algorithms and Sketches for Clustering”.

perso-pierre-fraigniaud.jpg

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.

perso-claire-mathieu.jpg

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.

(These news are displayed by date of creation)