Important dates
Mark the calendar
- Workshop proposals — 18 April 2027
- Talk abstracts — 7 May 2027
- Decision notices — 2 June 2027
- Forum opens — 8 October 2027
Archive
Previous meetings
No proceedings
Bring unfinished work, careful questions, and ideas worth testing together.
Three focused days
Long-form sessions leave room for context, argument, and disagreement.
Fair access
Low fees and 27 travel bursaries keep the room open to emerging researchers.
Useful collisions
Computer science meets linguistics, mathematics, design, and philosophy.
Invited voices
Keynote speakers
- Dr. Amina Vorst
- Leo Maren
- Priya Sen
Workshops
- Proof assistants in practice
- Games for verification
Programme
Session chairs
- Tomas Elgaard
- Nila Kouyaté
- Ruth Calder
- Jae-Min Park
- Silvia Conti
- Oskar Lind
- Mara Velasquez
- Idris Nwosu
Hosts
Organising committee
- Fleur Maas — chair
- Kavi Raman — programme
- Emilia Roth — venue
- Jonas Mertens — access
- Sofía Barreto — workshops
Guidance
Steering committee
- Leila Haddad
- Henrik Voss
- Daniel Okafor
- Mina Sato
- Clara Bendix
- Youssef Amari