March 28 – April 1 , 2016, Dagstuhl Seminar 16131
Last update: September 20 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]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner