Veranstaltungskalender

Mi, 04.10.2017

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


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

Referent: Dr. Christian Hirsch, LMU München
Veranstalter: AG Stochastik
Raum: 301

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