Veranstaltungskalender

Mi, 04.10.2017

Ende:
Fr, 06.10.2017
Optimization of Infinite Dimensional Non-Smooth Distributed Parameter Systems
Workshop


Details / Abstract
Fr, 06.10.2017, 13:30
Formal Verification in Imperative Multivalued Programming over Continuous Data Types
Logik-Seminar

Referent: Prof. Dr. Martin Ziegler, KAIST
Raum: S2|15-201

Details / Abstract

 


Kontakt

Fachbereich Mathematik
Technische Universität Darmstadt

Schlossgartenstraße 7
64289 Darmstadt

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang