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.
- Versailles-Lyon-Krakow Workshop on Computational Logic and Applications, June 5-6, 2008.
- Workshop Chambery-Grenoble-Krakow-Lyon on Computational Logic and Applications 4-5-6 June 2009 ENS de Lyon, France
