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-F Logics for computation

Participants

Abzianidze, Lasha
Airiau, Stéphane
Areces, Carlos
Avanzini, Martin
Bangerter, Maya
Banu, Bogdan
Barcenas Patino, Ismael Everardo
Bhargava, Pranesh
Bourreau, Pierre
Buenzli, Alexandra
Bulling, Nils
Burton, James
Cabrio, Elena
Celayes, Pablo Gabriel
Cojan, Julien
Cooper, Francis
De Cao, Diego
Degremont, Cedric
Del Vescovo, Chiara
Demey, Lorenz
Denisova, Viktoria
Doder, Dragan
Dominguez, Martin Ariel
Efstathiou, Vasiliki
Fritz, Peter
Giorgolo, Gianluca
Grigore, Mihai
Groza, Adrian
Hansen, Jens Ulrik
Hernandez-Servin, Jose Antonio
Hitziger, Sebastian
Hong, Seung-Ah
Hoshi, Tomohiro
Hunter, Timothy Andrew
Khan, Fahad
Kiselyov, Oleg
Kobayashi, Masahiro
Kramer, Simon
Köster, Michael
Lacarbonara, Domitilla
Locoro, Angela
Malik, Muhammad Abbas
Marinkovic, Bojan
Martin, Scott
Mazza, Chiara
Meier, Arne
Mendez, Julian
Meng, Yuanliang
Minica, Stefan
Mogavero, Fabio
Nakamura, Hiroaki
Nesci, Michele
Nguyen, Hoang Nga
Ovchinnikova, Ekaterina
Pandey, Ankur
Pavel, Gabriela
Pkhakadze, Nikoloz
Poellinger, Roland
Priddle-Higson, Andrew
Rado, Janina
Rakib, Abdur
Rezk, Martin Ignacio
Richter, Frank
Rusu, Andrei
Sack, Joshua
Schnabl, Andreas
Seban, Pablo
Sergio Tomé, Miguel
Seylan, Inanc
Shutova, Ekaterina
Stern, Rosa-Devi
Szymanik, Jakub
Szymczak, Bartlomiej Antoni
Søgaard, Anders
Turrini, Paolo
Uchida, Hiroyuki
Unger, Christina
Venant, Fabienne
Villadsen, Jørgen
Volpe, Marco
Wampler-Doty, Matthew
Wandmacher , Tonio
Wdowiarski, Artur
Worch, Nina
Zambach, Sine
Zavaliy, Taras
Zobel, Sarah