acs
jeudi 07 avril 2016, 14h30, Salle UFR
Tobias Heindel (University of Copehagen) Computing means and moments of occurrence counts: rule-based modeling meets adaptive uniformization and finite state projection

pps
jeudi 07 février 2019, 10h30, Salle 3052
Sandra Alves () TBA

combi
jeudi 07 janvier 2016, 11h00, Salle 1007
Julien Courtiel (UBC, Vancouver) Cordes terminales dans les diagrammes connexes de cordes

pps
jeudi 14 janvier 2016, 10h30, Salle 3052
Amar Hadzihasanovic (Oxford University) String diagrams and the algebra of entanglement

types
jeudi 16 mars 2017, 14h00, Salle 1007
Pierre-Marie Pédrot () An Effectful Way to Eliminate Addiction to Dependence

combi
jeudi 17 janvier 2019, 11h45, Salle 1007
Philippe Nadeau (Institut Camille Jordan (Lyon)) La symétrisation divisée

gateau
jeudi 17 janvier 2019, 17h30, in front of room 3052
Cédric Ho Thanh, Farzad Jafarrahmani, Nicolas Jeannerod (IRIF Cake^TM) Gâteau de l'IRIF

hors-series
jeudi 20 septembre 2018, 10h30, Amphi Turing (bâtiment Sophie Germain)
Leonid Libkin (University of Edinburgh) Certain Answers Meet Zero-One Laws

irif
jeudi 28 janvier 2016, 10h30, Amphi Turing
Nachum Dershowitz (Tel Aviv University) Ada and Computation

irif
jeudi 28 janvier 2016, 10h30, Amphi Turing
Nachum Dershowitz (Tel Aviv University) Ada and Computation