Seminar

The Partout Seminar is typically held on Mondays at 2pm. To stay informed you can:

The seminar is currently being run virtually, via BigBlueButton. To receive the URL, please contact one of the seminar organizers. The current organizers are Matteo Manighetti and Noam Zeilberger.

Upcoming talks

Past talks

Monday 18 May 2020 at 14h: Anupam Das (Birmingham), From QBFs to MALL and back via focussing

Monday 11 May 2020 at 14h: Francesco Genco (IHPST), A Parallel Computational Interpretation of Multiplicative Linear Logic

Monday 4 May 2020 at 14h: Tito Nguyen (LIPN), Implicit automata in typed λ-calculi

Monday 20 April 2020 at 14h: Gabriel Scherer (Inria), Focusing on lambda-calculus equivalence

Monday 13 April 2020 at 11h: Beniamino Accattoli (Inria), Strong Call-by-Value

 

Even older talks may be found at the webpage of the Parsifal seminar, the predecessor to the Partout seminar.

Comments are closed.