Edito

This week, in the IRIF newsletter, directives are given for the HCERES posters.

In the news, the curtain falls on the Science Festival, which engaged several members of IRIF and made this new edition a real success. A big thank you to all the participants!

An assembly for non-permanent members is scheduled for October the 26th, while the IRIF General Assembly will take place on January the 9th.

The IRIF and Environment committee is making a comeback: a plenary meeting will be held on friday, 10th of November, at 10am. Any new member is welcome!

The focus is on Simon Peyton Jones, who inaugurates the launch of the Distinguished Talks Series for 2023-2024. An interview has been conducted with him. He will also give two talks on November 7 in the afternoon. Please register to attend.

On the announcements part, please notice the opening of FSMP programs and the possibility to ask for financial support for conferences and meetings.

Enjoy reading and have a great weekend!

Annonces de la direction

  • [REMINDER] Lab council partial elections: Two elected members of the lab council have resigned, they have to be replaced until the end of the term on 31/12/2024. The voters' list is available here; anyone on this list can be candidate. The candidates should declare themselves to direction@irif.fr before November 2nd, 23:59 CET. The election will be held on November 13, 2023 online on Belenios, between 9 a.m. and 4 p.m., using a plurality block voting system (scrutin majoritaire plurinominal ) in which each voter can vote for at most two candidates (see Wikipedia). This page will also list the candidates and show the results.
  • Directives for the HCERES Poster: the format will be A0. Landcaspe mode is possible but it must remain exceptional: if you really need to use it, please let us know well in advance since we will have to find an appropriate support. If you use images, the quality must be sufficient for printing. Please remember to leave a space at the top of your posters so that they can be hung.
  • Renovation work: This Saturday, 21 October, very noisy work will be going on all day. Low and medium noise levels will continue from 23 October to 3 November. Staggered working hours have been organised for the noisiest activities.
  • [REMINDER] HCERES - on November 28-30: It is important that during the HCERES visit, which will take place from November 28 to 30, all members are present for the presentations, at the very least on the morning of the 28th and during the day when their department will be evaluated. Therefore, all seminars will be suspended during these 3 days. Please limit missions to the absolute minimum during these 3 days.
  • Time savings account (CET): The campaign to fill your time savings account starts on November 1st at CNRS. To do so, connect on Agate and save your days, you have until December 31st. Then, you can choose your options during January.
  • 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 november the 30th.
  • IRIF General assembly: will be held on January 9th at 10:30 in amphitheater Buffon. It will be followed by a buffet.


Actualités

  • Fête de la Science : un grand merci à tous les membres qui se sont mobilisés dans le cadre de la Fête de la Science ! Les retours ont été extrêmement positifs :
    • Ateliers débranchés et initiation à la programmation : merci à Emmanuel Bigeon, Waël Boutglay, Pierre Charbit, Emily Clément, Thomas Colcombet, Raphaël Cosson, Pierre-Evariste Dagand, Peter Habermehl, Florian Horn, Olivier Idir, Vincent Jugé, Roman Kniazev, Adrienne Lancelot, Mickaël Laurent, Jérémy Ledent, Aliaume Lopez, Valia Mitsou, Klara Nosan, Mikaël Rabie, Florian Renkin, Mouna Safir, Gabriel Scherer, Daniel Szabo, Nicolas Tokka, Robin Vacus et à Aymeric Walch.
      • 11 classes de CP, CE1, CE2, CM1, CM2, 6ème et 5ème formées, 255 élèves accueillis.
    • Parcours Quantique : merci à Sara Ducci du Labo MPQ, Sophie Laplante, Frédéric Magniez et Sylvain Périfel. Au programme, conférences sur la cryptographie, introductions au quantique et à l'informatique quantique BB84, ateliers protocole BB84, ions piégés et photons intriqués.
      • 4 classes de Secondes, Premières et de Master reçus, 99 élèves formés.

  • Exploradôme : Merci à Reza Nazear qui a conduit le projet et à Jingxiang He, Allen Ibiapina, Klara Nosan, Xinhong Pang, Cyril Pujol et Weichang Yu qui ont permis l'animation de l'événement et qui ont créé les cartes.
    • 620 visiteurs sont venus. De nombreux enfants ont ainsi pu être initiés aux graphes et au problème de Königsberg.

  • Organisation : Juliette Calvi et Guillaume Geoffroy.


  • Non-permanent members assembly: On October 26th at 4pm, there will be a general assembly (AG) of the non permanents to discuss our working conditions at IRIF (which will also help us find the focus points of the upcoming HCERES interview). We strongly encourage any non permanent member to attend. An online participation will be possible. We are also still looking for volunteers to talk with the HCERES as well (November 29th at 11h30 for a 30 min interview, your only job will be to reflect the non permanents' opinion on their day-to-day life at the lab). Contact lancelot@irif.fr or rogova@irif.fr for more info!
  • Cours FSMP : Eitan Tadmor (Universté du Maryland), lauréat de la Chaire d'excellence FSMP en 2023, donnera un cours de niveau doctoral intitulé Emerging Behavior in Collective Dynamics en février-mars 2024. Les séances se tiendront les mercredis de 14h à 17h du 7 février au 27 mars 2024 à l'Institut Henri Poincaré (11 rue Pierre et Marie Curie), en salle 314 (salle Pierre Grisvard) - à l'exception de la séance du mercredi 27 mars, qui aura lieu en salle 201 (salle Maryam Mirzakhani). Retrouvez le résumé et toutes les informations relatives à ce cours sur le site.


IRIF & Environnement

  • The first plenary meeting of the year will be held on friday, 10th of November, at 10am. Everybody is welcome! Here are some topics that will be discussed:
    • A short presentation for newcomers about the commission and its past activities.
    • A presentation of the 2022 carbon footprint for IRIF.
    • Discussion on communication: posters for the HCERES and flyer on environmental sustainability.
    • Presentation and discussion on the current and future projects of I&E.
  • The following text about conference attendance have been approved by the lab council, October 10th, 2023:

Conferences and similar events (workshops, colloquia, etc) play an essential role in disseminating knowledge and establishing collaborations between researchers. In computer science, they often also act as the main publication venues, ahead of journals, and convey prestige. In practice, it is customary in the organization of conferences to bind the meeting and publishing roles and require authors to attend conferences in person.

However, systematically attending events in person can be problematic or challenging for several reasons (environmental impact, work/life balance, accessibility, etc.). At the same time, avoiding submitting to publishing events can induce a loss of opportunities for researchers, particularly in the early stages of their careers.

IRIF supports the policy of not requiring mandatory on-site presentation of published accepted papers and encourages all conference organizers to do the same.

Thus, IRIF stands by researchers who have a paper accepted to a conference but decide not to travel, or are not able to, in order to give them an equal opportunity to disseminate their works as part of the conference proceedings. Support letters will be sent if needed, cosigned by the direction of IRIF. Moreover, IRIF will prioritize its financial sponsorship and logistical support for the organization of events that comply with this policy.

Focus on Simon Peyton Jones, first speaker of the Distinguished Talks Series

Be ready for November 8th ! Simon Peyton Jones, fellow of the Royal Society, will be the first speaker for the return of the Distinguished Talks Series. He will present the Verse programming language. This presentation will be held in amphi Turing, November 8th from 11am to 12:30pm and will be followed by a buffet lunch. More informations to come on the DTS page.

Simon Peyton Jones granted us an interview which serves as a prelude, offering a glimpse into Verse, the metaverse, and the subject matter of his presentation.

“Verse is a functional logic language, which is quite unusual. Functional programming is like a leash within programming, it's the part I'm actually most interested in, and functional logic programming is like a leash with a dog. And so at Epic I'm going to take functional logic programming out of the lab and kick it into the mainstream, which is quite ambitious because nobody else has ever done that.”

Read the full interview here.

Simon Peyton Jones, will also give two sessions on 'How to give a great research talk' and 'How to write a research proposal that gets funded' on the afternoon of 7 November. 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.

Appels d'offres et informations des partenaires

  • 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.
  • 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.
  • CNRS NII Japon : le National Institute of Informatics (NII) au Japon accueillera des étudiants en master de recherche et/ou en doctorat en tant que stagiaires dans ses laboratoires/centres. Les frais de séjour seront couverts par le NII. Une assurance médicale sera également fournie. Pour candidater, merci de consulter d'abord les sujets de recherche. Vous pouvez en choisir jusqu'à trois puis il faudra rentrer en contact avec les directeurs de recherche du NII. Enfin, il faudra compléter le formulaire de candidature sous le format suivant : NOM DU CANDIDAT_Application form NII_2nd call 2023 en incluant son CV indiquant clairement tous les antécédents professionnels et formations universitaires. Merci de renvoyer les deux documents demandés à caroline.danilovic@cnrs-dir.fr jusqu'au 16 octobre à 17h00.
  • ERASMUS+ exchange program: Several types of mobility offer teaching-research staff and administrative personnel the opportunity to undertake a stay within a higher education institution in the European Union. To know more about those, a webinaire with more informations will be held Friday 10th of November from 10am to 11am. You can directly connect to the zoom links. Here is a document with the key informations for the Erasmus+ staff mobilities.
  • 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 (cPI) - 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.


Agenda de la semaine du 23 octobre au 27 octobre

Formath · Lundi 23 octobre, 14:00, 3052 ·
Félix Castro (IRIF - Université Paris CIté), Revisiting the model of Hereditary Recursive Operations

Combinatoire énumérative et analytique · Mardi 24 octobre, 11:00, Room 1007 ·
Alice Contat, Coeurs critiques sur des graphes aléatoires

Algorithmes et complexité · Mardi 24 octobre, 11:00, Room 3052 ·
Michele Orrù (LIP6), Elastic SNARKs for Diverse Environments

Sémantique · Mercredi 25 octobre, 10:45, Room 3052, 3ème étage du bâtiment Sophie Germain ·
Guillaume Geoffroy (IRIF), TBA

La syntaxe rencontre la sémantique · Jeudi 26 octobre, 14:00, Room 1007 ·
Giuseppe Castagna (IRIF, CNRS and Univ. Paris Cite), A type system for Elixir

Séminaire des membres non-permanents · Jeudi 26 octobre, 16:00, Room 3052 ·
All Non-Permanent Members, Assemblée Générale