with links to proceedings and (when available) to special editions of journals:
- 1996 Asilomar (USA) ENTCS 4 Theoretical Computer Science Volume 285, Issue 2
- 1998 Pont-a-Mousson (France) ENTCS 15
- 2000 Kanazawa (Japan) ENTCS 36
- 2002 Pisa (Italy) ENTCS 71
- 2004 Barcelona (Spain) ENTCS 117 Higher-Order and Symbolic Computation Volume 2 Issues 1-2
- 2006 Vienna (Austria) ENTCS 176
- 2008 Budapest (Hungary) ENTCS 238
- 2010 Paphos (Cyprus) LNCS 6381 Journal of Logic and Algebraic Programming Volume 81, Issues 7–8
- 2012 Tallinn (Estonia) LNCS 7571 Science of Computer Programming Volume 99
- 2014 Grenoble (France) LNCS 8663 Journal of Logical and Algebraic Methods in Programming, Volume 85, Number 1, Part 1, 2016
- 2016 Eindhoven (The Netherlands) LNCS 9942 Journal of Logical and Algebraic Methods in Programming (papers currently under review)
