| 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
|
|
