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-I Randomness in logic

Participants

Banu, Bogdan
Bourreau, Pierre
Breslav, Andrey
Brumwell, Christopher
Bulling, Nils
Burton, James
Cojan, Julien
Cooper, Francis
El Behairy, Mohamed
Fritz, Peter
Göbel, Thomas
Hoffmann, Guillaume
Icard, Thomas
Järvisalo, Matti
Kimmig, Angelika
Kramer, Simon
Köhn, Arne
Melissen, Matthijs
Meng, Yuanliang
Mery, Bruno
Milea, Viorel
Mook, Anne-Christin
Nesci, Michele
Nietiadi, Sherly Novelia
Novakovic, Novak
Oikarinen, Emilia
Pacuit, Eric
Pandey, Ankur
Patchkoria, Irakli
Pavel, Gabriela
Poellinger, Roland
Rezk, Martin Ignacio
Rusu, Andrei
Sergio Tomé, Miguel
Spiegler, Sebastian R.
Suzuki, Tomoyuki
Virtema, Jonni Taneli
Williamson, Jon
Zavaliy, Taras
Zhang, Lan
Zobel, Sarah