You can find the details of the events below the schedule.
Best Thesis Award talks
are presentations of three nominees for the Best Thesis Award 2011. For more informations see the Best Thesis page.
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.
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.