On 12 June 2019, ILLC is organizing a workshop and reception to celebrate Johan van Benthem's 70th birthday. The workshop consists of talks by Johan and some of his many former PhD students at UvA and Stanford. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!
ILLC Common room, F1.21, Science Park 107, 1098 XG, Amsterdam, The Netherlands.
| 10:00-10:30 | Coffee and cookies |
| 10:30-10:35 | Opening by Organisers (Alexandru Baltag and Fenrong Liu) |
| 10:35-11:15 | Martin Stokhof Logic in Philosophy: Marriage de raison, or match made in heaven? (abstract) |
| 11:15-11:55 | Shane Steinert Threlkeld Degrees of Monotonicity (abstract) |
| 11:55-12:35 | Fenrong Liu Preference Lifting under Uncertainty (abstract) |
| 12:35-13:20 | Lunch |
| 13:20-14:00 | Johan van Benthem A Modal Logic of Functional Dependence (abstract) |
| 14:00-14:40 | Aybüke Özgün and Peter Hawke The Fundamental Problem of Logical Omniscience (abstract) |
| 14:40-15:00 | Coffee break |
| 15:00-15:40 | Nina Gierasimczuk From grammar inference to learning action models. A case for Explainable AI (abstract) |
| 15:40-16:20 | Olivier Roy Priority Merge and Intersection Modalities (abstract) |
| 16:20-16:25 | Concluding speech by ILLC director Sonja Smets |
| 16:30-19:00 | Reception |