Atlas home || Conferences | Abstracts | about Atlas


Proof Theory in Computer Science

Dagstuhl Seminar

October 7-12, 2001

Wadern, Germany

Mathematics

Host: Schloss Dagstuhl
Homepage: http://www.dagstuhl.de/DATA/Seminars/01/#01411
Email: office@dagstuhl.de

Organizers: R. Kahle (Tübingen), P. Schröder-Heister (Tübingen), R. Stärk (Zürich)

Date received: March 21, 2000


© 2008 Atlas Conferences Inc.