Lettre de l'IRIF du 14 avril 2023 Edito Dans la lettre cette semaine, les modalités d'accueil à Olympe de Gouges, le rapport d'évaluation HCERES, le point travaux, et la troisième BD IRIF et environnement. Côté actualités scientifiques deux meetings organisés par des membres de l'IRIF. Cette semaine, pas de focus. Bonne lecture ! Annonces de la direction Olympe de Gouges rooms: Progressively, starting next week, the lab will have rooms in Olympe de Gouges. To access them, there will be coded boxes outside the rooms with a room number on them. For that it will be necessary to: Dial the code to open the box Open the door with the key found in the box Put the key back in the box and lock it Important: Do not carry the key with you and lock the room if you are the last one in. Room availability: (see plan ici) April 17th: room 105 (large room of 50 places where you can work in silence). Box code : 36310 (will be changed every week) April 17th : room 146 (seminar room replacing 3052). Box code on https://reservation.irif.fr April 22nd : room 147 (replaces 1007). Box code in https://reservation.irif.fr April 22nd : rooms 163, 164, 165, 166 (meeting rooms to be reserved on https://reservation.irif.fr). They are supposed to be always open. A spare key for 163 will be put in a coded box inside 105. Conseil de laboratoire : Le compte rendu du conseil de laboratoire du 11 avril est disponible ici. Le prochain conseil de laboratoire aura lieu le 9 mai. Rapport HCERES : Vous pouvez consulter les données transmises et la version préliminaire du rapport 2017-22 en suivant les liens ci-dessous ou directement sur l'intranet, rubrique Évaluation HCERES 2018 (vague D). Note : Pour toute demande de modification merci de contacter le responsable équipe/pôle/laboratoire, avec la proposition de correction. Données et publications collectées, 2017-22 : Transmises (ne pas diffuser) Totalité du rapport Partie laboratoire (partie trajectoire courant semaine 17 avril) Partie pôle ASD Partie pôle ASV (partie Automates courant semaine 17 avril) Partie pôle PPS Timeline : Jeudi 13 avril : deadline IRIF du rapport (version beta), diffusion au laboratoire Jeudi 27 avril : rapport figé, envoi à Université Paris Cité le 2 mai 1er juin 2023 : Dépôt du dossier à l'HCERES par Université Paris Cité Travaux à Sophie Germain : A partir du 17 avril, le partenaire va commencer à intervenir sur les façades rue Watt (en face de Lamarck) et rue Lepeaute pour déposer les menuiseries et les vêtures extérieures. En parallèle, la structure sera renforcée en prévision du démarrage des sciages béton (ouverture des baies pompiers). Nuisances sonores liées aux percements sont à prévoir. Plus de détails ici. [Rappel] Formation aux premiers secours : Nous souhaitons organiser une formation aux premiers secours dans les locaux de l'IRIF en septembre-octobre 2023. Pour recenser les volontaires et trouver le créneau le plus favorable, merci de compléter ce sondage si vous êtes intéressé. La formation sera en français. 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 [Reminder] 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/. [Reminder] 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. Appels d'offres et informations des partenaires La plateforme éditoriale OPUS lance son premier appel à manifestation d'intérêt pour réaliser des projets d'édition. Cet appel s'adresse à tous les membres d'UPCité et concerne aussi bien les livres que les revues scientifiques. Vous souhaitez publier des actes de colloque, un manuel d'enseignement ou encore migrer une revue existante vers une solution éditoriale ouverte et gouvernée par la communauté scientifique ? alors n'hésitez pas à répondre à cet appel avant le 30 avril prochain. [Élections] : Les élections aux conseils centraux de l'Université PAris Cité se tiendront en ligne les 17 et 18 avril via la plateforme Legavote. N'oubliez pas de voter. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. Agenda de la semaine du 10 avril au 14 avril Vérification · Lundi 17 avril, 11:00, Olympe de Gouge 146 and Zoom link · Björn Brandenburg (MPI SWS), PROSA: Trustworthy Schedulability Analysis for Safety-Critical Real-Time Systems Formath · Lundi 17 avril, 14:00, Olympe de Gouges (room 146) · Arthur Charguéraud (Camus team, ICPS, iCube, INRIA), A Modern Eye on Weakest Preconditions Algorithmes et complexité · Mardi 18 avril, 11:00, Room 146 (Olympe de Gouges) · Dung Bui (IRIF), Private Set Intersection (PSI) and its Applications Algorithmes et complexité · Mardi 18 avril, 14:00, Room 146 (Olympe de Gouges) · Deeksha Adil (ETH Zurich), Fast Algorithms for Regression Problems One world numeration seminar · Mardi 18 avril, 14:00, Online · Anton Lukyanenko (George Mason University), Serendipitous decompositions of higher-dimensional continued fractions Algorithmique distribuée et graphes · Mardi 18 avril, 15:30, 147, Salles Olympe de Gouge · Mamadou Kanté (LIMOS, Clermond-Ferrand), Lettericity of graphs and griddability of permutations La syntaxe rencontre la sémantique · Jeudi 20 avril, 13:30, Room 1007 · Hugo Herbelin (IRIF, INRIA, Univ. Paris Cite), Under syntax and semantics, the logic Combinatoire énumérative et analytique · Jeudi 20 avril, 14:00, Room 1007 · Jihyeug Jang (Sungkyunkwan University), Negative moments of orthogonal polynomials Séminaire des doctorants · Jeudi 20 avril, 16:00, Olympe de Gouge 146 and Zoom link · Daniel Vaz, TBA Automates · Vendredi 21 avril, 14:00, Room 3052 · Herman Goulet-Ouellet, What lies inside free profinite monoids Graph Transformation Theory and Applications · Vendredi 21 avril, 14:00, online et salle 146 à Olympe de Gouges · Uwe Wolter (Department of Informatics, University of Bergen, Norway), An Outline of the Theory of Generalized Sketches Catégories supérieures, polygraphes et homotopie · Vendredi 21 avril, 14:00, Room 146 Olympe de Gouges · Uwe Wolter (University of Bergen), An Outline of the Theory of Generalized Sketches Graph Transformation Theory and Applications · Vendredi 21 avril, 15:00, online et salle 146 à Olympe de Gouges · Uwe Wolter (Department of Informatics, University of Bergen, Norway), A Journey from Graphs to Generalized Sketches