Previous workshops:
- Chambery-Krakow-Lyon Workshop on lambda-calculus, type theory and mathematical logic , Krakow June 27, June 29, 2002,
- Chambery-Krakow-Lyon Workshop on Computational Logic and Applications, Lyon, June 17-18, 2004,
- Chambery-Krakow-Lyon Workshop on Computational Logic and Applications, Chambery, June 20-21, 2005,
- Versailles-Lyon-Krakow Workshop on Computational Logic and Applications, September 24-25, 2007.
