23 June - 4 July 2003, Summer School and Workshop on
Proof Theory, Computation and Complexity

The summer school consists of eight advanced courses; the workshop is integral part of the school and takes place in the last two days. As with last years events on 'Proof Theory and Computation' (Dresden) and 'Proof, Computation, Complexity' (Tübingen), we aim at a meeting where people have plenty of time to exchange ideas.

Registration is requested before May 25, 2003. For more information and a course schedule, please see our website at http://www.ki.inf.tu-dresden.de/~guglielm/WPT2/.