26. – 30. April 2015, Dagstuhl Seminar 15181
Letzte Aktualisierung: 17. Dezember 2015

Challenges and Trends in Probabilistic Programming

Participants

  • Christel Baier (TU Dresden, DE) [dblp]
  • Gilles Barthe (IMDEA Software – Madrid, ES) [dblp]
  • Johannes Borgström (Uppsala University, SE) [dblp]
  • Michael Carbin (Microsoft Research – Redmond, US) [dblp]
  • Aleksandar Chakarov (University of Colorado – Boulder, US) [dblp]
  • Ugo Dal Lago (University of Bologna, IT) [dblp]
  • Alessandra Di Pierro (University of Verona, IT) [dblp]
  • Jason Eisner (Johns Hopkins University – Baltimore, US) [dblp]
  • Yuan Feng (University of Technology – Sydney, AU) [dblp]
  • Luis Maria Ferrer Fioriti (Universität des Saarlandes, DE) [dblp]
  • Cédric Fournet (Microsoft Research UK – Cambridge, GB) [dblp]
  • Cameron Freer (MIT – Cambridge, US) [dblp]
  • Marco Gaboardi (University of Dundee, GB) [dblp]
  • Andrew D. Gordon (Microsoft Research UK – Cambridge, GB) [dblp]
  • Friedrich Gretz (RWTH Aachen, DE) [dblp]
  • Johannes Hölzl (TU München, DE) [dblp]
  • Chung-Kil Hur (Seoul National University, KR) [dblp]
  • Benjamin Kaminski (RWTH Aachen, DE) [dblp]
  • Joost-Pieter Katoen (RWTH Aachen, DE) [dblp]
  • Stefan Kiefer (University of Oxford, GB) [dblp]
  • Angelika Kimmig (KU Leuven, BE) [dblp]
  • Boris Köpf (IMDEA Software – Madrid, ES) [dblp]
  • Pasquale Malacaria (Queen Mary University of London, GB) [dblp]
  • Vikash Mansinghka (MIT – Cambridge, US) [dblp]
  • Piotr Mardziel (University of Maryland – College Park, US) [dblp]
  • Annabelle McIver (Macquarie University – Sydney, AU) [dblp]
  • Joel Ouaknine (University of Oxford, GB) [dblp]
  • Catuscia Palamidessi (INRIA Saclay – Île-de-France, FR) [dblp]
  • David Parker (University of Birmingham, GB) [dblp]
  • Avi Pfeffer (Charles River Analytics – Cambridge, US) [dblp]
  • Tahiry Rabehaja (Macquarie University – Sydney, AU) [dblp]
  • Sriram K. Rajamani (Microsoft Research India – Bangalore, IN) [dblp]
  • Norman Ramsey (Tufts University – Medford, US) [dblp]
  • Chung-chieh Shan (Indiana University – Bloomington, US) [dblp]
  • Alexandra Silva (Radboud University Nijmegen, NL) [dblp]
  • Sameer Singh (University of Washington – Seattle, US) [dblp]
  • Geoffrey Smith (Florida International University – Miami, US) [dblp]
  • Andreas Stuhlmüller (MIT – Cambridge, US & Stanford University, US) [dblp]
  • Frank Wood (University of Oxford, GB) [dblp]
  • Mingsheng Ying (University of Technology – Sydney, AU) [dblp]
  • Lijun Zhang (Chinese Academy of Sciences, CN) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner