Konstanz-Leuven Series in Formal Epistemology, 6 April