Chambéry-Krakow-Lyon Workshop

on

Computational logic and Applications.

Laboratoire de mathématiques

Université de Savoie, Le Bourget du lac

• To reach the place
  
  
• The program

• The slides of the talks
  
• D Gardy
• S Leroux 
• J Duprat 
• R David
• K. Saber
• B. Bosek
• P. Broniek
• I.Cieslik
• J. Kozik
• P. Micek
• M. Zaionc


• The photos of the speakers