CSL 2008 (2008 Bertinoro, Italy)

• Computer science logic