Friday

Registration
-

Keynote
-
Giuseppe De Giacomo: Reasoning and Planning for LTLf/LDLf goals (chair: Marco Montali)

Coffee break
-

Special session
-
Alberto Pettorossi: A short story of my professional life (chair: Maurizio Proietti)

Presentations
-
Foundations (chair: Marianna Nicolosi-Asmundo)

Lunch
-

Presentations
-
Verification and Validation (chair: Laura Giordano)

Coffee break
-

Presentations
-
Description logics (chair: Diego Calvanese)

GULP General meeting
-

Social dinner
-