The TYPES meeting will run from Monday June 20th to Thursday June 23th, followed by EuroProofNet meetings on June 24th and June 25th.

The list of abstracts can be downloaded as a single file through the following link. Otherwise, each abstract is available as a standalone file by clicking on the corresponding title in the programme.


The TYPES programme follows the following conventions.

  • Invited talks are one hour long, including questions.
  • Short talks are 10 minute long + 5 minutes for questions.
  • Long talks are 20 minute long + 5 minutes for questions.


Monday 9:00-10:30 (Chair: Éric Tanter)
Monday 10:30-10:50
  • Break
Monday 10:50-12:30 (Chair: Pierre-Marie Pédrot)
Monday 12:30-14:00
  • Lunch
Monday 14:00-15:55 (Chair: Lionel Vaux Auclair)
Monday 15:55-16:30
  • Break
Monday 16:30-17:55 (Chair: Thierry Coquand)
Monday 18:30-…


Tuesday 9:00-10:25 (Chair: Anton Setzer)
Tuesday 10:25-10:50
  • Break
Tuesday 10:50-12:25 (Chair: Delia Kesner)
Tuesday 12:25-14:00
  • Lunch
Tuesday 14:00-16:00 (Chair: András Kovács)
Tuesday 16:00-16:30
  • Break
Tuesday 16:30-17:45 (Chair: Georges Gonthier)
Tuesday 17:45-18:00
  • Break
Tuesday 18:00-19:00
  • Business Meeting
Tuesday Evening
  • “Fête de la musique”: there will be music all around the city, see this listing (in French) for a curated list of events.


Wednesday 9:00-10:25 (Chair: Gert Smolka)
Wednesday 10:25-10:50
  • Break
Wednesday 10:50-12:20 (Chair: Nicolas Tabareau)
Wednesday 12:20-14:00
  • Lunch
Wednesday 14:00-14:55 (Chair: Herman Geuvers)
Wednesday 16:00-18:00
  • Social event: Machines de l’Île (more information here)
Wednesday 20:00
  • Social diner at Le 1


Thursday 9:00-10:25 (Chair: Andreas Abel)
Thursday 10:25-10:50
  • Break
Thursday 10:50-12:30 (Chair: Ambrus Kaposi)
Thursday 12:30-14:00
  • Lunch
Thursday 14:00-15:50 (Chair: Stefan Monnier)
Thursday 15:50-16:00
  • Break
Thursday 16:30-17:55 (Chair: Sandra Alves)

Pre-recorded talks

This talks can be discussed on the Zulip chat

Accepted Papers

Comments are closed.