[SIPTA] Progic 2013: Combining probability and logic to solve philosophical problems, Munich, 17-18 Sept. 2013