Best Thesis Award talks

Marco Gario: Backdoors for SAT [slides]
Giorgio Stefanoni: Explaining Query Answers in Lightweight Ontologies [slides]
Evgeny Sherkhonov: Reaching definability via Abduction [slides]

TUW presentation

Alexander Leitsch: Logic in Vienna [slides]
Reinhard Pichler: Database and Artificial Intelligence Group (DBAI) [slides]
Thomas Eiter: EMCL @ Institute of Information Systems [slides]
Hans Tompits: Towards Programming Support Methods for Answer-Set Programs [slides]

UNL presentation

Joao Leite: Knowledge Representation and Reasoning @ UNL [slides]

Student Talks 1

Sergey Paramonov: A Logical Approach to Query Completeness [slides]
Xichuan Wu: Translating Natural Language [slides]
Marco Gario: Life during and (shortly) after the EMCL [slides]

Student Talks 2

Ronald de Haan: The RegularGcc Matrix Constraint [slides]
Gil Vegliach: Runtime verification meets Android security [slides]
Alina Petrova: Textual Entailment [slides]