Edito

In this week's IRIF Newsletter, we draw your attention to the fact that room 1007 can no longer be booked by IRIF members. It is still time to register for the event of Monday 29th at IHP.
For the International Day of Women and Girls in Science, the CNRS is looking for women researchers or PhD students to interview them.
The Focus is on the Open Science Prize for Open Source Research 2023.

Enjoy reading and have a nice weekend!

Direction's announcements

  • New year's afternoon: It is still time to register for Monday 29th of January, 2024. The event will start with a visit to the new Museum of Mathematics, at the IHP starting from 4:30pm to 5:30pm. It is free but it is mandatory to register here if you want to visit the museum. It will be followed by an aperitif buffet still at the IHP starting from 5:30 until 8:30pm. Please let us know if you can attend only one of the activities and specify which one. Also, if you wish to bring a family member, kindly reach out to us. The registrations will be closed Wednesday 24th at 2pm.
  • Lab council: the next lab council will be held on the 6th of February, 2024 at 13:00 in room 3052 with the following agenda:
    1. Replacement of the heads of pôle PPS and of three thematic research groups : Analyse et Conception de Systèmes, Preuves et Programmes, and Modèlisation et Vérification;
    2. Presentation and support for CNRS candidates (with the presence of the heads of the thematic research groups).
    As usual, we recall that:
    • Members of the unit may ask for items to be added to the agenda up to eight days before the meeting, and the final agenda will be announced 7 days before the meeting on this page;
    • The lab council is open to all IRIF members, both face-to-face and remotely on Galene:conseil-labo (enter <Firstname Lastname> as the username and an empty password; you'll be able to follow the discussion but not to take part in it: no mike, no camera, no possibility to share your screen);
    • Provisional dates for all lab councils (and general meetings) up to August 2024 are available here and by subscribing to this calendrar.
  • Room 1007: Starting from Thursday 18th of January, 2024, the room 1007 can no longer be booked by IRIF. If you have booked this room, you should book another one.
  • Missions: Contract holders will again be notified when a mission is declared on their grant.


News

  • Queer meetup at IRIF (QueeRIF): On Tuesday, 23.01. at 16:00, the first meetup for queer/LGBTIA+ members of the lab will take place at Raton Buveur (https://www.raton-buveur.fr/) near the lab. (For more information, look for a coming announcement on the members mailing list.)
  • CNRS Interview: To mark International Day of Women and Girls in Science on 11 February, the CNRS would like to interview women researchers (and possibly doctoral students) in a format to be defined. If you would like to take part, please send a message to communication@irif.fr.
  • UPCité - Immigration Law: The University Paris Cité is hosting a conference and discussion day on immigration law on January 24, 2024 from 9am to 5pm. The program and all the information needed can be found here.
  • Véronique Cortier lecture - DTS: the next speaker of the Distinguished Talks Series on February 7, will be Véronique Cortier. The subject of her talk is “Electronic voting: design and formal verification”. You can find the abstract here.



Focus on the results of the Open Science Prize for Open Source Research 2023

In November 2023, the French Ministry of Higher Education and Research presented the Open Science Awards for Open Source Research Software for the second time. Eight software applications developed by French teams were rewarded for their contribution to the advancement of scientific knowledge or for the promising nature of their work. 3 are CNRS projects:

  1. Brian is a simulator of biological impulse neural networks.
  2. NoiseCapture is a participatory science project that brings together specialists in environmental acoustics and specialists in geographic information science.
  3. Smilei is a simulation tool for hot plasma physics on supercomputers, with numerous applications in physics.

The OCaml functional programming software also received an award. It features strong static typing, automatic type inference and programme modularity.


Calls for tender and information from partners

  • For Women in Science - L'Oréal-UNESCO 2024: The call for applications for the 2024 edition of the L'Oréal-UNESCO France Young Talents for Women in Science programme is open. The L'Oréal Foundation will be awarding 35 grants in France, at least 5 of which will be dedicated to researchers carrying out their research work in the French Overseas Territories, of €15,000 each to doctoral students and €20,000 each to post-doctoral students. The deadline for applications is Monday 26 February 2024. Here's the digital application platform.
  • Demailly prize Open Science - SMF: The Société Mathématique de France (SMF), the SMAI and the SFdS, in association with the Epijournal de Géométrie Algébrique, have decided to create the “Jean-Pierre Demailly Prize for Open Science in Mathematics”. This biennial prize, to be awarded for the first time in 2024, will recognize a project that contributes to open science in mathematics, whether in scientific publishing, collaboration between mathematicians, or free software in mathematics. The prize aims to further highlight the importance of these issues, as well as emphasizing contributions for the benefit of the scientific community as a whole, rather than individual successes. Application deadline: February 29, 2024. More information here.
  • Emergence 2024: Emergence intends to support the launch of a new research theme and/or the conduct of a pilot study to test new research hypothesis(es). You have until February 23, 2024, 11am to submit your project. All information needed can be found here.
  • CNRS researcher competitions: the deadline for applications is February 9. Admissions juries will be held in late June/early July.
  • Cofund MathPhDInFrance doctoral program of the FSMP: This year, the programme will offer 24 grants for theses co-directed by a laboratory in the Paris Region and a laboratory in another region. Applications are made in two stages:
    • The first stage of the application procedure is open until 14 February 2024.
    • Important eligibility condition: students must not have spent more than one year in France between 14/02/2021 and 14/02/2024.
    • Discover the laboratories taking part by referring to the provided list.
    • You can find more informations here. Send a mail to direction+phd@irif.fr if interested to apply.
  • [REMINDER] AUFRANDE program for PhD students: AUFRANDE (Australia-France network of doctoral excellence) is an interdisciplinary doctoral programme bringing together French and Australian universities, research institutes and non-academic partners. The students selected will be enrolled in a doctoral training programme at one of the AUFRANDE Australian universities starting from October 2024. You have until January 24th, 2024 to apply. More information here.

Partner newsletter : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda for the week of 22 January to 26 January

Formath · Lundi 22 janvier, 14:00, 3052 and bbb Link ·
Houda Mouhcine (Inria Saclay) & Micaela Mayero (Université Paris 1, Lipn, Love), TBA

Combinatoire énumérative et analytique · Mardi 23 janvier, 11:00, Room 1007 ·
Houcine Ben Dali, TBA

Algorithmique distribuée et graphes · Mardi 23 janvier, 14:00, 1007 ·
Thomas Suzan (G-SCOP laboratory, UGA), Graph homomorphisms, reconfiguration and topology

Preuves, programmes et systèmes · Jeudi 25 janvier, 11:00, Room 3052 & online (Zoom link) ·
Cameron Calk (Laboratoire d'Informatique et Systèmes, Université d'Aix-Marseille), From coherence to quantales, and on to directed topology

La syntaxe rencontre la sémantique · Jeudi 25 janvier, 14:00, Visio ·
Davide Catta (Università degli Studi di Napoli Federico II), Game semantics and a new lambda calculus for the constructive modal logic CK

Séminaire des membres non-permanents · Jeudi 25 janvier, 16:00, Room 3052 ·
Rida Ait-El-Manssour, TBA

Automates · Vendredi 26 janvier, 14:00, Room 3052 ·
Thomas Schwentick (TU Dortmund), Work-efficient constant-time parallel dynamic and static algorithms

Graph Transformation Theory and Applications · Vendredi 26 janvier, 15:00, online ·
Arend Rensink (University of Twente), In the Groove