- 2012, July 7-8, 2011, Berkeley, California, collocated with CAV 2012
- 2011, July 14, 2011, Salt lake City, Utah, collocated with CAV 2011
- 2010, July 15, 2010, Edinburgh, UK, collocated with the Federated Logic Conference FLoC 2010
- 2009, April 16, 2009, San Fransisco, California collocated with CPSWeek 2009
- 2008, July 8, 2008, Princeton, New Jersey, collocated with CAV 2008