February 3 – 8 , 2008, Dagstuhl Seminar 08061
Last update: January 27 2011

Types, Logics and Semantics for State

Participants

  • Umut A. Acar (Toyota Technological Institute – Chicago, US)
  • Amal Ahmed (TTIC – Chicago, US)
  • Gilles Barthe (Technical University of Madrid, ES)
  • Nick Benton (Microsoft Research UK – Cambridge, GB)
  • Joshua Berdine (Microsoft Research UK – Cambridge, GB)
  • Lennart Beringer (LMU München, DE)
  • Lars Birkedal (IT University of Copenhagen, DK)
  • Edwin Brady (University of St. Andrews, GB)
  • Arthur Chargueraud (INRIA – Le Chesnay, FR)
  • Ernie Cohen (Microsoft Corp. – Redmond, US)
  • Sophia Drossopoulou (Imperial College London, GB)
  • Matthew Fluet (TTIC – Chicago, US)
  • Martin Hofmann (LMU München, DE)
  • Kohei Honda (Queen Mary University of London, GB)
  • Steffen Jost (University of St. Andrews, GB)
  • Andrew Kennedy (Microsoft Research UK – Cambridge, GB)
  • Vasileios Koutavas (Trinity College Dublin, IE)
  • Jörg Kreiker (TU München, DE)
  • Neel Krishnaswami (Carnegie Mellon University – Pittsburgh, US)
  • Soeren Lassen (Google Inc. – Mountain View, US)
  • Gary T. Leavens (University of Central Florida – Orlando, US)
  • Roman Manevich (UCLA, US)
  • Aleksandar Nanevski (Harvard University, US)
  • David A. Naumann (Stevens Institute of Technology, US)
  • Peter O'Hearn (Queen Mary University of London, GB)
  • Matthew Parkinson (University of Cambridge, GB)
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE)
  • Francois Pottier (INRIA – Le Chesnay, FR)
  • Thomas W. Reps (University of Wisconsin – Madison, US)
  • Bernhard Reus (University of Sussex – Brighton, GB)
  • John C. Reynolds (Carnegie Mellon University, US)
  • Noam Rinetzky (Queen Mary University of London, GB)
  • Andreas Rossberg (MPI-SWS – Saarbrücken, DE)
  • Mooly Sagiv (Tel Aviv University, IL)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Wolfram Schulte (Microsoft Research – Redmond, US)
  • Jan Schwinghammer (Saarland University, DE)
  • Zhong Shao (Yale University, US)
  • Ian Stark (University of Edinburgh, GB)
  • Hayo Thielecke (University of Birmingham, GB)
  • David Walker (Princeton University, US)
  • Eran Yahav (IBM TJ Watson Research Center – Hawthorne, US)
  • Hongseok Yang (Queen Mary University of London, GB)
  • Greta Yorsh (IBM TJ Watson Research Center – Yorktown Heights, US)
  • Nobuko Yoshida (Imperial College London, GB)