Workshop "Operations, Sets, and Types" Schloss Muenchenwiler, Switzerland April 18 - 20, 2016 For all details see: http://ost16.inf.unibe.ch (Supported by John Templeton Foundation and University of Bern)