Workshop on Logic in CS and AI, Dec 9, 2014, 14:20, DIAG Aula Magna
Martedì, 9 December, 2014 - 14:00 to 19:00
DIAG Aula Magna
Giuseppe De Giacomo
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: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
18:00 - 18:30: Closing
18:30 - 19:00: Aperitif