Every Thursday, at 15:45. Room is announced for each colloquium. Deviations from this are marked in bold.
Almost all group colloquia are public, and especially ST students and students who do their master project within FMT are heartily invited.
Staff-only group colloquia are indicated like this.
Group colloquia with a special topic are indicated like this.
Cancelled group colloquia are indicated like this.
<< Upcoming Presentations
|Sept. 20, 15:45||Laure Petrucci||Layered and Collecting NDFS with Subsumption for Parametric Timed Automata|
|Sept. 27, 15:45||Jaco van de Pol||Parameter Synthesis Algorithms for Parametric Interval Markov Chains|