Formal Epistemology Workshop, Carnegie Mellon University, May 31 – June 3, 2007 (The Reasoner, 2007)