European Master's Program in Computational Logic


EMCL Student Workshop Summer 2010

This student workshop will be held in Dresden, Germany on 9/10 September 2010. It is organized by the International Center of Computational Logic (ICCL).

The workshop is co-located with the ICCL Summer School 2010 on Cognitive Science, Computational Logic and Connectionism. Those, who'd like to participate in both events, please note that there is no overlap of summer school courses and workshop presentations.

For questions related to the workshop, please contact .


To participate in the EMCL Summer Workshop 2010, you are required to apply for the ICCL Summer School 2010. Please register online by 30 June 2010. In the section asking your motivation to attend the summer school, please mention the EMCL Student Workshop.

Participation Fee

The participation fee of the summer school is 200 EUR, but

  • Current EMCL students have to pay the participation fee. However, it will be refunded, if you give a short note to Sylvia Wünsch or Julia Koppenhagen.
    (Please note that the usual grants offered by EMCL for attending summer schools will not be effected by this refund. Hence, you may still receive 500 EUR from EMCL for attending yet another summer school.)
  • For former EMCL students the participation fee will be waived, in case of participation only in the student workshop.

Workshop Presentations

The participants are encouraged to give presentations. Please send your offers in an e-mail to by 30 June 2010. The mail should give your name, title as well as an abstract of 150 to 200 words of your presentation.

The accepted presentations are shown below.

Workshop Program


Time Wednesday, 8 Sept. Thursday, 9 Sept. Friday, 10 Sept.
09.30 - 10.30 Summer School Summer School Summer School
11.00 - 12.00 Summer School Summer School Summer School
Lunch Break
13.30 - 14.00 Summer School Summer School Presentation 3
14.00 - 14.30 Presentation 4
14.30 - 15.00 Coffee Break Coffee Break Presentation 5
15.00 - 15.30 Summer School Summer School
15.30 - 16.00
16.30 - 17.00 Summer School Presentation 1 Social Activity
17.00 - 17.30 Presentation 2 Social Activity
Evening Social Activity Social Activity Social Activity

The 'Summer School' slots are occupied by courses running within the ICCL Summer School 2010.

Workshop Presentations

# 1 Dr. Rafael Peñaloza from Technische Universität Dresden (TUD) Group Introduction: Chair for Automata Theory
Abstract: The chair for automata theory is a research group headed by Prof. Franz Baader at the Technical University of Dresden. In this presentation, we provide a short introduction to the main research interests of the group and future perspective in these areas. Students, specially those interested in a project or thesis topic, may find this presentation useful.
# 2 M. Fareed Arif from Technische Universität Dresden (TUD) From Mu-Calculus to Alternating Tree Automata using Parity Games
Abstract: Mu-Calculus and automata on infinite trees are complementary ways of describing infinite tree languages. The correspondence between Mu-Calculus and alternating tree automaton is used to solve the satisfiability and model checking problems by compiling the modal Mu-Calculus formula into an alternating tree automata. Thus advocating an automaton model specially tailored for working with modal Mu-Calculus. The advantage of the automaton model is its ability to deal with arbitrary branching in a much simpler way as compare to the one proposed by Janin and Walukiewicz. Both problems (i.e., model checking and satisfiability) are solved by reduction to the corresponding problems of alternating tree automata, namely to the acceptance and the non-emptiness problems, respectively. These problems, in turn, are solved using parity games where semantics of alternating tree automata is translated to a winning strategy in an appropriate parity game.
# 3 Christian Drescher from Vienna University of Technology (TUW) Symmetry-breaking for Answer Set Programming
Abstract: In the context of answer set programming (ASP), this talk investigates symmetry-breaking to eliminate symmetric parts of the search space and, thereby, simplify the solution process. First, we will break the problem of symmetry-breaking down into two parts: identifying symmetries and breaking the identified symmetries. To identify symmetries, we propose a reduction of disjunctive logic programs to a coloured digraph such that symmetries can be constructed from the graph automorphisms. To break symmetries, we introduce symmetry-breaking constraints. Second, we formulate our techniques as a completely automated flow that (1) starts with a logic program, (2) detects all of its symmetries, (3) represents all symmetries implicitly and always with exponential compression, (4) adds symmetry-breaking constraints that do not affect the existence of answer sets, and (5) can be applied to any ASP system without changing its code, which allows for programmers to select the solvers that best fit their needs. Third, we explore symmetry-breaking for answer set programming in two domains: (a) constraint answer set programming as a novel approach to represent and solve constraint satisfaction problems, and (b), distributed nonmonotonic multi-context systems with ASP logics.
# 4 Prof. Steffen Hölldobler from Technische Universität Dresden (TUD) Knowledge Representation and Reasoning Group Introduction Presentation
Abstract: Knowledge Representation and reasoning research group is headed by Prof. Steffen Hölldobler and work in areas of research concerning Logic and Computer Science, Logic and Intelligent Agents and Logic and Connectionism. Recently, it is working tirelessly in the domain of SAT solving. This small presentation communicate an overview to the participants of workshop about the research work conducted under this group. All the EMCL students especially those interested to undertake a project or thesis work will find this introduction quite helpful.
# 5 Dr. Marcus Groesser from Technische Universität Dresden (TUD) Algebraic and Logical Foundations Group Profiling Presentation
Abstract: Model Checking is gaining popularity since last two decade and now extensively used in many famous industrial application to provide reliance and assurance of safeness in these applications. The areas of research related to the domains concerning Model Checking, Software Verification and Theorectical foundations of Informatic etc. are under investigation in the working domain of Algebraic and Logical Foundations of Computer Science research group chaired by Prof. Christel Baier. All the EMCL students especially those interested to undertake a project or thesis work will find this introduction quite helpful.

Social Activities

Wednesday, 8 Sept Thursday, 9 Sept Friday, 10 Sept
17.00 meeting at 'Albertplatz' (trams 3, 11) 18.45 meeting at Eckberg Castle 15.45 meeting at the CS faculty building
A visit to show KunsthofPassage in Neustadt Social Dinner Visit to the Asisi Panometer

'KunsthofPassage' is a colorful drain and gutter system attached to the outside of a building in Neustadt. When the rain starts to fall, it turns into charming musical instruments. The Funnel Wall is one of the strangest and most enjoyable attractions in Dresden's student district, the new town.

After visiting 'KunsthofPassage' everyone is invited to join us in a nice small cafe in the same street which is very famous for it's flavored variety of tea.

We will have the Social Dinner at Eckberg Castle together with the ICCL Summer School.

For details please see the summer school page.

The Panometer, created by the artist Yadegar Asisi, is a place where history takes on an extra dimension; the visitor himself becomes part of the exhibition, that is located in a 19th century gas storage building.

We will get to the Panometer by bus # 61, stop 'Grunaer Weg'. From there it is only a 7 minute walk.


The workshop is held at the Computer Science Faculty building of Technische Universität Dresden, Nöthnitzer Straße 46, Dresden-Räcknitz, room E010 for lectures and room E001 for coffee-breaks.

How to reach us

  • Directions
  • Annotated satellite map of Dresden-Räcknitz

Weather Information

In this period of the year, the average temperature at daytime in Dresden will be about 21 to 23 degrees. It may be windy; sometimes it rains. However, if there is a longer raining period, the maximum temperature might decrease to about 15 degrees.

Hotel Information

We prepared a list of affordable hotels including contact details here.