Summer School and Workshop on
Proof Theory, Computation and Complexity
Technische Universität Dresden
June 23-July 4, 2003
Participants
60 people registered for the summer school and workshop:Peter Aczel (Manchester, UK)
Klaus Aehlig (Ludwig-Maximilians-Universität München)
Roger Antonsen (Oslo)
Amarnath Anumandla (TU Dresden)
James Brotherston (Edinburgh LFCS)
Kai Brünnler (TU Dresden)
Paola Bruscoli (TU Dresden)
Sugwoo Byun (Kyungsung University)
Ugo Dal Lago (Bologna)
Roy Dyckhoff (St Andrews, Scotland)
Birgit Elbl (U. Bundeswehr München)
Andrea Ferrara (Roma 1)
Bertram Fronhöfer (TU Dresden)
Alessio Guglielmi (TU Dresden)
Pascal Hitzler (TU Dresden)
Predrag Janicic (Belgrade)
Achim Jung (Birmingham)
Reinhard Kahle (Universidade Nova de Lisboa)
Ozan Kahramanogullari (TU Dresden)
Eldar Karabaev (TU Dresden)
Kentaro Kikuchi (Chiba University)
Vladimir Komendantsky (Institute of Philosophy, RAS)
Lars Kristiansen (Oslo)
Markus Krötzsch (TU Dresden)
Pradeep Kumar Nalla (TU Dresden)
Akil Kumar Thamala (TU Dresden)
Stéphane Lengrand (Ecole Normale Supérieure de Lyon)
Jim Lipton (Wesleyan, USA)
Katherine Lukyanovskaya (Moscow State University)
Davide Martinenghi (Roskilde)
Enrico Moriconi (Pisa)
Iman Narasamdya (TU Dresden)
Sara Negri (University of Helsinki and Academy of Finland)
Karl-Heinz Niggl (Ilmenau)
Isabel Oitavem (Lisboa)
Jan von Plato (Helsinki, Finland)
Ando Saabas (Tallinn Technical University)
Saeed Salehi (Turku, Finland)
Ari Saptawijaya (TU Dresden)
Monika Seisenberger (University of Wales Swansea)
Stephen Simpson (Penn State, USA)
Olga Skvortsova (TU Dresden)
Lim Yohanes Stefanus (University of Indonesia)
Charles Stewart (TU Dresden)
Phiniki Stouppa (TU Dresden)
Kristian Støvring Sørensen (Aarhus)
Lutz Straßburger (TU Dresden)
Laura Tesconi (Pisa)
Allan Third (Manchester)
Nguyen Thanh Thuy (Hanoi University of Technology)
Alwen Tiu (Penn State, USA)
Karel Van Oudheusden (IMEC, Leuven)
Cristian Vidrascu (Iasi)
Janis Voigtländer (TU Dresden)
Heinrich Wansing (TU Dresden)
Pawel Waszkiewicz (Jagiellonian University, Krakow)
Matthias Wendt (TU Dresden)
Greg Wheeler (Universidade Nova de Lisboa)
Henning Wunderlich (Ilmenau)
Jin Yi (TU Dresden)
Alessio Guglielmiemail