Registration

The event is free of charge.
We will provide coffee breaks, but participants will need to cover all other costs, including lunches and workshop dinner.

Registration is now closed.
If you have registered and but cannot make it, please send me a mail so we know.

For more details about the workshop dinner see the page Banquet.

List of Participants

Andreas Abel
Robin Adams
Bahareh Afshari
Thorsten Altenkirch
Lennart Augustsson
Steve Awodey
Stefano Berardi
Ulrich Berger
JP Bernardy
Yves Bertot
Marc Bezem
Ana Bove
Nuria Brede
Venanzio Capretta
Olivia Caramello
Evan Cavallo
Felix Cherubini
Jesper Cockx
Cyril Cohen
Catarina Coquand
Nils Anders Danielsson
Maxime Dénès
Devdatt Dubhashi
Ivan Di Liberti
Peter Dybjer
Fredrik Engström
Oskar Eriksson
Martin Escardo
Jarl Flaten
Michael Hedberg
Hugo Herbelin
Simon Huber
Gérard Huet
Matthias Hutzler
Guilhem Jaber
Patrik Jansson
Thomas Lamiaux
Graham Leigh
Xavier Leroy
David Lidell
Axel Ljungström
Henri Lombardi
Peter LeFanu Lumsdaine
Assia Mahboubi
Per Martin-Löf
Paul-André Melliès
Magnus Myreen
Anders Mörtberg
Stefan Neuwirth
Bengt Nordström
Ulf Norell
Lena Pareto
Kent Petersson
Andrew Pitts
Aarne Ranta
Fabian Ruch
Giovanni Sambin
David Sands
Christian Sattler
Gerardo Schneider
Peter Schuster
Helmut Schwichtenberg
Anton Setzer
Jan Smith
Bas Spitters
Lukas Stoll
Ayberk Tosun
Taichi Uemura
Florrie Verity
Nachi Valliappan
Björn von Sydow
David Wahlstedt
Dominik Wehr
David Wärn
Zongpu Xie
Errol Yuksel
Max Zeuner
Joakim Öhman