TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Research Meeting 20383

Projekt-Treffen "Anwendungen Formaler Wissenschaften"

( Sep 16 – Sep 18, 2020 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/20383

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

Contact

Related Seminars
  • Research Meeting 14263: Workshop Buchprojekt "Corporate Semantic Web" (2014-06-25 - 2014-06-27) (Details)
  • Research Meeting 15253: Nachfolge-Workshop Buchprojekt "Corporate Semantic Web" (2015-06-14 - 2015-06-17) (Details)
  • Research Meeting 16244: Workshop Buchprojekt "Corporate Semantic Web" (2016-06-12 - 2016-06-15) (Details)
  • Research Meeting 17273: Workshop Buchprojekt "Corporate Semantic Web" (2017-07-05 - 2017-07-07) (Details)
  • Research Meeting 18233: Workshop Buchprojekt "Applied Machine Intelligence" (2018-06-03 - 2018-06-06) (Details)
  • Research Meeting 19243: Workshop Buchprojekt "Applied Machine Intelligence" (2019-06-10 - 2019-06-14) (Details)