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