PTP-97: 1st Int. Workshop on Proof Transformation & Presentation

We offer several possibilities to publish the results of your event. Please contact publishing(at)dagstuhl.de if you are interested.

Background information on DROPS

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.