In this week's IRIF Newsletter, the new Engineer for Software Development will start on December the 1st: a form to propose a project is available.
The partial elections for the Laboratory Council and the Laboratory Council will take place next week. Your vote is important.
Please be aware that GESLAB and Notilus will be closed from today at 16:00 until 14th November and will then be working partially. Please anticipate if you have any needs.
Some information about the poster session on 29 November are given.
We emphasise the importance of synchronising Notilus profiles.

The highlight of this week is the meeting with Vincent Jugé, new lecturer at IRIF.

The CNRS is offering a series of lectures, the next one focusing on funding in the region.

Enjoy reading and have a nice weekend!

• [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 we CNRS legal services to answer a refunding request of several hundreds euros for a photo that was used three months on a secondary page of a GdR hosted by IRIF.

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

• [REMINDER] Lab council partial elections: on November 13, 2023 an online election for 2 positions will be held 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–. The two candidates for these positions are Lélia Blin and Geoffroy Couteau. This page shows the voters' list and will present the results. Voters will receive a mail initiating the voting process.

• [REMINDER] Lab council: the next meeting of the lab council will be held on Tuesday November 14 at 13:00 in room 3052. The provisional agenda is 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
  Please remind that:
  • 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);
  • Provisional dates for all lab councils (and general meetings) up to August 2024 are available here and by subscribing to this calendar.

• Total shutdown of GESLAB and Notilus: from Friday 10 November starting at 4pm to Tuesday 14 november 10am Geslab and Notilus will be closed. Please, therefore, anticipate as far as possible the validation of missions and travel bookings. Then, Geslab will be partially open from Tuesday 14 November to Friday 17 November. Not all the commands will be available this is why we recommand you again to anticipate for any need you may have.

• Notilus profile synchronisation: it is really important that all agents synchronise their notilus profile following this document. Please do this as soon as possible for the benefit of the administrative team, which is currently stuck without this procedure.
  Also, we would like to remind you that the invitation, the programme and the agenda are mandatory for requesting a mission order in Etamine.

• HCERES - on November 28-30: 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 racks. A buffet lunch will be served at the same time. Presenters must stay close to their posters as the jury will be walking around and discovering them. A short presentation of the posters may be requested from the members of the jury. If you have any question or need any help with the posters, do not hesitate to contact juliette.calvi@irif.fr.

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

• Postdoc call: IRIF will launch its postdoc call on November 15. If you plan to hire a postdoc in 2024 and wish to announce the call for candidates on this page, please send a mail to direction@irif.fr.

• 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 POPL 2024: Congratulations to the following researchers whose the papers were accepted for the POPL conference:
  • Claudia Faggian and Gabriele Vanoni with Daniele Pautasso - Higher Order Functional Bayesian Networks, Exactly
  • Mahsa Shirmohammadi with Alex Buna-Marginean, Vincent Cheval and James Worrell - On Learning Polynomial Recursive Programs
  • Giuseppe Castagna, Mickaël Laurent, and Kim Nguyễn - Polymorphic Type Inference for Dynamic Languages
  • Gabriel Scherer with Nicolas Chataing and Stephen Dolan - Unboxed data constructors — or, how cpp decides a halting problem

• [LAST CALL] Non permanent members between 2017 and 2023: Following the AG on working conditions at IRIF, a list of statements has been prepared for the HCERES evaluation meeting with non permanent members. In orderto harmonize the collective viewpoint on non permanents working conditions and/or raise other concerns, anyone who is or has been a non permanent member of IRIF between 2017 and 2023 is invited to fill this poll . Please answer by November 14. It should take between 10 and 15 minutes. Share the poll with any 2017-2023 non permanent IRIF member you may be in touch with!

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

• [RAPPEL] Conseil d'UFR : le Conseil d’UFR se réunira le lundi 13 novembre 2023, de 9h00 à 11h00 (salle 2014 à Sophie Germain). Voici l'ordre du jour.

• Conférence CNRS Sciences informatiques responsables : le 27 novembre 2023 de 9h00 à 17h30 se tiendra la conférence “Vers une informatique plus durable” organisée par CNRS Sciences informatiques avec l’aide du Groupement de service ÉcoInfo. L’objectif de cette journée est de réunir la communauté scientifique sur cette thématique transverse et d’offrir à un public intéressé mais non expert des clés pour comprendre les dernières avancées de la recherche dans ce domaine. Toute les informations sur le site dédié. Inscription obligatoire via ce formulaire.

Vincent Jugé a récemment rejoint l'IRIF en délégation CNRS. Il travaille dans le pôle Algorithmes et structures discrètes au sein de l'équipe Combinatoire. Rencontre avec un chercheur amoureux des maths et du chant, qui tente de programmer tous les problèmes sur lesquels il travaille.

“Il y a tout de même quelque chose qui est persistant dans tous mes travaux de recherche, même si ça n'apparaît pas directement dans l'objet de recherche que je veux faire : de manière générale, dès lors que je travaille sur un problème, j'aime essayer de le programmer, d'avoir un algorithme qui va me donner des résultats tangibles.”

Retrouvez son portrait ici.

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

• Nouvelle édition de Mathématiques en mouvement de la FSMP : la prochaine édition de Mathématiques en mouvement aura pour thème Des preuves et des programmes. 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.

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

• Programmes de financement British Council : le British Council en France propose deux programmes de financement dont un dédié aux collaborations entre équipes de recherche françaises et britanniques et un programme de développement professionnel pour jeunes chercheurs. Date limite : 1er décembre. Pour en savoir plus.

• [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 calls are 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.
  • ERC synergy grants (closing date 15/11/2023) concern groups of two to four principal investigators (PIs) - one of whom will be designated as the corresponding PI - working together and bringing different skills and resources to address ambitious research problems.

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

• DIM BioConvS Newsletter #8 of November 9th, 2023
• diiP Newsletter of November 2023
• La lettre de l'INSMI de Novembre 2023