THIRD INTERNATIONAL SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011

Bertinoro, Italy, April 10-15, 2011

http://lia.deis.unibo.it/confs/iscl/

AIMS & SCOPE

Computational Logic has many applications, including the modeling of intelligent systems, verification of software, and the support of systems for solving computationally hard problems. Moreover, being founded on mathematical logic, tools based on CL are themselves amenable to safe optimization and verification techniques.