Lettre de l'IRIF du 10 mars 2023 Edito Dans la lettre cette semaine, le prochain conseil de labo, un point info travaux avec des nuisances sonores à venir et l’installation de la plateforme Zulip officielle du laboratoire. Côté actualités scientifiques, la vidéo conférence cryptographie de Sylvain Perifel, un portrait de doctorant, un webinaire du Simons Institute for the Theory of Computing et la prochaine Distinguished Lecture du diiP. Du côté de nos partenaires, le webinaire Pilier 2 Horizon Europe, les bourses de master de la FSMP et plusieurs annonces d'Université Paris Cité : AMI - Médiation Scientifique, le co-financement de colloques dans le cadre d'un GDR, la finale Ma thèse en 180s et les Journées Scientifiques de l'Environnement. Le focus cette semaine s'intéresse aux Journées du GDR IM organisées par l'IRIF. Bonne lecture ! Annonces de la direction Prochain conseil - mardi 14 mars à 13h : Le prochain conseil de laboratoire se tiendra le mardi 14 mars à 13h en salle 3058 et l'ordre du jour est détaillé ci-dessous. Le conseil suivant sera le 11 avril. Présentation du budget IRIF Résultat appel à projet CNRS Discussion sur les éventuelles évolutions de la structure du laboratoire à évoquer dans le rapport HCERES Discussion sur le règlement intérieur Info travaux SG : Le montage des échafaudages va commencer la semaine prochaine, le 14 mars côté parvis et le 15 mars côté Lepaute. La fixation des échafaudages nécessite de percer la façade, des nuisances sonores sont donc à prévoir. Après un an d’expérimentation réussie, un Zulip interne au laboratoire existe desormais : connectez-vous sur zulip.irif.fr en utilisant vos identifiants et mot de passe du laboratoire. La plateforme Zulip offre des fonctionnalités de chat avancées, et permet de communiquer à l’intérieur du laboratoire comme d’inviter des participants extérieurs. Le serveur aux US que Pierre-Evariste Dagand avait monté, et que vous avez été nombreux à utiliser, est lui appelé à disparaitre. Merci Pierre ! Actualités Vidéo conférence cryptographie / Fête de la Science : Cette conférence ludique, présentée par Sylvain Perifel – Maître de conférences (Université Paris Cité/IRIF) à l’occasion de l’édition 2022 de la Fête de la Science, propose de retracer et de mettre en pratique les différentes avancées historiques de cette science qui semble un peu secrète, du code de César à RSA en passant par les substitutions mono-alphabétiques et par le chiffre de Vigenère. Portrait of a PhD student : Abhishek De, former PhD student at IRIF explains his phD thesis "Linear logic with the least and greatest fixed points. Truth semantics, complexity and a parallel syntax" in this written interview. Simons Institute for the Theory of Computing / Breakthroughs Webinar : Strong Bounds for 3-Progressions presented by Raghu Meka (UCLA) on Thursday, March 16 at 3:30 – 4:30 p.m. PT. Register to attend in-person or to receive the Zoom webinar link. diiP Distinguished Lecture : The next Distinguished Lecture from the Data Intelligence Institute of Paris (diiP) “The promise of language models for language sciences? Let's chat!” will be presented online on April 5th, 2023, at 4 PM (Paris time) by Prof. Benoît Crabbé (Université Paris Cité). More details here. Focus sur les Journées Nationales du GDR IM Les prochaines Journées Nationales du GDR IM (JNIM 2023) auront lieu à l'Université Paris Cité du 4 avril au 7 avril et sont organisées par l'IRIF. Ces journées comprendront des présentations longues d’ora·teur·trice·s invité·e·s, des présentations plus courtes de membres des GT du GDR, et des posters de jeunes docteur·e·s et doctorant·e·s du GdR IM. Une demie journée sera consacrée aux assistants de preuve. Toutes les présentations auront lieu dans l'Amphithéâtre Buffon de l'Université Paris Cité. Inscription ici. Présentations keynote : Sylvie Corteel Joan Daemen Jérôme Leroux Christine Paulin Sergio Rajsbaum Présentations invité·e·s : Madalena Chaves (GT Bioss) Geoffroy Couteau (GT C2) Berenice Delcroix-Ogier (GT CombAlg) Yan Gérard (GT MM) Marie Kerjean (GT Scalp) Aurelie Lagoutte (GT Graphes) Pierre Lairez (GT Calcul Formel) Kilian Raschel (GT Alea) Matthieu Rosenfeld (GT SDA2) Tali Sznajder (GT Verif) Appels d'offres et informations des partenaires CNRS / Webinaire Pilier 2 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 pilier 2 du programme HORIZON EUROPE le mardi 14/03/2023 à 14h30 (durée: 1h30). Inscription au webinaire sur Evento au plus tard la veille du webinaire. FSMP / Bourses de master : Dans le cadre de son programme PGSM, la Fondation Sciences Mathématiques de Paris offre des bourses de master (M1 ou M2) pour l'année académique 2023-2024 aux étudiant.e.s en mathématiques et en informatique fondamentale des établissements de son périmètre. Ce second appel d’offre PGSM est ouvert jusqu'au mardi 9 mai 2023. Détail de l'offre ici et formulaires de candidature disponibles ici. Université Paris Cité : AMI - Médiation Scientifique : Pour la troisième année consécutive, la Faculté des Sciences lance un appel à manifestation d’intérêt pour accompagner et soutenir ses membres dans leurs initiatives ayant vocation à rendre accessible un sujet de recherche scientifique à un public non spécialiste. Les dossiers doivent être déposés complets sur la plateforme : https://ami2023-ms.sciencescall.org/ - avant le 20 mars 2023 minuit. Co-financement de colloques dans le cadre d'un GDR : Dans la cadre du Fonds d’intervention recherche de la Faculté des Sciences, la Commission recherche a décidé de consacrer une partie des fonds à l’animation scientifique autour des Groupements de recherche (GDR). Texte de présentation de cette initiative et conditions de candidature ici. Finale ASPC - Ma thèse en 180s : La finale régionale de Ma Thèse en 180 secondes qui départagera les 14 doctorant.es de l’Alliance Sorbonne Paris Cité aura lieu le jeudi 16 mars à 18h30 à l’amphithéâtre Buffon ! Inscription gratuite mais obligatoire. Journées Scientifiques de l'Environnement 2023 : Sur le thème “La sobriété dans tous ses états : définir, comprendre, agir” se dérouleront du 14 au 16 mars. Programme de la manifestation disponible ici. Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous. L'actualité étudiante du 09/03/2023 CNRS interne du 09/03/2023 Université Paris Cité Infos du 09/03/2023 CNRS Hebdo du 03/03/2023 Agenda de la semaine du 13 mars au 17 mars Vérification · Lundi 13 mars, 11:00, 1007 and Zoom link · Daniel Neider (TU Dortmund), Reinforcement Learning with (Stochastic) Reward Machines Algorithmes et complexité · Mardi 14 mars, 11:00, Room 3052 · Aleksandros Sobczyk (IBM Research Zurich), Approximate Euclidean lengths and distances beyond Johnson-Lindenstrauss Algorithmes et complexité · Mardi 14 mars, 14:00, Room 3052 · Thomas Peters (UCLouvain), TBA Algorithmique distribuée et graphes · Mardi 14 mars, 15:00, 1007 · Antoine Dailly (LIMOS Clermont Auvergne), Algorithms for the Metric Dimension problem on directed graphs Analyse et conception de systèmes · Jeudi 16 mars, 09:30, Amphithéâtre Guillaume Budé, Collège de France · Xavier Leroy (Collège de France), Arbres équilibrés + copie de branches = persistance Combinatoire énumérative et analytique · Jeudi 16 mars, 14:00, CIRM (Marseille) · Journees Alea, du 13 au 17 Mars Séminaire des doctorants · Jeudi 16 mars, 16:00, 3052 and Zoom link · Clément Ducros, Secure Multiparty Computation: a brief introduction Automates · Vendredi 17 mars, 14:00, Room 3052 · Florian Renkin, TBA Catégories supérieures, polygraphes et homotopie · Vendredi 17 mars, 14:00, Room 1007 · Uli Fahrenberg (Epita), 2-Categories with Lax Tensors, With a Motivation from Concurrency Theory