29. November – 04. Dezember 2015, Dagstuhl Seminar 15491
Letzte Aktualisierung: 07. April 2016

Approximate and Probabilistic Computing: Design, Coding, Verification

Participants

  • Sara Achour (MIT – Cambridge, US) [dblp]
  • David Bindel (Cornell University, US) [dblp]
  • Mateus Araújo Borges (Universität Stuttgart, DE) [dblp]
  • James Bornholt (University of Washington – Seattle, US) [dblp]
  • Luca Bortolussi (University of Trieste, IT) [dblp]
  • TomᚠBrázdil (Masaryk University – Brno, CZ) [dblp]
  • Andreas Peter Burg (EPFL – Lausanne, CH) [dblp]
  • Luis Ceze (University of Washington – Seattle, US) [dblp]
  • Eva Darulova (MPI-SWS – Saarbrücken, DE) [dblp]
  • Alessandra Di Pierro (University of Verona, IT) [dblp]
  • Luis Maria Ferrer Fioriti (Universität des Saarlandes, DE) [dblp]
  • Antonio Filieri (Imperial College London, GB) [dblp]
  • Jaco Geldenhuys (University of Stellenbosch, ZA) [dblp]
  • Andreas Gerstlauer (University of Texas – Austin, US) [dblp]
  • Lars Grunske (HU Berlin, DE) [dblp]
  • Jane Hillston (University of Edinburgh, GB) [dblp]
  • Ulya R. Karpuzcu (University of Minnesota – Minneapolis, US) [dblp]
  • Joost-Pieter Katoen (RWTH Aachen, DE) [dblp]
  • Marta Kwiatkowska (University of Oxford, GB) [dblp]
  • Rupak Majumdar (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Dimitrios Milios (University of Edinburgh, GB) [dblp]
  • Sasa Misailovic (MIT – Cambridge, US) [dblp]
  • Subhasish Mitra (Stanford University, US) [dblp]
  • Todd Mytkowicz (Microsoft Corporation – Redmond, US) [dblp]
  • Ravi Nair (IBM TJ Watson Research Center – Yorktown Heights, US) [dblp]
  • Karthik Pattabiraman (University of British Columbia – Vancouver, CA) [dblp]
  • Adrian Sampson (University of Washington – Seattle, US) [dblp]
  • Karin Strauss (Microsoft Corporation – Redmond, US) [dblp]
  • Willem Visser (Stellenbosch University – Matieland, ZA) [dblp]
  • Herbert Wiklicky (Imperial College London, GB) [dblp]


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