Fri, 06.10.2017, 13:30
Formal Verification in Imperative Multivalued Programming over Continuous Data Types
Logik-Seminar

Speaker: Prof. Dr. Martin Ziegler, KAIST
Room: S2|15-201

Details / Abstract

Contact

Technische Universität Darmstadt
Department of Mathematics
Logic Group

S2|15
Schloßgartenstraße 7
64289 Darmstadt
GERMANY

Phone: +49-(0)6151-1622863
Fax:     +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Secretary's office
S2|15-206
Betina Schubotz

Office hours:
Mo.-Fr.  10:00-15:00


 

« October 2017 »
Mo Tu We Th Fr Sa Su
39 1
40 2 3 4 5 6 7 8
41 9 10 11 12 13 14 15
42 16 17 18 19 20 21 22
43 23 24 25 26 27 28 29
44 30 31
A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang