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