Various meeting sponsored by Parsifal are listed here.


The Parsifal Seminar takes place at least once per month and hosts research talks by guests as well as team members. Since January 2015, we usually meet the second Thursday of each month at 11:00 in room Flajolet.

Past Meetings

2014: The Reading Group on Fixed Points (RGFP) met roughly once every two weeks to discuss various aspects of fixed points in relation to structural proof theory.

5-7 November 2013: LIX Colloquium 2013: The Theory and Application of Formal Proofs

Summer 2013 – the team had several visitors during spring and summer 2013.

  • Chuck Liang is planning a month long visit. Tentative dates: 20 May – 15 June.
  • Elaine Pimentel and Carlos Olarte are planning to visit 7 June – 15 July.
  • Gopalan Nadathur visits from 21 May – 31 May.

5-6 March 2013: Workshop on Formal Meta-Theory

15-16 November 2012: Collegium Logicum 2012: Structural Proof Theory

10-12 July 2012:  Workshop on Abella and Bedwyr

3-6 July 2012: Workshop on Specifying Proof Systems and Computations