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
Contatto:
Giuseppe De Giacomo
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