03. – 08. Mai 2015, Dagstuhl Seminar 15191
Letzte Aktualisierung: 17. Dezember 2015

Compositional Verification Methods for Next-Generation Concurrency

Participants

  • Lennart Beringer (Princeton University, US) [dblp]
  • Lars Birkedal (Aarhus University, DK) [dblp]
  • Andrea Cerone (IMDEA Software – Madrid, ES) [dblp]
  • Adam Chlipala (MIT – Cambridge, US) [dblp]
  • Karl Crary (Carnegie Mellon University, US) [dblp]
  • Pedro Da Rocha Pinto (Imperial College London, GB) [dblp]
  • Thomas Dinsdale-Young (Aarhus University, DK) [dblp]
  • Mike Dodds (University of York, GB) [dblp]
  • Alastair F. Donaldson (Imperial College London, GB) [dblp]
  • Cezara Dragoi (IST Austria – Klosterneuburg, AT) [dblp]
  • Derek Dreyer (MPI-SWS – Saarbrücken, DE) [dblp]
  • Xinyu Feng (Univ. of Science & Technology of China – Suzhou, CN) [dblp]
  • Philippa Gardner (Imperial College London, GB) [dblp]
  • Alexey Gotsman (IMDEA Software – Madrid, ES) [dblp]
  • Aquinas Hobor (National University of Singapore, SG) [dblp]
  • Jan Hoffmann (Yale University, US) [dblp]
  • Chung-Kil Hur (Seoul National University, KR) [dblp]
  • Bart Jacobs (KU Leuven, BE) [dblp]
  • Cliff B. Jones (University of Newcastle, GB) [dblp]
  • Ralf Jung (MPI-SWS – Saarbrücken, DE) [dblp]
  • Eric Koskinen (IBM TJ Watson Research Center – Yorktown Heights, US) [dblp]
  • Neel Krishnaswami (University of Birmingham, GB) [dblp]
  • Ori Lahav (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Hongjin Liang (Univ. of Science & Technology of China – Suzhou, CN) [dblp]
  • Paul McKenney (IBM – Beaverton, US) [dblp]
  • Maged M. Michael (IBM TJ Watson Research Center – Yorktown Heights, US) [dblp]
  • Peter Müller (ETH Zürich, CH) [dblp]
  • Aleksandar Nanevski (IMDEA Software – Madrid, ES) [dblp]
  • Kyndylan Nienhuis (University of Cambridge, GB) [dblp]
  • Scott Owens (University of Kent, GB) [dblp]
  • Frank Pfenning (Carnegie Mellon University, US) [dblp]
  • Jean Pichon-Pharabod (University of Cambridge, GB) [dblp]
  • Francois Pottier (INRIA – Le Chesnay, FR) [dblp]
  • Shaz Qadeer (Microsoft Corporation – Redmond, US) [dblp]
  • Azalea Raad (Imperial College London, GB) [dblp]
  • John Reppy (University of Chicago, US) [dblp]
  • Noam Rinetzky (Tel Aviv University, IL) [dblp]
  • Claudio Russo (Microsoft Research UK – Cambridge, GB) [dblp]
  • Ilya Sergey (IMDEA Software – Madrid, ES) [dblp]
  • Peter Sewell (University of Cambridge, GB) [dblp]
  • Zhong Shao (Yale University, US) [dblp]
  • Kasper Svendsen (Aarhus University, DK) [dblp]
  • Joseph Tassarotti (Carnegie Mellon University, US) [dblp]
  • Viktor Vafeiadis (MPI-SWS – Kaiserslautern, DE) [dblp]
  • Martin Vechev (ETH Zürich, CH) [dblp]
  • Nobuko Yoshida (Imperial College London, GB) [dblp]


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