List of participants:

From DiFoS:

• Peter Schroeder-Heister (Universtät Tübingen)
• Benedikt Löwe (Universiteit van Amsterdam)
• Luca Tranchini (Universität Tübingen)
• Sara Uckelman (Universiteit van Amsterdam)
• Bartosz Wieckowski (Universität Tübingen)
• Jesse Alama (New University of Lisbon)
• Thomas Piecha (Universität Tübingen)
• Catarina Dutilh Novaes (University of Amsterdam)

• Gernot Kleiter (Universität Salzburg)
• Christian Wallmann (Universität Salzburg)
• Josef Perner (Universität Salzburg)
• Niki Pfeifer (Universität Salzburg)
• Jiri Vomlel (Academy of Sciences, Prague)
• Radim Jirousek (Academy of Sciences, Prague)

• Christian Fermüller (Vienna University of Technology)
• Matthias Baaz (Vienna University of Technology)
• Agata Ciabattoni (Vienna University of Technology)
• Moataz El-Zekey (Vienna University of Technology)
• Friedrich Slivovsky (Vienna University of Technology)
• Christoph Roschger (Vienna University of Technology)
• Thomas Vetterlein (Johannes Kepler University Linz)
• Ondrej Majer (Academy of Sciences, Prague)
• Karel Chvalovsky (Charles University, Prague)
• Zuzana Hanikova (Academy of Sciences, Prague)
• Michal Pelis (Academy of Sciences, Prague)
• Libor Behounek (Academy of Sciences, Prague)
• Petr Cintula (Academy of Sciences, Prague)
• Lluis Godo (IIIA-CSIC, Bellaterra)
• Francesc Esteva (IIIA-CSIC, Bellaterra)
• Enrico Marchioni (IIIA-CSIC, Bellaterra)
• Felix Bou (IIIA-CSIC, Bellaterra)
• Tommaso Flaminio (IIIA-CSIC, Bellaterra)
• Marco Cerami (IIIA-CSIC, Bellaterra)
• Pere Pardo (IIIA-CSIC, Bellaterra)
• Carles Noguera (IIIA-CSIC, Bellaterra)

• Keith Stenning (University of Edinburgh)
• Lance Rips (Northwestern University, WCAS, Illinois)
• David Over (Durham University)

• Eva Hoogland