Previous Events
- Luxembourg (Luxembourg) 2024
- Munich (Germany) 2022
- Dublin (Ireland) 2020
- Thessaloniki (Greece) 2018
- Eindhoven (Netherlands) 2016
- Grenoble (France) 2014
- Tallinn (Estonia) 2012
- Paphos (Cyprus) 2010
- Budapest (Hungary) 2008
- Vienna (Austria) 2006
- Barcelona (Spain) 2004
- Pisa (Italy) 2002
- Kanazawa (Japan) 2000
- Pont-a-Mousson (France) 1998
- Asilomar (USA) 1996
Previous Proceedings
- 2024 vol. 14953 LNCS
- 2022 vol. 13252 LNCS
- 2020 vol. 12328 LNCS
- 2018 vol. 11152 LNCS
- 2016 vol. 9942 LNCS
- 2014 vol. 8663 LNCS
- 2012 vol. 7571 LNCS
- 2010 vol. 6381 LNCS
- 2008 vol. 238 ENTCS
- 2006 vol. 176 ENTCS
- 2004 vol. 117 ENTCS
- 2002 vol. 71 ENTCS
- 2000 vol. 36 ENTCS
- 1998 vol. 15 ENTCS
- 1996 vol. 4 ENTCS
Journal Issues
- WRLA 2020 - Journal of Logical and Algebraic Methods in Programming, 2022
- WRLA 2018 - Journal of Logical and Algebraic Methods in Programming, 2021
- WRLA 2016 - Journal of Logical and Algebraic Methods in Programming, 2019
- WRLA 2014 (Part 2) - Journal of Logical and Algebraic Methods in Programming, 2017
- WRLA 2014 (Part 1) - Journal of Logical and Algebraic Methods in Programming, 2016
- WRLA 2012 - Science of Computer Programming, 2015
- WRLA 2010 - Journal of Logical and Algebraic Programming, 2012
- WRLA 2004 - Higher-Order and Symbolic Computation, 2007
- WRLA 1996 - Theoretical Computer Science, 2002