Lettre de l'IRIF du 10 décembre 2021

Edito

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 !

Annonces de la direction


Actualités


Appels d'offres et informations des partenaires


Agenda de la semaine du 13 décembre au 17 décembre

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