June 19 – 24 , 2005, Dagstuhl Seminar 05251

Types for Tools: Applications of Type Theoretic Techniques

Participants

  • Uwe Aßmann (TU Dresden, DE)
  • Rastislav Bodik (University of California – Berkeley, US)
  • John T. Boyland (Univ. Wisconsin – Milwaukee, US)
  • Brian Demsky (MIT – Cambridge, US)
  • Sophia Drossopoulou (Imperial College London, GB)
  • Manuel A. Fähndrich (Microsoft Research – Redmond, US)
  • Cormac Flanagan (University of California – Santa Cruz, US)
  • Robert Fuhrer (IBM TJ Watson Research Center – Hawthorne, US)
  • John Hatcliff (Kansas State University, US)
  • Görel Hedin (Lund University, SE)
  • Fritz Henglein (University of Copenhagen, DK)
  • Martin Hofmann (LMU München, DE)
  • Atsushi Igarashi (Kyoto University, JP)
  • Jaakko Järvi (Texas A&M University – College Station, US)
  • Suresh Jagannathan (Purdue University – West Lafayette, US)
  • Adam Kiezun (MIT – Cambridge, US)
  • Shriram Krishnamurthi (Brown University – Providence, US)
  • Julia Lawall (University of Copenhagen, DK)
  • Anne-Francoise Le Meur (University of Lille I, FR)
  • Gary T. Leavens (Iowa State University, US)
  • Todd Millstein (UCLA, US)
  • Anders Møller (Aarhus University, DK)
  • Oscar M. Nierstrasz (Universität Bern, CH)
  • James Noble (University of Wellington, NZ)
  • Martin Odersky (EPFL – Lausanne, CH)
  • Arnd Poetzsch-Heffter (TU Kaiserslautern, DE)
  • Francois Pottier (INRIA – Le Chesnay, FR)
  • Mukund Raghavachari (IBM TJ Watson Research Center – Yorktown Heights, US)
  • Jakob Rehof (Microsoft Research – Redmond, US)
  • Noam Rinetzky (Tel Aviv University, IL)
  • Barbara G. Ryder (Rutgers University – Piscataway, US)
  • Jan Schäfer (TU Kaiserslautern, DE)
  • Peter Sewell (University of Cambridge, GB)
  • Gregor Snelting (Universität Passau, DE)
  • Peter Thiemann (Universität Freiburg, DE)
  • Frank Tip (IBM TJ Watson Research Center – Hawthorne, US)
  • Mandana Vaziri (IBM TJ Watson Research Center – Yorktown Heights, US)
  • Jan Vitek (Purdue University – West Lafayette, US)
  • Christoph von Praun (IBM TJ Watson Research Center – Yorktown Heights, US)
  • David Walker (Princeton University, US)