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 Interval temporal logics

Participants

Gierasimczuk, Nina
Goranko, Valentin
G�bel, Thomas
Hansen, Jens Ulrik
Khan, Fahad
Laskova, Laska
Laurens, Fr�d�ric
Milea, Viorel
Mogavero, Fabio
Moldovano, Pnina
Nemoto, Takako
Nietiadi, Sherly Novelia
Ryu, Su-Rin
Sack, Joshua
Schmidtke, Hedda Rahel
Sergio Tom�, Miguel
Uckelman, Sara
Velazquez, Fernando
Villadsen, J�rgen
Virtema, Jonni Taneli
Volpe, Marco
Weber, Volker