Abbreviations

For more information about the lecture halls and seminar rooms, see our lecture room page. The names listed under "Technical Assistance" are student volunteers who will act as a contact person for technical questions of the lecturers and workshop speakers during the course or workshop.

LoCo-A Games, monadic logics, and synthesis

Participants

Calta, Jan
de Boer, Mathijs
Dykstra, Piter
El Behairy, Mohamed
Gheerbrant, Amelie
Ghosh, Sujata
Goranko, Valentin
Graf, Thomas
Grossi, Davide
Hoffmann, Guillaume
Ibanez Garcia, Yazmin Angelica
Icard, Thomas
Järvisalo, Matti
Kotzsch, Hans-christoph
Kruempelmann, Patrick
Kurnia, Ilham Winata
Lutz, Carsten
Marchand, Jonathan
Melissen, Matthijs
Nemoto, Takako
Nietiadi, Sherly Novelia
Novakovic, Novak
Oikarinen, Emilia
Pribram-Riddell, Andrew
Retore, Christian
Schmidtke, Hedda Rahel
Slavkovik, Marija
Suzuki, Tomoyuki
ten Cate, Balder
Virtema, Jonni Taneli
Weber, Volker
Zhang, Lan