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.
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