Event Timeslots (5)
Saturday
-
Languages and Applications (chair: Fabio Fioravanti)
Saturday
-
Temporal reasoning (chair: Federico Chesani)
Friday
-
Foundations (chair: Marianna Nicolosi-Asmundo)
Friday
-
Verification and Validation (chair: Laura Giordano)
Friday
-
Description logics (chair: Diego Calvanese)