Atlas home || Conferences | Abstracts | about Atlas


Semantic Foundations of Proof-search

Dagstuhl Seminar

April 1-6, 2001

Wadern, Germany

Mathematics

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

Organizers: D. Pym (QMW London), E. Ritter (Birmingham), T. Streicher (Darmstadt)

Date received: March 21, 2000


© 2008 Atlas Conferences Inc.