29. November – 04. Dezember 2015, Dagstuhl-Seminar 15491
Letzte Aktualisierung: 07. April 2016
Approximate and Probabilistic Computing: Design, Coding, Verification
Teilnehmer
- 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 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