Invited Speakers

• Alessandro Artale (Free University of Bozen-Bolzano, Italy)
  Ontology-Mediated Query Answering over Temporal Data: A Survey
  
  
• Javier Esparza (Technical University of Munich, Germany)
  Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets
  
  
• Sheila McIlraith (University of Toronto, Canada)
  Plan and Program Synthesis: A new look at some old problems