Dans la lettre cette semaine, le prochain conseil de laboratoire, l’accueil des stagiaires de 3ème et l’ouverture du concours chercheurs et chercheuses du CNRS.
Côté actualités scientifiques, un papier accepté à POPL 2022, un exposé au séminaire Francilien de Géométrie Algorithmique et Combinatoire au une nomination comme IFIP Fellow.
Parmi les informations de nos partenaires, on notera l’AAP Emergence de la Ville de Paris, l’appel à projets Agence de l’innovation de défense et le programme de prématuration du CNRS.
Et enfin, l’agenda de la semaine du 13 au 17 décembre.
Bonne lecture !
Vérification · Lundi 13 décembre, 11:00, 3052 and Zoom link ·
Angelo Ferrando (University of Genova), Towards Runtime Verification of ROS applications
Soutenances de thèses · Lundi 13 décembre, 14:00, Room Halle 265 & Zoom ·
Pierre Ohlmann (IRIF), Monotonic graphs for parity and mean-payoff games
Algorithmique distribuée et graphes · Mardi 14 décembre, 15:00, Room 1007 ·
Laurent Beaudou (HSE), Of points and lines
Algorithmes et complexité · Mercredi 15 décembre, 10:00, Room 1007 ·
Serge Massar (Laboratoire d’Information Quantique CP224, Université libre de Bruxelles), Characterizing the intersection of QMA and coQMA
Soutenances de thèses · Mercredi 15 décembre, 14:00, Amphithéatre Gouges 1 & Youtube ·
Simon Mauras (IRIF), Analysis of Random Models for Stable Matchings
Preuves, programmes et systèmes · Jeudi 16 décembre, 10:30, Virtual room at link (any password works) ·
Vasileios Koutavas (Trinity College Dublin), From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
Séminaire des doctorants · Jeudi 16 décembre, 11:00, Room 3052 ·
Abhishek De & Pierre Meyer, Multi-party encrypted communication between ASD, ASV and PPS
Combinatoire énumérative et analytique · Jeudi 16 décembre, 14:00, Room 1007 ·
Corentin Henriet, TBD
Analyse et conception de systèmes · Vendredi 17 décembre, 10:30, Room 1007 ·
Aliaume Lopez (LSV), Basic operational preorders for algebraic effects
Automates · Vendredi 17 décembre, 14:30, Room 3052 ·
Léo Exibard, Extending Reactive Synthesis to Infinite Data Domains through Machines with Registers
Graph Transformation Theory and Applications · Vendredi 17 décembre, 15:00, online ·
Paolo Bottoni (Department of Computer Science, Sapienza University of Rome, Italy), Request-Guarantee Agents and their Check-Transform-Enforce Processes