Jos Baeten’s Retirement Symposium (online)
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.
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