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

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

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

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