You can find the details of the events below the schedule.

View the above in a larger calendar. Add this calendar as ics or as xml.

Best Thesis Award talks

are presentations of three nominees for the Best Thesis Award 2011. For more informations see the Best Thesis page.

UNL presentation

is a presentation of Universidade Nova de Lisboa by its professors Joao Leite and Pedro Barahona. The presentation will introduce the university and provide most important information about studies and research.

TUW presentation

is a presentation of Technische Universität Wien during which a general introduction of the Computational Logic at TUW will be given by professor Alexander Leitsch, and then a taste of research groups and project will be given by professors Reinhard Pichler, Thomas Eiter and Hans Tompits.

Questions and Answers (Q&A)

EMCL coordinators will try to answer whatever question about EMCL you might have.

Student Talks 1

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

Student Talks 2

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