August 29 – September 3 , 2010, Dagstuhl Seminar 10351
Last update: November 17 2011

Modelling, Controlling and Reasoning About State

Participants

  • Amal Ahmed (Indiana University – Bloomington, US)
  • Robert Atkey (University of Strathclyde, GB)
  • Nick Benton (Microsoft Research UK – Cambridge, GB)
  • Lennart Beringer (Princeton University, US)
  • Lars Birkedal (IT University of Copenhagen, DK)
  • Brian Campbell (University of Edinburgh, GB)
  • Arthur Chargueraud (INRIA – Le Chesnay, FR)
  • Adam Chlipala (Harvard University – Cambridge, US)
  • Robert Dockins (Princeton University, US)
  • Derek Dreyer (MPI-SWS – Saarbrücken, DE)
  • Philippa Gardner (Imperial College London, GB)
  • Aquinas Hobor (National University of Singapore, SG)
  • Martin Hofmann (LMU München, DE)
  • Chung-Kil Hur (University Paris-Diderot, FR)
  • Steffen Jost (University of St. Andrews, GB)
  • Andrew Kennedy (Microsoft Research UK – Cambridge, GB)
  • Vasileios Koutavas (Trinity College Dublin, IE)
  • Neel Krishnaswami (Microsoft Research UK – Cambridge, GB)
  • Paul Blain Levy (University of Birmingham, GB)
  • Paul-Andre Mellies (University Paris-Diderot, FR)
  • Rasmus Ejlers Mogelberg (IT University of Copenhagen, DK)
  • Andrzej Murawski (University of Oxford, GB)
  • Aleksandar Nanevski (Technical University of Madrid, ES)
  • Georg Neis (MPI-SWS – Saarbrücken, DE)
  • Chih-Hao Luke Ong (University of Oxford, GB)
  • Andrew M. Pitts (University of Cambridge, GB)
  • Francois Pottier (INRIA – Le Chesnay, FR)
  • Uday Reddy (University of Birmingham, GB)
  • Bernhard Reus (University of Sussex – Brighton, GB)
  • Noam Rinetzky (Queen Mary University of London, GB)
  • Dulma Rodriguez (LMU München, DE)
  • Andreas Rossberg (MPI-SWS – Saarbrücken, DE)
  • Jan Schwinghammer (Universität des Saarlandes, DE)
  • Zhong Shao (Yale University, US)
  • Ian Stark (University of Edinburgh, GB)
  • Sam Staton (University of Cambridge, GB)
  • Eijiro Sumii (Tohoku University – Sendai, JP)
  • Kasper Svendsen (IT University of Copenhagen, DK)
  • Nicolas Tabareau (Ecole des Mines de Nantes, FR)
  • Jacob Thamsborg (IT University of Copenhagen, DK)
  • Hayo Thielecke (University of Birmingham, GB)
  • Nikos Tzevelekos (University of Oxford, GB)
  • David Walker (Princeton University, US)
  • Hongseok Yang (Queen Mary University of London, GB)