Skip to main content

News articles

The e-Policy project started!!!

The e-Policy project started, official the 1st of October, 2011.

You can find information, officail project slides, and much more on the e-Policy web site:

http://www.epolicy-project.eu/

e-POLICY project

The web site of the e-POLICY project (Engineering the POlicy making LIfe CYcle) will be available soon.
 

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