Bernoulli Opening Symposium

Programme

13:00 – Opening by Jaap Top, Scientific director

13:15–14:00 – Research Talks:

Serte Donderwinkel – Counting connected graphs using probability theory

Rodrigo Otoni – Automated Reasoning for Distributed Software Systems

Zoé Christoff – Title TBD

14:00–14:15 – Energizer, organized by the Phoenix Council (PhD Council of the BI)

14:15–14:45 – Break

14:45–15:00 – Postdoc Talk: Lara Vicino – Correcting... on a variety: Algebraic Geometry meets Information Theory

15:00–15:15 – Education Talk: Arnold Meijster – Correct me if I am wrong

15:15–16:00 – Panel Discussion on AI in Education (Panelists: Wout van Weezel, Andreea Sburlea, Niels Taatgen)

16:00–17:00 – Posters and Drinks