Lettre de l'IRIF du 7 avril 2023 Edito Dans la lettre cette semaine, le prochain conseil de laboratoire, le point travaux, et la deuxième BD IRIF et environnement. Côté actualités scientifiques, à noter la nomination de Claire Mathieu à EATCS Fellow, ainsi que deux meetings organisés par des membres de l'IRIF. Cette semaine, pas de focus. Bonne lecture ! Annonces de la direction Conseil de laboratoire: Daniela Petrisan est nommée membre du conseil de laboratoire de l'IRIF en remplacement de Mahsa Shirmohammadi qui a démissionné. [Rappel] Conseil de laboratoire Le compte rendu du dernier conseil de laboratoire est disponible ici. Le prochain conseil de laboratoire aura lieu le mardi 11 avril de 13h à 14h30 en salle 3052. L'ordre du jour est le suivant : changement de responsable pour équipe combinatoire, changement de composition de la commission égalités, nomination du nouvel assistant de prévention, résultats concours CNRS approbation du règlement intérieur, trajectoire pour le rapport HCERES, Vous pouvez consulter la version provisoire de travail du règlement intérieur à cette adresse et envoyer vos remarques et suggestions à vos représentants du conseil de laboratoire. [Rappel Élections] : Tout le personnel permanent (chercheurs, enseignants-chercheurs, ingénieurs ou techniciens) est invité à contrôler son inscription sur les listes électorales pour les élections au Conseil scientifique et aux Conseils scientifiques d'institut du CNRS sur ce site. Date limite : 11 avril. Travaux à Sophie Germain : Les travaux pour la semaine prochaine pourront induire quelques nuisances sonores, l'interdiction du stationnement des vélos sur la place Aurélie Nemours, ainsi que la fermeture de l'accès principal pour des courtes périodes. Plus de détails ici. IRIF&environnement : The IRIF and Environment Commission realeases its second weekly comic strip. You can follow and participate to I&E using Zulip (https://zulip.irif.fr), and via the website. Actualités New EATCS Fellow: Congratulations to Claire Mathieu who has been named EATCS Fellow for her fundamental contributions to solving theoretical and applied problems in approximation algorithms, online algorithms, and auction theory. FILOFOCS 2023 : The 10th French-Israeli workshop on Foundations of Computer Science (FILOFOCS 2023) will be held on May 9-11 at the Site Odéon of Université Paris Cité (12, rue de l'École de Médecine, 75006 Paris). It is held in the framework of the French-Israeli Laboratory on Foundations of Computer Science (IRL FILOFOCS), see https://www.filofocs.org/. The ANR CoREACT will have its kick-off meeting on Wednesday 19 April. It will be in room 146 and online, open to everyone. Contact Nicolas Behr for the details. Focus on Appels d'offres et informations des partenaires The office of the doctoral school will be closed next week. Starting on April, 18 it is relocated in Grands Moulins, office 129A on first floor. CNRS / Webinaire Horizon Europe : Le pôle Europe du service Partenariat et Valorisation de la délégation Ile-de-France Villejuif du CNRS organise un webinaire sur le programme Horizon Europe le jeudi 13 avril 2023 à 14h30 (durée: 1h30). L’objectif de ce webinaire est de présenter le programme cadre Horizon Europe et ses différents outils de financement. La clôture des inscriptions est le mercredi 12 avril Un lien de connexion sera envoyé la veille du webinaire auprès des inscrit.e.s. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. CNRS interne du 07/04/2023 Fil Info Recherche du 31/03/2023 Agenda de la semaine du 10 avril au 14 avril Algorithmes et complexité Mercredi 12 avril 2023, 11 heures, Salle 3052 Harold Nieuwboer (University of Amsterdam and Ruhr University Bochum) Interior-point methods on manifolds: theory and applications Combinatoire énumérative et analytique Jeudi 13 avril 2023, 11 heures, IHP Seminaire Flajolet TBD Preuves, programmes et systèmes Jeudi 13 avril 2023, 10 heures 30, Salle 3052 & online (Zoom link) Giulio Manzonetto (Université Sorbonne Paris Nord) The Lambda Calculus - 40 Years Later Séminaire des doctorants Jeudi 13 avril 2023, 16 heures, 3052 and Zoom link Enrique Román Calvo But… what is verification? (A short introduction to distributed databases and DPOR) Analyse et conception de systèmes Jeudi 13 avril 2023, 14 heures, salle séminaires au plateau SCAI (Esclangon, 1er étage, campus Jussieu) Lionel Broye Et Emmanuel Guez (PAMAL_Group) Le Minitel et nous. Une archéologie artistique des média Vérification Lundi 17 avril 2023, 11 heures, Olympe de Gouge 146 and Zoom link Björn Brandenburg (MPI SWS) PROSA: Trustworthy Schedulability Analysis for Safety-Critical Real-Time Systems