gateau
jeudi 31 mai 2018, 17h00, In front of room 3052
Kostia Chardonnet, Akash Hossein, Olivier Martinot, Léo Stefanesco (IRIF Cake^TM) Gâteau de l'IRIF

acs
lundi 07 janvier 2019, 10h30, Salle 3052
Louis Mandel (IBM Watson) Reactive Probabilistic Programming

verif
lundi 15 avril 2019, 11h00, Salle 1007
John Wickerson (Imperial College London) tba

types
lundi 19 mars 2018, 13h15, TBA
Adrien Guatto () A Generalized Modality for Recursion

hdr
lundi 20 novembre 2017, 10h00, Salle 227C, Halle aux Farines
Paul-André Melliès (IRIF) Une étude micrologique de la négation

laag
lundi 26 mars 2012, 10h30, submarine
Achim Blumensath (LIAFA) Stability theory

verif
lundi 29 février 2016, 11h00, Salle 1007
Pierre Fraigniaud (IRIF) Fault-Tolerant Decentralized Runtime Monitoring

hors-series
mardi 16 janvier 2018, 14h00, 3052
Prakash Panangaden (McGill University) Introduction to LMPs: bisimulation, simulation, logical characterization

graphes
mardi 17 octobre 2017, 14h00, Salle 3052
Claire Mathieu (DI - ENS) Online k-compaction

compsys
mardi 17 octobre 2017, 14h00, Salle 3052
Claire Mathieu (DI - ENS) Online k-compaction