Presentations
9:10 am - 10:30 am
Languages and Applications (chair: Fabio Fioravanti)

Coffee break
10:30 am - 11:00 am

Presentations
11:00 am - 12:20 pm
Temporal reasoning (chair: Federico Chesani)