https://www.dagstuhl.de/20383

September 16 – 18 , 2020, Event 20383

Projekt-Treffen "Anwendungen Formaler Wissenschaften"

Organizer

Bernhard Ganter (TU Dresden, DE)
Anatol Reibold (von Vicht GmbH, DE)
Karl Erich Wolff (Hochschule Darmstadt, DE)

For support, please contact

Heike Clemens

Documents

Event Schedule (Upload here)

(Use personal credentials as created in DOOR to log in)

Event Series

Online Publications

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

Dagstuhl's Impact

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.