In this week's IRIF Newsletter, the lab is preparing for HCERES: please check your badges and finalise your posters. A reminder about adding your publications to HAL.
The lab will welcome trainees in December an we are counting on you!
The Compte Epargne Temps campaign is now open.
The I&E Committee presents its new flyer.
This week's focus is on the next FSMP Mathématiques en mouvement conference.
Enjoy reading and have a nice weekend!
La nouvelle édition de Mathématiques en mouvement de la FSMP est lancée. La prochaine édition de Mathématiques en mouvement aura pour thème Des preuves et des programmes. Les quatre exposés proposés sont les suivants :
Organisée sous la houlette de Hugo Herbelin (Inria, IRIF), elle aura lieu le samedi 2 décembre 2023 de 14h à 18h (et sera suivie d'un pot de clôture de 18h à 19h) à l'Institut Henri Poincaré (5 rue Pierre et Marie Curie, Paris 5e), amphithéâtre Hermite. L'inscription est gratuite mais obligatoire.
Partner newsletter : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.
Vérification · Lundi 20 novembre, 11:00, Zoom link ·
Rômulo Meira Goes (The Pennsylvania State University), On securing the next generation of critical infrastructure systems: A discrete event systems approach
Formath · Lundi 20 novembre, 14:00, 3052 ·
Paul Laforgue (IRIF, Université de Paris, Nomadic Labs), Characterisations of the must-preorder for asynchronous processes, mechanised in Coq.
Algorithmes et complexité · Mardi 21 novembre, 11:00, Room 3052 ·
Jessica Bavaresco (University of Geneva), Quantum information processing from the approach of higher-order operations
Combinatoire énumérative et analytique · Mardi 21 novembre, 11:00, Room 1007 ·
Théo Lenoir, Graphes à décomposition modulaire prescrite et nombre de sous-graphe induits
Sémantique · Mercredi 22 novembre, 10:45, Room 3052, 3ème étage du bâtiment Sophie Germain ·
Jérémy Ledent (IRIF), Simplicial Complex models for Distributed Computing
Algorithmes et complexité · Mercredi 22 novembre, 11:00, Room 4052 (PCQC) ·
Sébastien Designolle (Zuse Institut Berlin), Frank-Wolfe algorithms for Bell nonlocality
Preuves, programmes et systèmes · Jeudi 23 novembre, 10:30, Room 3052 ·
Luca Reggio (University College London), TBA
Soutenances de thèses · Jeudi 23 novembre, 14:00, Room 580F, Halle aux Farines ·
Gaëtan Douéneau-Tabot (IRIF), Optimization of string transducers
Séminaire des membres non-permanents · Jeudi 23 novembre, 16:00, Room 3052 ·
Herman Goulet-Ouellet, TBA
Automates · Vendredi 24 novembre, 14:00, Room 3052 ·
Mikołaj Bojańczyk, TBD