Edinburgh 1990 |
|
Pittsburgh 1991 |
September 26-27, 1991,
Editor: Robert Harper
|
San Francisco 1992 |
June 20-21, 1992,
Workshop Chair: David MacQueen,
Program Chair: Peter Lee,
(proceedings published as CMU CS Tech Report CMU-CS-93-105)
|
Orlando 1994 |
June 25-26, 1994,
Workshop Chair: John Reppy,
Program Chair: Didier Rémy,
(proceedings published as INRIA Rapport No. 2265)
|
Baltimore 1998 |
September 26, 1998,
Chairs: Xavier Leroy, David MacQueen
|
Tallinn 2005 |
Workshop Chair: Matthias Blume,
Program Chairs: Nick Benton, Xavier Leroy,
Proceedings (ENTCS/ScienceDirect)
Stats:
number of submissions: 21,
number of accepted papers: 10,
number of attendees: 57
|
Portland 2006 |
Chairs: Andrew Kennedy, François Pottier,
Proceedings (ACM DL)
Stats:
number of submissions: 17,
number of accepted papers: 9,
number of attendees: 60 (approx)
|
Freiburg 2007 |
Workshop Chair: Claudio Russo,
Program Chair: Derek Dreyer,
Proceedings (ACM DL)
Stats:
number of submissions: 16,
number of accepted papers: 9,
number of attendees: 41
|
Victoria 2008 |
Program Chair: Eijiro Sumii,
Proceedings (ACM DL)
Stats:
number of submissions: 13,
number of accepted papers: 9,
number of attendees: 61
|
Edinburgh 2009 |
Program Chair: Andreas Rossberg,
Proceedings (ACM DL)
Stats:
number of submissions: 22,
number of accepted presentations: 12,
number of attendees: 50+
|
Baltimore 2010 |
Program Chair: Matthew Fluet
Stats:
number of submissions: 14,
number of accepted presentations: 10,
number of attendees: 60+
|
Tokyo 2011 |
Program Chair: Chung-chieh Shan
Stats:
number of submissions: 11,
number of accepted presentations: 9,
number of attendees: 65
|
Copenhagen 2012 |
Program Chair: Alain Frisch
Stats:
number of submissions: 16,
number of accepted presentations: 11,
number of attendees: 75+
|
Boston 2013 |
Program Chair: Daan Leijen
Stats:
number of submissions: 6,
number of accepted presentations: 5,
number of attendees: 35+
|
Gothenburg 2014 |
Program Chair: Oleg Kiselyov
Stats: number of submissions: 16, number of accepted presentations: 12, number of attendees: 61 |
Vancouver 2015 |
Program Chair: Jeremy Yallop
Stats: number of submissions: 12, number of accepted presentations: 9, number of attendees: 66 |
Nara 2016 |
Program Chair: Kenichi Asai
Stats: number of submissions: 13, number of accepted presentations: 12, number of attendees: 86 |
Oxford 2017
|
Program Chair: Sam Lindley
Stats: number of submissions: 10, number of accepted presentations: 11, number of attendees: 100+
|
St Louis 2018
|
Program Chair: Gabriel Scherer
|
Berlin 2019 | Program Chair: KC Sivaramakrishnan Stats: number of submissions: 8, number of accepted presentations: 11, number of attendees: 70+ |