In this week's IRIF Newsletter, the lab is preparing for HCERES: please check your badges and finalise your posters. A reminder about adding your publications to HAL.
The lab will welcome trainees in December an we are counting on you! The Compte Epargne Temps campaign is now open.
The I&E Committee presents its new flyer.
This week's focus is on the next FSMP Mathématiques en mouvement conference.

Enjoy reading and have a nice weekend!

• Financial year-end: the deadline to use non-grant funding is on November 30, this applies to all money not linked to ANR or IUF grants. For mission reimbursments, all the files and receipts have to be handed out to secretariate before December 11, Incomplete or late requests will be adressed whem the service opens again in the end of January 2024.

• HCERES Badges: During the HCERES évaluation, all members must wear an identification badge to help HCERES members identify us (they will be distributed at the beginning of the évaluation). Please check your badges according to your pole and let us know if any information needs to be changed (for members who are in two poles please check in the first in alphabetical order):
  • ASD
  • ASV
  • PPS

• Conseil de laboratoire : The minutes of the 14 November Laboratory Council meeting are available here. The agenda was as follows:
  1. Answering the questions from the HCERES;
  2. Change of head for the graph team;
  3. Change in the timetable for the CNRS competition and consequences for the future lab councils;
  4. transfert CR INRIA.

• HCERES - on 28 and 30 November: on the 29th, from 12.00 to 13.30, the poster session will take place in the MIR library on the 8th floor. The posters will be displayed on shelves. A buffet lunch will be served at the same time. Presenters must stay close to their posters as the jury will walk around and discover them. A short presentation of the posters may be requested by the jury members. The posters must be sent in next week, on the 22 of November (deadline: Thursday 23 November at noon at the latest). If you have any questions or need any help with the posters, do not hesitate to contact juliette.calvi@irif.fr.

• [VERY IMPORTANT] If you wish to add images or pictures on a webpage hosted by IRIF, you must be sure that you have the right to use it and you have to put full credits: it is not an hypothetic issue, since we are currently working with CNRS legal services to answer a refunding request of several hundred euros for a photo that was used three months on a secondary page of a GdR hosted by IRIF.

• Renovation work :
  • Slight nuisance is to be expected on the façades.
  • With regard to interior works, work is still planned in the central lift cores (from the 3rd to the 8th floor): minor noise pollution is to be expected during the day, and staggered working hours will be introduced for the noisiest tasks and work in the corridors (after 5pm).
  • On Saturday 18 November, work will be carried out at the main entrance.

• Call for Projects: Software Development: The new Engineer for Software Development, Tomaz Gomes Mascarenhas, that we share with LMF and LIPN, will start his position on December the 1st. You can request his services by filling this form by November the 22nd.

• AAP INS2I: We have to prepare the answer to the INS2I project call (appel unique INS2I) by the end of the month. Please contact the head of your group if you have a project to propose for one of the following topics:
  1. Développement de relations internationales ayant vocation à se structurer en réseau, projet ou laboratoire international de recherche ;
  2. Emergence de projets scientifiques novateurs ou en rapport avec une nouvelle thématique en rupture ;
  3. Valorisation et transfert vers le monde socio-économique, y compris sous forme de logiciels libres ;
  4. Accompagnement des chercheurs et chercheuses ou des enseignants-chercheurs et enseignantes-chercheuses (C/EC) nouvellement recruté(e)s ou portant un projet de mobilité thématique ;
  5. Organisation de conférences scientifiques.

• Stages de décembre : du lundi 18 au vendredi 22 décembre, nous accueillerons des élèves de 3ème au sein de notre laboratoire. Entre exposés vulgarisés, rencontres avec des chercheurs et des doctorants, initiations à la programmation, nous avons besoin de votre mobilisation pour leur faire découvrir le monde de la recherche et de l'informatique ! Si vous souhaitez participer, proposer une activité ou un exposé, merci de contacter communication@irif.fr.

• Accepted papers SODA 2024: Congratulations to the following researchers whose papers have been accepted for the Soda Conference:
  • François Sellier with Chien-Chung Huang - Robust Sparsification for Matroid Intersection with Applications
  • Robin Vacus with Luca Becchetti, Andrea Clementi, Francesco Pasquale and Luca Trevisan - The Minority Dynamics and the Power of Synchronicity

• Mentorat en Sciences - UPC: le mentorat est un accompagnement personnel bénévole, à caractère confidentiel, apporté par une personne expérimentée - mentor(e) – à une doctorante – mentorée. Les mentor.e.s., enseignant-e.s-chercheur.e.s Université Paris Cité, visent à :
  • informer sur le projet de carrière et l’insertion professionnelle ;
  • faire part de leur expérience ;
  • établir un espace d’échanges avec la doctorante.
    Des binômes, mentor.e/mentorée, seront constitués pour une année civile et conduiront à un minimum de 3 échanges entre binômes.
    De plus, les doctorantes pourront participer à des ateliers collectifs (sujets liés à leur avenir et à leur insertion professionnelle) : 2 tables rondes (proposé au cours de l’année) et 2 réunions (lancement du projet et bilan en fin d’année).
    Les doctorantes participant à cette initiative pourront la valoriser en bénéficiant de 16h de formation à ajouter dans le cadre de leur cursus doctoral (12h de janvier à août – 4h de septembre à décembre).
    Si vous souhaitez participer à ce projet, merci contacter Claire Fave ou Amina Hariti en envoyant un mail à l'adresse suivante : mentorat.sciences@u-paris.fr

• Hal publication: From 13 to 24 November, the HAL team at Université Paris Cité will be helping you to manage your digital identity on this platform. We remind you that it is obligatory for all lab members to add their publications to Hal.

• 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.

• I&E Flyer: To better understand the purpose of the Commission, here is a flyer explaining our mission and goals.

• According to your employer:
  • University sustainable mobility bonus: Employees who choose an alternative and sustainable mode of transport (cycling, car-pooling) will be eligible for a “sustainable mobility package”. The timetable is as follows:
    • Receipt of applications by the Quality of Life and Working Conditions team: no later than 31 December 2023 (no applications will be accepted after this date)
    • Review of applications: until mid-February
    • Payment of the lump sum: second quarter of 2024
      Pour faire votre demande, trouvez votre numéro de matricule SIHAM, remplissez votre formulaire de demande en ligne, remplissez votre attestation sur l’honneur et ajoutez en pièce jointe l’attestation à la fin du formulaire. Plus d'informations dans la note de procédure.
  • CNRS mobility bonus: you have until December 31st to fill this form. See here for more information .

La nouvelle édition de Mathématiques en mouvement de la FSMP est lancée. La prochaine édition de Mathématiques en mouvement aura pour thème Des preuves et des programmes. Les quatre exposés proposés sont les suivants :

1. Pourrait-on vérifier toutes les mathématiques sur ordinateur ?, par Riccardo Brasca (IMJ-PRG)
2. Des programmes sans bugs grâce aux mathématiques formelles, par Jean-Marie Madiot (Inria)
3. Démonstration automatique : l'exemple de Sniper, par Chantal Keller (LMF, Université Paris-Saclay)
4. La fonction G de Hofstadter et au-delà, un exemple curieux mêlant calculs et preuves sur ordinateur, par Pierre Letouzey (IRIF, UPC, Inria)

Organisée sous la houlette de Hugo Herbelin (Inria, IRIF), elle aura lieu le samedi 2 décembre 2023 de 14h à 18h (et sera suivie d'un pot de clôture de 18h à 19h) à l'Institut Henri Poincaré (5 rue Pierre et Marie Curie, Paris 5e), amphithéâtre Hermite. L'inscription est gratuite mais obligatoire.

• Conférence CNRS : le CNRS propose une série d'ateliers thématiques dont le prochain est intitulé intitulé «Quelles aides / Appel à projets de la Région ?». Il aura lieu le mardi 14 novembre de 14h00 à 15h00 en visioconférence. Durant l'atelier, ces dispositifs seront présentés et un temps d’échanges avec les participants est prévu. Pour vous y connecter : lien Zoom de la réunion / ID de réunion: 953 4921 1605 / Code secret: 4iUn4q.

• [REMINDER] 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

• [LAST CALL] ERC-WP-2024, the following call is open (go there for more):
  • ERC consolidator grants (closing date 12/12/2023) are for researchers from 8 to 12 years after obtaining their PhD.

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

• Fil info Recherche d'UPC du 16 novembre 2023
• Lettre du CNRS Interne du 16 Novembre 2023
• Newsletter du LaBRI #27
• Newsletter de CNRS Sciences informatiques #17 du 17 novembre 2023