Workshop on Logic in CS and AI, Dec 9, 2014, 14:20, DIAG Aula Magna

Data dell'evento: 
Tuesday, 9 December, 2014 - 14:00 to 19:00
DIAG Aula Magna

Dear all,

On Dec 9, 2014 from 14:20 to 19:00 in Aula Magna we will held a workshop on Logic in CS and AI with 3 important invited talk by Franz Baader (Dresden University), Hector Levesque 
 (University of Toronto)  and Moshe Vardi (Rice University) who will be guest of our department. Coffee and aperitif will be offered. 

Here is the current schedule of the workshop.
Workshop on Logic in CS and AI
14:20-14:30 Intro

14:30-15:15: Hector Levesque - On the Science of AI

15:15-16:00: Franz Baader - A Description Logic Journey
16:00-16:20: Coffee break
16:20-17:05: Moshe Vardi  - A Logical Revolution
17:05-18:00: Discussion
18:00 - 18:30: Closing
18:30 - 19:00: Aperitif


Giuseppe De Giacomo