About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

News and Events

EMCL Application Portal Opened

The EMCL online application portal opens on 15 November 2014. Applications for the admission to the program is possible until 31 January 2015. A limited number of Erasmus+ scholarships is available.
NEW: Monthly scholarships up to 1000 EUR (plus additional funds) are available for students who come from the member states of the EUROPEAN UNION.

EMCL Distinguished Alumni Award 2014

Maria Magdalena Ortiz de la Fuente received the EMCL Distinguished Alumni Award 2014 for her outstanding contributions to the field of Computational Logic. She was elected by the Free University of Bozen-Bolzano, the Technische Universitšt Dresden, the Universidade Nova de Lisboa and the Technische Universitšt Wien. The award was giving during the Vienna Summer of Logic Award Ceremony on July, 21, 2014.

DFG Research Training Group QuantLA

The DFG research training school "Quantitative Logics and Automata" (QuantLA) started in October 2012. This research school is a joint project of Technische Universität Dresden and Universität Leipzig.

One of the new Ph.D. students in QuantLA is the former EMCL master student Oliver Fernandez Gil. He has presented the results of his Master's thesis on "Hybrid Unification in the Description Logic EL" recently and starts now his Ph.D. project in the research training school at Universität Leipzig under the supervision of Prof. Gerd Brewka and Prof. Franz Baader.

[ Read more ... ]


Welcome to the ICCL

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Logic, and Formal Methods in Computer Science.

[ Read more ... ]

The European Master's Program in CL (EMCL)

You may apply for the European Master's Program in Computational Logic (EMCL), which requires that you spend one academic year at each of two universities. Scholarships are available.

[ Read more ... ]

The International MSc in CL (MCL)

We offer the International MSc Program in Computational Logic (MCL). The ultimate goal of the program is that the best students study with the best experts in the field. It is also a part of the European Master's Program in CL.

[ Read more ... ]

Short TV Feature

We present a video about Wiratna Sari Wiguna, a Computational Logic student. She speaks about her motivation of selecting the course and her experiences of studying in Dresden.

[ Read more ... ]

Video About the City of Dresden

This 4 minute video gives an impression about the City of Dresden.

[ Read more ... ]