Information on the Dagstuhl WWW-page Motivation Proof theory has long been established as a basic discipline of mathematical logic. In recent years it has become increasingly relevant to computer science. The deductive apparatus provided by proof theory has proved to be useful both for metatheoretical purposes and for practical applications in various fields of computer science. The aim of this conference is to assess which role proof theory is already playing in computer science, and which role it might play in further developments. This list is by no means exhaustive.
Any contribution is welcome which promises to shed some light on the topic of the conference.
Proof theory is not a uniform subject at all. The list of invited participants includes researchers from different research paradigms. We hope that novel and promising ideas evolve by bringing such people together. It is planned to publish a proceedings volume in the Springer LNCS series. Participants who are willing to contribute to this volume are invited to submit a manuscript by April 2001.