Home
|
Impressum
|
Sitemap
|
KIT
Anwendungsorientierte Formale Verifikation
Home
Call for Presentations
Anmeldung/Unterkunft
Programm
Anreise
Komitee
Organisation und Kontakt
Termine
bis 05. Sep. 2010
Einreichung von Vorträgen
20. Sep. 2010
Anmeldung: ab 13 Uhr, Beginn: 14 Uhr
21. Sep. 2010
Ende: 15:30 Uhr
Deduktionstreffen 2010
Organisation
Organisation
Bernhard Beckert
Thorsten Bormer