Events

Wed, 04.10.2017

End:
Fri, 06.10.2017
Optimization of Infinite Dimensional Non-Smooth Distributed Parameter Systems
Workshop


Details / Abstract
Thu, 05.10.2017, 16:15
From heavy-tailed Boolean models to scale-free Gilbert graphs
Oberseminar AG Stochastik

Speaker: Dr. Christian Hirsch, LMU München
Host: AG Stochastik
Room: 301

Details / Abstract
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

Fachbereich Mathematik
Technische Universität Darmstadt

Schlossgartenstraße 7
64289 Darmstadt

A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang