Chambéry-Krakow-Lyon Workshop

on

Computational logic and Applications.

Laboratoire de mathématiques

Université de Savoie, Le Bourget du lac