Jos Baeten’s Retirement Symposium (online)

After leading CWI for nine years, Jos Baeten will step back as director of the institute. To commemorate his career, CWI has organized a retirement symposium on 1 October 2020.

CWI would like to give everyone the opportunity to ‘take part in’ this retirement symposium and is therefore offering a live video stream. Jos Baeten and CWI are inviting you to join the symposium online via this live stream.

More information on CWI website.

Link to live stream.

Programme

⠀⠀⠀⠀⠀⠀⠀⠀⠀ ⠀⠀⠀⠀⠀⠀⠀⠀⠀
13:40 Opening
by Wan Fokkink (chair of the day)
⠀⠀⠀⠀⠀⠀⠀⠀⠀
13:45 Talk #1: Branching bisimulation is the best process equivalence ever
by Jan Friso Groote
Eindhoven University of Technology
⠀⠀⠀⠀⠀⠀⠀⠀⠀
14:15 Talk #2: Discovering e-passport vulnerabilities using bisimilarity
by Sjouke Mauw
University of Luxembourg
⠀⠀⠀⠀⠀⠀⠀⠀⠀
14:45 Talk #3: An algebra for quality and resource management
by Twan Basten
Eindhoven University of Technology
⠀⠀⠀⠀⠀⠀⠀⠀⠀
15:15 Break
⠀⠀⠀⠀⠀⠀⠀⠀⠀
16:00 Talk #4: Algebra for probability and non-determinism
by Ana Sokolova
University of Salzburg
⠀⠀⠀⠀⠀⠀⠀⠀⠀
16:30 Talk #5: The computer and me
by Jos Beaten
CWI & ILLC University of Amsterdam
⠀⠀⠀⠀⠀⠀⠀⠀⠀
17:20 Talk #6: How to fulfill an impossible job
by Stan Gielen
NWO
⠀⠀⠀⠀⠀⠀⠀⠀⠀
17:25 Talk #7: From logic to computation
by Sonja Smets
ILLC University of Amsterdam
⠀⠀⠀⠀⠀⠀⠀⠀⠀
17:30 Presentation of liber
⠀⠀⠀⠀⠀⠀⠀⠀⠀
18:00 End

 

Other details

Date: Thursday 1 October 2020
Time: 13:40-18:00

Link to live stream.