Various meeting sponsored by Parsifal are listed here.

The team’s seminar

The Parsifal Seminar takes place at least once per month and hosts research talks by guests as well as team members. Since Septembre 2017, we usually meet on Wednesdays at 2pm in room Flajolet.

Incoming Talks at the Parsifal Seminar

25 October 2017 Guillaume Burel talks about Linking Focusing and Resolution with Selection
8 Novembre 2017 – Beniamino Accatolli will talk about The Negligible and Yet Subtle Cost of Pattern Matching (pdf)
15 November 2017 – Stephane Graham-Lengrand
22 November 2017 – Revantha Ramanayake
29 November 2017 – Francesco A. Genco  From hypersequents to parallel computation via systems of rules

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