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<sup>TM</sup>) 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