Skip to main content

News articles by federico.chesani@unibo.it

Paola Mello has been nominated EurAI Fellow 2017

Full Professor Paola Mello has been nominated EurAI  Fellow 2017. Al the research group compliments her!!!

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/

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