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