Program -- Groningen/Munich summer school on formal methods in philosophy

... is now online.

Comments