28. März – 01. April 2016, Dagstuhl Seminar 16131
Letzte Aktualisierung: 20. September 2016

Language Based Verification Tools for Functional Programs

Participants

  • Andreas Martin Abel (Chalmers UT – Göteborg, SE) [dblp]
  • Amal Ahmed (Northeastern University – Boston, US) [dblp]
  • Andrew W. Appel (Princeton University, US) [dblp]
  • Lennart Augustsson (Standard Chartered Bank – London, GB) [dblp]
  • Edwin Brady (University of St. Andrews, GB) [dblp]
  • Iavor Diatchki (Galois – Portland, US) [dblp]
  • Richard A. Eisenberg (University of Pennsylvania – Philadelphia, US) [dblp]
  • Jean-Christophe Filliâtre (CNRS & University Paris Sud, FR) [dblp]
  • Cormac Flanagan (University of California – Santa Cruz, US) [dblp]
  • Marco Gaboardi (SUNY – Buffalo, US) [dblp]
  • Deepak Garg (MPI-SWS – Saarbrücken, DE) [dblp]
  • Michael Greenberg (Pomona College – Claremont, US) [dblp]
  • Reiner Hähnle (TU Darmstadt, DE) [dblp]
  • Catalin Hritcu (INRIA – Paris, FR) [dblp]
  • Suresh Jagannathan (Purdue University – West Lafayette, US) [dblp]
  • Ranjit Jhala (University of California – San Diego, US) [dblp]
  • Gowtham Kaki (Purdue University – West Lafayette, US) [dblp]
  • Gabriele Keller (UNSW – Sydney, AU) [dblp]
  • Naoki Kobayashi (University of Tokyo, JP) [dblp]
  • Ekaterina Komendantskaya (University of Dundee, GB) [dblp]
  • Martin Lange (Universität Kassel, DE) [dblp]
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US) [dblp]
  • Conor McBride (University of Strathclyde – Glasgow, GB) [dblp]
  • Jan Midtgaard (Technical University of Denmark – Lyngby, DK) [dblp]
  • Chih-Hao Luke Ong (University of Oxford, GB) [dblp]
  • Dominic Orchard (University of Cambridge, GB) [dblp]
  • Brigitte Pientka (McGill University – Montreal, CA) [dblp]
  • Ruzica Piskac (Yale University, US) [dblp]
  • Nadia Polikarpova (MIT – Cambridge, US) [dblp]
  • Scott Smith (Johns Hopkins University – Baltimore, US) [dblp]
  • Matthieu Sozeau (University Paris-Diderot, FR) [dblp]
  • Wouter Swierstra (Utrecht University, NL) [dblp]
  • Tachio Terauchi (JAIST – Ishikawa, JP) [dblp]
  • Sam Tobin-Hochstadt (Indiana University – Bloomington, US) [dblp]
  • Hiroshi Unno (University of Tsukuba, JP) [dblp]
  • David Van Horn (University of Maryland – College Park, US) [dblp]
  • Niki Vazou (University of California – San Diego, US) [dblp]
  • Stephanie Weirich (University of Pennsylvania – Philadelphia, US) [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