This week in the IRIF Newsletter, the next Laboratory Council will take place on 14 November.

On the news side, Simon Peyton Jones will give two talks before his lecture, one on 'How to give a great research talk' and one on 'How to write a research proposal that gets funded'. You will need to register if you wish to attend.

Meet Sarah Winter, our new Associate Professor, for this week's focus.

It's the last call for some calls for proposals.

Happy reading and have a great weekend!

• Laboratory Council: the next Lab Council meeting will be held on Tuesday 14 November at 13:00 in room 3052. The provisional agenda is as follows:
  (1) response to questions from the HCERES;
  (2) change in responsibility for the graph team;
  (3) change in the timetable for the CNRS competition and consequences for future laboratory councils. \\Please remind 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 the cette page;
  • All members of the laboratory may attend meetings of the laboratory council, both face-to-face and remotely on Galene:conseil-labo (enter <Firstname Lastname> as the username and an empty password);
  • Provisional dates for all laboratory councils (and general meetings) up to August 2024 are available here and by subscribing to this calendrar.

• Join the interior design group: In January 2024 we will have access to the renovated rooms in the centre of the building. This includes four seminar rooms, two printing areas and three open spaces. You are welcome to join a working group to decide how these spaces will be used and furnished. Contact the direction if you are interested.

• WARNING - theft: We would like to draw your attention to the resurgence of theft in offices. In particular at the 8th floor several laptops have been stolen and few drawers and cupboards broken into in offices that were locked. Please be careful with your personal belongings and leave nothing lying around.

• U-Paris accounts: to access the travel platforms, all members of IRIF, including PhD students, must activate their Université Paris Cité account.

• Renovation work:
  • The dismantling of scaffolding on façades will cause little nuisance.
  • On the central premises from R+3 to R+8, on the freight lift side and on the lift side: continuation of low-noise work during the day and introduction of staggered working hours for the noisiest tasks (before 9am and after 5pm).
  • The noisiest tasks (moderate nuisance) will be carried out on staggered working hours (before 9am).
  • from the 30th of October to the 2nd of November included, some work will be done on the garden sides facades. There will be no noise disturbance but steeplejack might work close to the windows.
  • On the 20th of November, the toilet blocks on the elevator side will be closed off.
  • Work is scheduled on the blinds during the administrative closure period (22/12 evening to 02/01 morning).

• CNRS Researchers must prepare their Compte rendu annuel d’activité des chercheurs by november the 28th and their rapport d'activité à 10 derniers semestres by December 14th (new date).

• IRIF General assembly: will be held on January 9th at 10:30 in amphitheater Buffon. It will be followed by a buffet.

• Dinstinguished Talks Series - Simon Peyton Jones: on the 7th of November, Simon Peyton Jones will give two talks for the IRIF Lab, 'How to give a great research talk' and 'How to write a research proposal that gets funded'. These two sessions will last 75 minutes in room 3052. The first from 14:30 to 15:45 and the second from 16:15 to 17:30. Please register here if you wish to attend. He will then present the Verse programming language on November 8th.

• Rapport d'activité pour les chercheurs et chercheuses CNRS : la date de remise des rapports d'activité est reculée au 14 décembre midi.

• Concours chercheurs et chercheuses CNRS : la date limite du dépôt des dossiers est fixée au 9 février. L’arrêté d’ouverture des concours ne sera publié que début décembre. Les jurys d’admission auront lieu fin juin-début juillet.

• AAP Emergence UPC : l'appel à projet (AAP) Émergence de l’Université Paris Cité est repoussé du 2 janvier au 23 février 2024. Une première évaluation rapide du dispositif est réalisée en amont à travers un questionnaire anonyme comportant 8 questions (5 minutes). Clôture du questionnaire le 13 novembre 2023.

• [Reminder] The first plenary meeting of the year will be held on Friday, 10th of November, at 10am. Everybody is welcome! We will discuss 2022 carbon footprint, the posters for the HCERES and flyer on environmental sustainability and the current and future projects of I&E. A short presentation for newcomers about the commission and its past activities will also be given.

Sarah Winter has recently joined the IRIF lab as an associate professor. She is in the automata, structures and verification pole and more specifically in the automata and applications team. In this interview, she talks about her passion for programming, her aim to use synthesis to simplify programs and her passion for 360° photography.

« Recently there has been a trend to use AI for everything, and I have become very interested in this topic. Basically what I want to try to do is to combine traditional synthesis messages with AI messages, to get the best of both worlds in a way, and to come up with synthesis messages that have formal guarantees but also have the ease and convenience of AI messages. »

Read her full portrait here.

• [DERNIER RAPPEL] Bourse d'excellence Eiffel : l'appel à candidatures 2024 est lancé. Instauré par le Ministère de l’Europe et des Affaires Étrangères, le programme de bourses Eiffel permet aux meilleurs étudiants et étudiantes internationaux de bénéficier d’une aide à la mobilité pour suivre des formations diplômantes de niveau master et doctorat. Vous avez jusqu’au 31 octobre 2023 candidater. Plus d'informations ici.

• Research chairs of excellence FSMP : The Fondation Sciences Mathématiques de Paris offers research chairs of excellence and postdoctoral positions in Mathematics and in fundamental Computer Science for academic year 2024-2025, all located in Paris or in Paris area.
  • Research Chairs of excellence: from Monday October 2 to Thursday November 30 2023 / Offer description - Application form
  • FSMP Postdoctoral program: from Monday October 2 to Thursday November 30 2023 / Offer description - Application Form
  • MathInGreaterParis Postdoctoral program: from Tuesday October 3 to Thursday November 30 2023 / Offer description - Application Form

• [DERNIER RAPPEL] Co-financement des Colloques et Conférences Scientifiques : la Faculté des Sciences lance son appel à projet 2024 pour soutenir les initiatives d’animation scientifique et de structuration de la recherche, via le co-financement de colloques et conférences scientifiques. Vous avez jusqu'au 30 octobre pour candidater. Plus de reseignements dans ce document.

• Institut Universitaire de France : campagne 2024: deux cents chaires IUF (juniors et seniors, dont pour chaque dont 80 chaires fondamentales, 15 chaires d’innovation et 5 chaires de médiation scientifique) seront ouvertes au concours en application de la loi de programmation de la recherche (LPR). La date limite de candidature est le 6 novembre 2023 minuit. Vous trouverez sur ce lien les dossiers de candidatures et les notices d'informations, et vous pourrez également y soumettre votre candidature. Voici la fiche de présentation à remplir pour candidater.

• ERC-2024-STARTING and ERC-2023-SYNERGY : The ERC-2024-STARTING (closing date 07/11/2023) and ERC-2023-SYNERGY (closing date 15/11/2022) calls are open. The first one is intended for researchers 2 and 7 years after obtaining their PhD. The second is addressed to a group of between two and a maximum of four principal investigators (PIs) - one of whom will be designated as the corresponding PI - working together and bringing different skills and resources to bear on ambitious research problems. Click on this link to find out more about the timetable and documents required for the calls.

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

• Newsletter de CNRS Sciences informatiques #36 du 23 octobre 2023
• Newsletter de l'Agence nationale de la recherche d'Octobre 2023
• La lettre Innovation du CNRS d'octobre 2023