14.12.2022
We are very pleased to welcome Marie Albenque, Senior Research Scientist at CNRS. Learn more about her and her work in this written interview.

14.12.2022
Ahmed Bouajjani (IRIF) figures among the nine new honorary doctors appointed at Faculty of Science and Technology of Uppsala University. His research focuses on verification, specification and semantics for parallel and distributed programs and computer systems.

12.12.2022
Jonas Landman, former PhD student at IRIF, is the 2022 winner of a thesis Prize from Chancellerie des Universités de Paris. His thesis “Quantum Algorithms for Unsupervised Machine Learning and Neural Networks” was awarded in the All Specialties Science Prize Category.

6.12.2022
We are happy to host Lauren K. Williams for a one-year visit at IRIF. To know more about her and her research, read her interview.

30.11.2022
Sophie Laplante (IRIF) and Anupa Sunny (IRIF) will present at ITCS 2023 their paper Certificate Games in which players are given inputs x, y such that f(x)\≠f(y). Their goal is to find a position where the bits of their inputs differ. This simple new game can be used to give bounds on query complexity, block sensitivity and several other complexity measures.

25.11.2022
Le prix informatique Lovelace-Babbage de l’Académie des Sciences 2023 récompense des scientifiques dont les travaux, des plus théoriques aux plus appliqués, contribuent à la création des nouvelles technologies. Date limite pour constituer son dossier de candidature : 10 décembre 2022.

23.11.2022
3 papers coauthored by IRIF members will be presented at ITCS - Innovations in Theoretical Computer Science 2023.

23.11.2022
Nicolas Behr (IRIF) and Paul-André Melliès (IRIF) will speak at the CAP 22 conference which will take place at IHES on Monday 28 and Tuesday 29 November. The registration to the conference is free but mandatory.

18.11.2022
On November 8th, Iordanis Kerenidis (IRIF) and 5 other founding members officially launched the EQSI-European Quantum Software Institute with a stakeholder event in Paris. This initiative aims to further align development processes and jointly achieve responsible innovation in Europe for Quantum Software and Quantum Algorithms, through co-creation with industry and Quantum Hardware partners.

18.11.2022
Le Hcéres a publié la synthèse nationale et de prospective sur les mathématiques. Cette synthèse est constituée de trois volumes fruit d’un travail inédit mené pendant 2 ans par le comité d’experts dont fait partie Valérie Berthé (IRIF). Volume 1 : Rapport principal. Volume 2 : Analyse disciplinaire et des interactions scientifiques. Volume 3 : Caractérisation des publications dans le monde et en France.

16.11.2022
Les Assises des Mathématiques se déroulent à la Maison de l’Unesco du 14 au 16 novembre 2022. Valérie Berthé et Claire Mathieu, deux membres de l’IRIF, sont intervenues respectivement à la Table ronde sur la Synthèse nationale des Mathématiques et à la Table ronde sur les interactions entre les Mathématiques et les autres sciences.

14.11.2022
Guillaume Chapuy (IRIF) and Guillem Perarnau (Universitat Politècnica de Catalunya) will present, at SODA 2023, their paper proving that almost all automata with n states have a reset word not much longer than √n. This is based on a structure result saying that almost all automata are w-trees (i.e., the w-transitions induce a tree), for some very short word w — whose length is only logarithmic.

14.11.2022
Lucas Pesenti and Adrian Vladu (IRIF) will present, at SODA 2023, their paper Discrepancy Minimization via Regularization. They make progress towards conjectures in discrepancy theory by showing that Newton's method can produce low discrepancy colorings.

14.11.2022
Congratulations to Olivier Carton (IRIF), head of the pole Automata, structures and verification at IRIF and recently appointed senior member of Institut universitaire de France (IUF). He is interested by the links and connexions between normality and automata.

7.11.2022
The FRAIGNIAUD workshop (Fundamental Research and Algorithmic Innovations in Graphs, Networks and the Internet, with Applications and Upcoming Directions) will take place in Paris on the 28th and 29th of November, on the occasion of Pierre FRAIGNIAUD’s 60th birthday.

2.11.2022
Jonas Landman, former PhD student at IRIF is the 2022 winner of the Thesis Prize Chancellerie des Universités de Paris. His thesis entitled Quantum Algorithms for Unsupervised Machine Learning and Neural Networks was awarded in the All Specialties Science Prize Category.

27.10.2022
2 papers coauthored by IRIF members will be presented at SODA 2023, January 22-25. Complete list of accepted papers here.

27.10.2022
Gaëtan Douéneau-Tabot, doctorant en 3ème année à l’IRIF, est lauréat 2022 de deux Best Student Paper Awards remis par les deux principales conférences organisées par l’EATCS : ICALP et MFCS. En juillet 2022, il a reçu le Best Student Paper Award track B à ICALP et en août 2022, il a reçu un second prix à la conférence MFCS. Il nous explique sa recherche dans cette interview écrite.

25.10.2022
Sergio Rajsbaum, a one-year visitor at IRIF, has received the Computer Science National Prize of Mexico. His research mainly focuses on distributed computing systems: what can be done as a system? What are the limits? Learn more about him and his work in this written interview.

24.10.2022
L'IRIF inaugure un nouvel onglet “Médiation” sur son site web. Cet onglet rassemble les activités et projets de médiation scientifique organisés par le laboratoire. Vous y trouverez les informations autour de la Fête de la Science, les stages scolaires d'observation, l'exposition sur les 50 ans d'informatique théorique et le projet QuBOBS de Sophie Laplante.

24.10.2022
IRIF now has a HAL webpage, an open archive where authors can deposit scholar documents from all academic fields.

24.10.2022
Various postdoc positions available at IRIF : several openings in the Algorithms and Complexity group and a 14-month position available in the Polymorphic records in Elixir project.

21.10.2022
Du 7 au 17 octobre 2022, l’IRIF et l’UFR d’Informatique ont accueilli une dizaine de classes de fin primaire-début collège dans le cadre des activités de la Fête de la Science. Au programme, un baptême de programmation et plusieurs îlots de jeux pour s’initier à l’informatique en s’amusant. Plus d’informations sur notre page dédiée à la Fête de la Science.

21.10.2022
A new QuanTech Seminar Cycle will take place on October 14, 21, 28 and December 2nd. The seminars provide an overview of the different approaches to implementing quantum technologies ranging from aspects of physics to computer science, and from academic to industrial research.

21.10.2022
Les 13 et 14 octobre 2022, l'IRIF et le laboratoire MPQ ont proposé aux classes de lycée un parcours quantique A la Découverte des Technologies Quantiques incluant une conférence sur la cryptographie, un atelier sur le protocole BB84, un atelier sur les ions piégés et un autre sur les photons intriqués.

21.10.2022
We are very pleased to welcome Sylvain Douteau, Associate professor at Université Paris Cité. Learn more about his work in this written interview.

21.10.2022
The FSMP was present at ICALP 2022 this summer and took the opportunity to meet the computer scientists Patrick Cousot (New York University), winner of the EATCS prize, Leslie Ann Goldberg (Oxford University), plenary speaker, Craig Gentry (IBM Research), Zvika Brakerski (Weizmann Institute of Science) and Vinod Vaikuntanathany (University of Toronto), winners of the Gödel prize, Gaëtan Douéneau (PhD student at IRIF), best student paper award, and Geoffroy Couteau(IRIF), member of the organization of this edition. All the videos interviews here.

28.9.2022
Thomas Ehrhard, CNRS senior researcher at IRIF, turned 60 in 2021. A meeting will take place in Paris, at the CNAM, on 29-30 September 2022 to celebrate Ehrhard’s contributions to logic and the semantics of programming languages. For more information, follow the arrow:

19.9.2022
Philippe Schnoebelen (LMF), François Laroussinie (IRIF) and Nicolas Markey (IRISA), received the Test-of-Time award at the conference LICS 2022 for their research on temporal logic.

7.9.2022
IRIF is a co-sponsor of the ICTP-EAUMP School on Mathematical Programming and Algorithms - an African Mathematical School. The 2022 summer school organized by the University of Nairobi took place at Kenya School of Government, Nairobi, Kenya 11-29 July, 2022. Three IRIF members took part of this project: Jean-Baptiste Yunès, Roberto Mantaci and Anna Vanden Wyngaerd.

2.9.2022
The next ETAPS conference, a forum of top-conferences in computer science, will happen in Paris, April 22-27 2023. Paper submission is opened until October 13, 2022, 23:59 AoE.

2.9.2022
Pour son 48ème épisode, le podcast DECODE Quantum a reçu le directeur de l'IRIF Frédéric Magniez dans un entretien approfondi sur le quantique. Il est question, entre autres, d'algorithmes quantiques, de leur intérêt et de leur construction. Par ici pour écouter l'émission.

2.9.2022
Plus que quelques jours pour déposer votre candidature au Prix Irène Joliot-Curie, ce prix qui vise à promouvoir la place des femmes dans la recherche et la technologie en France. Clôture des candidatures le 8/09/2022.

2.9.2022
The 2nd Workshop Complexity and Algorithms (CoA 2022) will take place in September 26-28 2022 at Institut Henri Poincaré (IHP), Paris. Scientific program includes talks from invited speakers Marthe Bonamy (LaBRI), Carola Doerr (LIP6), Sébastien Tavenas (LAMA) and Adrian Vladu (IRIF).

2.9.2022
Houcine Ben Dali, PhD student at IRIF and IECL was awarded Best student paper at FPSAC’22 for his article Integrality in the Matching-Jack conjecture and the Farahat-Higman algebra.

2.9.2022
L’Académie des sciences et la Société informatique de France annoncent la création d’un nouveau prix en informatique : le prix Lovelace-Babbage.

31.8.2022
Baptiste Louf, a former IRIF PhD. student is the 2021 winner of the Chancellerie des Universités de Paris thesis award in the “all specialties” science category. Learn more about his work in this written interview.

26.8.2022
Amos Korman (IRIF) and Robin Vacus (IRIF) presented at PODC'22 their paper studying agreement processes in stochastic environments using minimal communication, inspired by biological scenarios.

11.8.2022
Le prix de thèse Gilles Kahn récompense chaque année une excellente thèse en informatique. Sont éligibles toutes les thèses soutenues au sein d’établissements français entre le 1er Septembre 2021 et le 31 Août 2022. Date limite de dépôt des candidatures : 16 septembre 2022.

11.8.2022
Leslie Ann Goldberg, invited speaker at ICALP 2022 was interviewed by La Recherche about some of the key issues she is interested in.

8.8.2022
The European Association for Programming Languages and Systems (EAPLS) has established a Best PhD Dissertation Award in the research area of programming languages and systems. Candidates for the award must be nominated by their supervisor. Deadline for nominations : 30 August 2022.

8.8.2022
Pierre Fraigniaud, Senior Research Scientist at IRIF/CNRS, Maximilien Lesellier, Head of Administration at IRIF, and Afonso Ferreira, Europe scientific advisor for INS2I at CNRS have written a short document aiming at helping researchers to navigate in the Horizon Europe programme from a researcher perspective.

28.7.2022
A paper authored by Ahmed Bouajjani (IRIF), Wael-Amine Boutglay (IRIF and UM6P-CS), and Peter Habermehl (IRIF), will be presented on August 7 at the 34th Intern. Conf. on Computer Aided Verification (CAV) – August 7-11: Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes.

27.7.2022
Zhouningxin Wang (IRIF) will present “Circular Flows in Mono-directed Eulerian Signed Graphs” at the 8th Czech-Slovak International Symposium on Graph Theory, Combinatorics, Algorithms and Applications. The talk is based on a joint work with J. Li (China), R. Naserasr (IRIF), and X. Zhu (China).

25.7.2022
The 2022 Donald E. Knuth Prize is awarded to Noga Alon, Professor of Mathematics at Princeton University and Emeritus Professor of Mathematics and Computer Science at Tel Aviv University, for foundational contributions in combinatorics and graph theory and applications to fundamental topics in computer science.

25.7.2022
P. Fraigniaud (IRIF) and A. Paz, S. Rajsbaum will present at PODC'22 their paper A Speedup Theorem for Asynchronous Computation with Applications to Consensus and Approximate Agreement.

18.7.2022
A fully funded PhD position in Computer Science with the subject “Cyber-physical systems with AI components: modeling, learning and verification” opens in IRIF, Paris, within the Modeling and verification team, in the framework of the Franco-Japanese research project CyPhAI.

18.7.2022
ETAPS 2023: 1st joint call for papers of the 26th European Joint Conferences on Theory and Practice of Sofware. Paper submission is opened until October 13, 2022, 23:59 AoE.

13.7.2022
One paper coauthored by Enrica Duchi (IRIF) and Corentin Henriet (IRIF) will be presented at FPSAC 2022, the 34th International Conference on Formal Power Series & Algebraic Combinatorics, 18-22 July: Combinatorics of fighting fish, planar maps and Tamari intervals.

13.7.2022
One paper coauthored by Simon Apers (CNRS, IRIF) will be presented at FOCS 2022, the 63rd IEEE Symposium on Foundations of Computer Science, October 31 - November 3 in Denver, USA.

7.7.2022
ICALP 2022 is organised by IRIF and is taking place on July 4–8 on the Grands Moulins campus of Université Paris Cité. This edition marks the 50th anniversary of the conference and of the EATCS.

7.7.2022
MFPS 38 will be held on July 11–13, 2022, with a co-located event in Ithaca, NY, USA, and at IRIF in Paris, France. The talks of A. Goy, W. Heitjtjes, B. König, N. Munnich, D. Petrisan, F. Pfenning, A. Tosun, and N. Wu will take place in room 3052 at IRIF. The talks from speakers in Ithaca and online will be broadcast from 14:30 to 21:30. Registration is mandatory.

22.6.2022
The 2022 edition of Highlights will happen from June 28th to July 1st, 2022, in Paris, France. The conference will be hosted by Université Paris Cité, and happen on the site of Grands Moulins. To register, please fill in the registration form. If you wish to watch Highlights remotely, please fill in the online registration form. Online attendance is free.

7.6.2022
IRIF is co-organizing a Workshop on Differentiable Programming, June 29-30, Université Paris Cité.

7.6.2022
Four papers coauthored by IRIF members will be presented at the conference TYPES'22, the main conference on type theory, this summer.

7.6.2022
IRIF is proud to announce that Olivier Carton, professor of Université Paris Cité and researcher at IRIF, was appointed senior member of IUF.

7.6.2022
Four papers coauthored by IRIF members will be presented at the conference PODC'22, the main conference on distributed computing, this summer.

7.6.2022
IRIF is co-organizing a Workshop Labyrinth of Combinatorics in memory of Pierre Rosenstiehl, June 15-17, Université Paris Cité

7.6.2022
Two papers coauthored by IRIF members will be presented at the conference ISSAC'22, the main conference on symbolic and algebraic computation , this summer.

5.5.2022
On May 9th at 6pm will be held the festive evening of 75 years of computer science, from its foundations to its impact on society. This event is organized by LIP6 with the help from IRIF. Program and details of the evening here.

5.5.2022
Antonio Casares (IRIF), Thomas Colcombet (IRIF) and Karoliina Lehtinen (Aix-Marseille University) will present at ICALP 2022 their paper studying the link between good-for-games Rabin automata and memory structures for infinite duration games over graphs. They also establish that these automata can be exponentially more succinct than equivalent deterministic ones.

5.5.2022
Gaëtan Douéneau-Tabot (IRIF, DGA) will present at ICALP 2022 his paper Hiding pebbles when the output alphabet is unary. Pebble transducers are simple programs which compute functions over finite words. This paper studies subclass membership problems for the functions computed by pebble transducers whose outputs are unary. Its results can be understood as program optimization techniques.

4.5.2022
3 papers coauthored by IRIF members will be presented at ICALP 2022, July 4-8 in Paris, campus Grands Moulins of Université Paris Cité. Complete list of accepted papers here.

27.4.2022
Call for applications: SMARTS-UP International scholarships for Master’s students managed by Université Paris Cité will grant € 8,000 individual scholarships to allow Graduate Schools to welcome international students in their Masters’s programmes. The Graduate School on Quantum Technologies is taking part in this project. Visit the call for applications webpage for more details. Deadline: April 30th, 2022.

26.4.2022
Registration to ICALP 2022 is now open. Early registration is open until May 11th, 2022 and late registration starts from May 12th, 2022. For more details and to register, follow this link: https://icalp2022.dakini-pco.com.

14.4.2022
Today is World Quantum Day! All over the globe, but especially in Europe, many bright minds are researching groundbreaking quantum technologies. This day aims at promoting the public understanding of Quantum Science and Technology around the World.

12.4.2022
Thomas Colcombet, Geoffroy Couteau et Sylvain Schmitz members of IRIF and part of ICALP 2022 organizing committee were interviewed by FSMP (Fondation Sciences Mathématiques de Paris), one of the co-organizers of the conference. Learn more about the goals of the conference and what makes it special this year (interview in French only).

8.4.2022
On May 9th, 2022, LIP6 and IRIF are organizing a cocktail celebrating the 75th anniversary of computer science in France. A panel of experts will explore the discipline from its foundations to its impacts on society.

4.4.2022
[Update on the calendar] Four Teaching Assistants positions plus three other potential teaching assistant positions that may become available upon contest within UFR d’Informatique of Université Paris Cité fort he academic year 2022-2023. To learn more and to apply, visit: https://www.irif.fr/postes/ater. Deadline to apply, May 4th 2022 (4:00 pm Paris time).

28.3.2022
IRIF has the great pleasure to welcome a new Associate Professor: Mohammed Foughali, an expert in formal verification and robotics. Learn more about him and his work here.

17.3.2022
IRIF will finance one or two additional Master scholarships in Theoretical Computer Science within the PGSM program of FSMP for female students who have completed a bachelor’s degree or the first year masters in one of the universities of the FSMP network. Apply online by May 12th, 2022.

15.3.2022
How can we model the glass ceiling in research? Claire Mathieu (IRIF) will give a talk on Thursday, March 24th from 1:15 to 2:00 PM as part of Jeudis du Campus. Follow the event live on the CNRS Ile-de-France Villejuif Youtube channel.

10.3.2022
Reacting to the current situation and supporting the opening of the PAUSE program – Solidarity with Ukraine, few IRIF members have volunteered to host researchers at risk. Contact us at relocation@listes.irif.fr to discuss options for applying to this initiative.

9.3.2022
Tuesday, March 15 at 6 :30 pm on the campus Pierre et Marie Curie, Isabelle Collet (Université de Genève), Christine Tasson (LIP6), Anne Siegel (IRISA)and Alexis Kauffmann (Direction du numérique pour l’éducation) will exchange on a roundtable discussion about inequalities regarding the presence of women in the digital sector.

4.3.2022
Thursday, March 10 at 6 :30 pm on the campus Pierre et Marie Curie, Jean-Gabriel Ganascia, Jean-François Perrot, and Gérard Sabah will meet to discuss artificial intelligence. Where, when and how did this notion start? All details here.

2.3.2022
Pierre Bergé, Guillaume Ducoffe and Michel Habib (IRIF) will present their paper Subquadratic-time algorithm for the diameter and all eccentricities on median graphs at the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) held in Marseille, March 15-18 2022.

2.3.2022
Sander Gribling (IRIF) and Harold Nieuwboer (University of Amsterdam) will present at STACS 2022 their paper Improved quantum lower and upper bounds for matrix scaling in which they show classical second-order methods together with quantum spectral sparsifiers lead to faster quantum algorithms for the matrix scaling problem, in the poly(1/eps)-regime.

11.2.2022
Aujourd’hui, nous soulignons la Journée internationale des femmes et des filles de science avec 3 interviews de nos doctorantes et post-doctorantes : Ada Vienot, Klara Nosan et Anna Vanden-Wyngaerd.

10.2.2022
Un poste de Maître·sse de Conférences (références Galaxie no 204) en Mathématiques et informatique fondamentale est à pourvoir à l’UFR de Mathématiques de l’Université de Paris en vue d’une intégration à l’IRIF. Postuler sur Galaxie au plus tard le 28 février 2022 16h (heure de Paris). Prise de fonction le 1er novembre 2022 (si besoin, le laboratoire pourra fournir un CDD du 01/09/2022 au 31/10/2022). Plus de détails sur https://www.irif.fr/postes/universite.

8.2.2022
Baptiste Louf (currently doing his postdoc in Sweden), received the Thesis Prize The Chancellerie des Universités de Paris category science “all specialties” for his thesis prepared at IRIF under the supervision of Guillaume Chapuy and entitled Cartes de grand genre : de la hiérarchie KP aux limites probabilistes.

7.2.2022
The software Coq, a formal proof management system developed by teams at Inria and IRIF was rewarded by the Open Science Awards for Open Source Research Software category Scientific and Technical quality. Learn more about this software: https://coq.inria.fr.

4.2.2022
The deadline to submit your paper at ICALP 2022 is February 10, 2022 AoE. Link to submission (track A and B) here. More info on the submission guidelines here.

3.2.2022
IRIF is excited to organize the next ICALP conference. The 2022 edition will take place in Paris 4-8 July. Visit the website for more info : https://icalp2022.irif.fr. It will be the occasion to celebrate the 50th anniversary of both EATCS and the first ICALP which was held in Rocquencourt in 1972.

3.2.2022
IRIF has the great pleasure to welcome a new CNRS Research Scientist: Simon Apers, an expert in quantum computing. Learn more about him and his work here

18.1.2022
Two papers coauthored by IRIF members will be presented at the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) held in Marseille, March 15-18 2022.