Formal Epistemology Workshop