Skip to main content

News articles

THIRD INTERNATIONAL SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011, Bertinoro, Italy, April 10-15, 2011

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.

1st AI*IA Doctoral Student Consortium

Colocated with the 10th Symposium of the Italian Association for the Artificial Intelligence.

Syndicate content