PhD defence Bram Kohlen: 12 February, 10:30

On Thursday 12 February, 10:30, Bram will defend his thesis 'Verified & Fast Probabilistic Verification - Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation'. The PhD defence will take place in the Waaier building and can be followed by a live stream. For more information, see: PhD Defence Bram Kohlen | Verified & Fast Probabilistic Verification - Stepwise Refinement of Probabilistic Model Checking into an IEEE 754 Floating-Point Implementation

In the afternoon, a workshop is organised on the occasion of the defence, featuring presentations by the committee members. The workshop will take place at the UPark Hotel, room C4. There will be coffee, tea, nice sweet bakery products, etc. for all who attend, sponsored by the MISSION project (see mission-project.eu) that Bram has also been participating in.
Tentative programme: 
* 14:00 Welcome
* Presentation by Sylvie Boldo (Inria & Université Paris-Saclay)
* Presentation by Christoph Weidenbach (Max-Planck-Institute for Informatics)
* Presentation by Frits Vaandrager (Radboud Universiteit): An L# Based Algorithm for Active Learning of Minimal Separating Automata
* Presentation by Mariëlle Stoelinga (University of Twente)
* Finish by 16:30 
NB: As we need to tell UPark the expected number of participants early next week, please use the following form to indicate if you plan to attend: https://forms.gle/iUiAkKooD2Jqhhfi8 
You can change your response later, so please sign up asap if you think you will most likely attend: that will allow us to understand if the room size we reserved so far will be appropriate. Friends of FMT are also welcome.