Paris-Munich Workshop in Formal Philosophy, 7–8 February