Groningen/Munich summer school: Formal Methods in Philosophy