24. – 29. August 2014, Dagstuhl Seminar 14351
Letzte Aktualisierung: 09. Dezember 2014

Decision Procedures and Abstract Interpretation

Participants

  • Aws Albarghouthi (University of Toronto, CA) [dblp]
  • Joshua Berdine (Microsoft Research UK – Cambridge, GB) [dblp]
  • Martin Brain (University of Oxford, GB) [dblp]
  • Jörg Brauer (Verified Systems International GmbH – Bremen, DE) [dblp]
  • Alessandro Cimatti (Bruno Kessler Foundation – Trento, IT) [dblp]
  • Vijay D'Silva (Google – San Francisco, US) [dblp]
  • Bruno Dutertre (SRI – Menlo Park, US) [dblp]
  • Alberto Griggio (Bruno Kessler Foundation – Trento, IT) [dblp]
  • Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Julien Henry (VERIMAG – Grenoble, FR) [dblp]
  • Jacob Howe (City University – London, GB) [dblp]
  • Daniel Kroening (University of Oxford, GB) [dblp]
  • Akash Lal (Microsoft Research India – Bangalore, IN) [dblp]
  • Antoine Miné (ENS – Paris, FR) [dblp]
  • Ruzica Piskac (Yale University, US) [dblp]
  • Blanc Regis (EPFL – Lausanne, CH)
  • Thomas W. Reps (University of Wisconsin – Madison, US) [dblp]
  • Michel Rueher (University of Nice, FR) [dblp]
  • Peter Schrammel (University of Oxford, GB) [dblp]
  • Sanjit A. Seshia (University of California – Berkeley, US) [dblp]
  • Rahul Sharma (Stanford University, US) [dblp]
  • Rohit Sinha (University of California – Berkeley, US) [dblp]
  • Aditya Thakur (University of Wisconsin – Madison, US) [dblp]
  • Charlotte Truchet (University of Nantes, FR) [dblp]
  • Thomas Wies (New York University, US) [dblp]
  • Hongseok Yang (University of Oxford, GB) [dblp]
  • Florian Zuleger (TU Wien, AT) [dblp]


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