https://www.dagstuhl.de/20383

16. – 18. September 2020, Event 20383

Projekt-Treffen "Anwendungen Formaler Wissenschaften"

Organisator

Bernhard Ganter (TU Dresden, DE)
Anatol Reibold (von Vicht GmbH, DE)
Karl Erich Wolff (Ernst-Schröder-Zentrum Darmstadt, DE)

Auskunft zu diesem Event erteilt

Heike Clemens

Event Series

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.