This is the first in a projected series of workshops on formal methods in metaphysics, and other related fields. The goal is to provide a forum where the community working in this area can exchange ideas and get to know one another.
Details and Schedule
11:00 -11:05: Introductory remarks/welcome
11:05 -12:20: Tim Button
12:20 -13:30: lunch
13:30-14:45: Daniel Kodsi
14:45 -15: 05: break
15:05 -16:20: Xinhe Wu
16:20 -16:40: break
16:40 -17:55: Christopher Scambler
Registration is not required. But if you would like to be included in lunch arrangements, please write to Nick Jones (Nicholas.jones@philosophy.ox.ac.uk) before Wednesday 12 March and include any dietary restrictions in your message.
If you would like to come for dinner (at your own expense) after the workshop, please let Nick Jones know at the address above.
The workshop is organised by Andreas Ditter, Peter Fritz, and Nicholas K Jones.
