Program Committee

• Nick Benton (Microsoft Research)
• Adam Chlipala (Program Co-Chair, MIT)
• Nils Anders Danielsson (Chalmers University)
• Elsa Gunter (University of Illinois, Urbana-Champaign)
• Daniel R. Licata (Carnegie Mellon University)
• Dale Miller (INRIA)
• Frank Pfenning (Carnegie Mellon University)
• Carsten Schürmann (Program Co-Chair, IT University of Copenhagen)
• Matthieu Sozeau (INRIA)

Steering Committee

• Andreas Abel (Chair, LMU)
• Karl Crary (Carnegie Mellon University)
• Amy Felty (University of Ottawa)
• Marino Miculan (University of Udine)
• Michael Norrish (NICTA)
• Brigitte Pientka (McGill University)
• Carsten Schürmann (IT University of Copenhagen)