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.