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:
    1. Dial the code to open the box
    2. Open the door with the key found in the box
    3. Put the key back in the box and lock it
    4. Important: Do not carry the key with you and lock the room if you are the last one in.
    • Room availability: (see plan ici)
      1. April 17th: room 105 (large room of 50 places where you can work in silence). Box code : 36310 (will be changed every week)
      2. April 17th : room 146 (seminar room replacing 3052). Box code on https://reservation.irif.fr
      3. April 22nd : room 147 (replaces 1007). Box code in https://reservation.irif.fr
      4. 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.
  • 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.
    https://www.irif.fr/en/intranet/irif-environnement/index


Actualités

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