Conferences / Workshops

 

Program Participants

Proof, Computation, Complexity

Name University City Arrival and Departure
Bahareh Afshari Chalmers/University of Gothenburg Göteborg Jul 14 - Jul 19
Federico Aschieri Vienna University of Technology Vienna Jul 14 - Jul 19
Matthias Baaz Vienna University of Technology Vienna Jul 14 - Jul 19
Jan Bydzovsky Vienna University of Technology Vienna Jul 14 - Jul 19
Natalie Clarius University of Tübingens Jul 14 - Jul 19
Ugo Dal Lago University of Bologna Bologna Jul 14 - Jul 19
Anupam Das University of Copenhagen Copenhagen Jul 14 - Jul 19
Mattias Granberg Olsson Göteborgs Universititet Göteborg Jul 14 - Jul 19
Alessio Guglielmi University of Bath Bath Jul 14 - Jul 19
Hugo Herbelin Inria Paris Jul 14 - Jul 19
Gerhard Jäger University of Bern Bern Jul 14 - Jul 19
Reinhard Kahle Universidade NOVA de Lisboa Lisboa Jul 14 - Jul 19
Annika Kanckos University of Helsinki Helsinki Jul 14 - Jul 19
Ulrich Kohlenbach Technical University of Darmstadt Darmstadt Jul 14 - Jul 19
Lars Kristiansen University of Oslo Oslo Jul 14 - Jul 19
Graham Leigh Chalmers/University of Gothenburg Göteborg Jul 14 - Jul 19
Andrew Lewis Queen Mary University of London London Jul 14 - Jul 19
Anders Lundstedt Stockholm University Stockholm Jul 14 - Jul 19
Sonia Marin University of Copenhagen Copenhagen Jul 14 - Jul 19
Ralph Matthes IRIT Toulouse Institute of Computer Science Research Toulouse Jul 14 - Jul 19
Juvenal Murawanashyaka University of Oslo Oslo Jul 14 - Jul 19
Isabel Oitavem Universidade Nova de Lisboa Lisbon Jul 14 - Jul 19
Paulo Oliva Queen Mary University of London London Jul 14 - Jul 19
Erik Palmgren Stockholm University Stockholm Jul 14 - Jul 19
Luis Pinto Universidade Minho Braga Jul 14 - Jul 19
Michael Rathjen University of Leeds Leeds Jul 14 - Jul 19
Sam Sanders University of Leeds Leeds Jul 14 - Jul 19
Paulo Santos Universidade NOVA de Lisboa Lisboa Jul 14 - Jul 19
Andrei Sipos Technical University of Darmstadt Darmstadt Jul 14 - Jul 19
Philipp Stassen Stockholm University Stockholm Jul 14 - Jul 19

Program
Contact

Reinhard Kahle

kahle@mat.uc.pt

Other
information

For practical matters at the Institute, send an e-mail to administration@mittag-leffler.se