[logic-ml] PROBABILITY AND VAGUENESS, University of Tokyo, March 20-22, 2013