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
Luogo: 
DIAG Aula Magna
Descrizione

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

 

Contatto: 
Giuseppe De Giacomo