ICCL Summer School 2004
Proof Theory and Automated Theorem Proving

and
PCC Workshop 2004
Technische Universität Dresden
June 14-25, 2004

Participants

62 people participated to the summer school and workshop (when no explicit institution is indicated, the city university is assumed):

Alessio Guglielmi (TU Dresden)
Alexander Artze Ramos (Habana - Cuba)
Alexander Okhotin / Queen's University (Kingston - Canada)
Alexander S. Kulikov / St Petersburg State (St Petersburg - Russia)
Andrei Voronkov (Manchester - UK)
Aning Song (TU Dresden)
Axel Grossmann (TU Dresden)
Bertram Fronhöfer (TU Dresden)
Birgit Elbl (Munich - Germany)
C.-H. L. Ong (Oxford - UK)
Charles Stewart (TU Dresden)
Christian Mahesh Hansen (Oslo - Norway)
Claude Kirchner / LORIA (Nancy - France)
David Steiner (Bern - Switzerland)
Diana Dubu / West University of Timisoara (Timisoara - Romania)
Dmitry Dubovitskiy / Durand Technology Limited (Watchfield - UK)
Erik Arne Mathiesen / Queen Mary (London - UK)
Filip Maric (Belgrade - Serbia)
Flavio de Moura (Brazilia - Brazil)
Franz Baader (TU Dresden)
François Lamarche / LORIA (Nancy - France)
Gilda Ferreira (Lisbon - Portugal)
Hanne Gottliebsen / Queen Mary (London - UK)
Isabel Oitavem (Lisbon - Portugal)
John Slaney / NICTA and Australian National University (Canberra - Australia)
Julien Narboux / INRIA Futurs/Lix Polytechnique (Paris - France)
Kai Brünnler (Bern - Switzerland)
Lars Kristiansen (Oslo - Norway)
Lin Yang (Edinburgh - UK)
Lutz Straßburger / LORIA (Nancy - France)
Mariana Stancheva (TU Dresden)
Markus Moschner (Vienna - Austria)
Mayuresh Kulkarni / Rensselaer Polytechnic Institute (New York - USA)
Michael Arndt (Tuebingen - Germany)
Michel Parigot / CNRS (Paris - France)
Milena Vujosevic (Belgrade - Serbia)
Olga Lightfoot / Queen Mary (London - UK)
Olivier Hermant / École Polytechnique (Paris - France)
Ondrej Rysavy / Brno University of Technology (Brno - Czech Republic)
Ozan Kahrmanogullari (Leipzig - Germany)
Paola Bruscoli (TU Dresden)
Pascal Hitzler (TU Dresden)
Pascal Lafourcade / École Normale Supérieure de Cachan (Cachan - France)
Pavel Simecek / Masaryk University (Brno - Czech Republic)
Pavel Vasilyev (St Petersburg - Russia)
Predrag Janicic (Belgrade - Serbia)
Rajeev Goré / NICTA (Canberra - Australia)
Reinhard Kahle (Coimbra - Portugal)
Roger Antonsen (Oslo - Norway)
Roy Dyckhoff (St Andrews - Scotland)
Sergey Nikolenko / St Petersburg State (St Petersburg - Russia)
Simona Ronchi Della Rocca (Turin - Italy)
Steffen Hölldobler (TU Dresden)
Stéphane Lengrand (St Andrews - Scotland)
Sylvia Epp (TU Dresden)
Tran Dinh Khang (Hanoi - Vietnam)
Ugo Dal Lago (Bologna - Italy)
Ulrich Berger (Swansea - UK)
Vladimir Deviatkov / Bauman Moscow State Technical University (Moscow - Russia)
Will Funk / Vanderbilt University (Nashville - USA)
Wolfgang Bibel (Darmstadt - Germany)
Yugo Kartono Isal (Jakarta - Indonesia)

TU Dresden graduate students can freely join the lectures, courses and workshop.

Back to the main page

3.7.2004Alessio Guglielmiemail