Mini Workshop on Modelling and Analysis of Stochastic Systems
Dear colleagues and students,
As you may know, Anja Kolesnichenko from DACS research group will defend her thesis "Model-checking mean-field models: algorithms & applications" on Wednesday December 17 at 16.45 (the introduction starts at 16.30).
During the early afternoon a mini-workshop is organized in which the external (non-UT) committee members will present. We invite anyone interested to attend one or more of these presentations.
Please find the program below.