Workshop 60th Birthday Herman Geuvers
Location: De Lindenberg Nijmegen
Please keep this URL private, as the program of the workshop should remain a surprise for Herman.
Instructions for speakers:
- You will have a 15 minutes slot, including questions
- Please do not run out of time, the talks should not run into lunch and drinks
- Make sure to keep some time for questions, particularly, to allow Herman to ask a question
- Both the morning and afternoon session have some leeway to account for AV problems, etc.
- The screen will have 16:9 format and a HDMI connection
- There will be no recordings or remote presentations
- Presenters are marked in bold
Program:
- 9:30-10:15 Arrival, with coffee and tea
- 10:15-12:30 Talks
- 10:15-10:30 Henk Barendregt: Invited Talk
- 10:30-10:45 Yves Bertot: Safe smooth paths between straight line obstacles
- 10:45-11:00 Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda and Josef Urban: Learning Guided Automated Reasoning: A Survey
- 11:00-11:15 Bart Jacobs: Some Probabilistic Riddles and Some Logical Solutions
- 11:15-11:30 Wieb Bosma and Henk Don: Constructing morphisms for arithmetic subsequences of Fibonacci
- 11:30-11:45 Sebastiaan Terwijn: Completions in partial combinatory algebra
- 11:45-12:00 Tonny Hurkens: Between Brackets
- 12:00-12:15 Harsh Beohar, Sebastian Junges and Jurriaan Rot: Relating Apartness and (Branching) Bisimulation Games
- 12:30-13:30 Lunch
- 13:30-15:30 Talks
- 13:30-13:45 Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo De'Liguoro and Betti Venneri: YACC: Yet Another Church Calculus
- 13:45-14:00 Jan Martens and Jan Friso Groote: Minimal Depth Distinguishing Formulas without Until for Branching Bisimulation
- 14:00-14:15 Hans Zantema: Characterizing morphic sequences
- 14:15-14:30 Jeroen J.A. Keiren and Tim Willemse: It's all a Game: Apartness and Bisimilarity
- 14:30-14:45 Niels van der Weide and Dan Frumin: The Interval Domain in Homotopy Type Theory
- 14:45-15:00 Jos Baeten and Bas Luttik: Sequential Value Passing yields a Kleene Theorem for Processes
- 15:00-15:15 Frits Vaandrager: A New Perspective on Conformance Testing Based on Apartness
- 15:30-16:30 Drinks
- 17:00 Dinner at restaurant De Hemel (also in the center of Nijmegen)