Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 23 June - 4 July 2003
Location: T.U. Dresden, Germany

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/.

Please note that this newsitem has been archived, and may contain outdated information or links.