Workshop on the Occasion of Johan van Benthem's 70th birthday
12 June 2019, Amsterdam, The Netherlands




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!

Location

ILLC Common room, F1.21, Science Park 107, 1098 XG, Amsterdam, The Netherlands.

Programme

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