About
SearchAnnouncements
Application for the European Master's Program in CL
The online application system will be opened on 20 March. Applications for the European Master's Program in Computational Logic are possible until 31 May 2013.
For more information on how to apply, please click 'Read more'.
Application for the International MSc Program in CL
The online application system has been opened. Applications for the International MSc Program in Computational Logic are possible until 31st May 2013.
For more information on how to apply, please click 'Read more'.
News and Events
EMCL Best Thesis Award 2012
Ronald de Haan has obtained the Best Thesis Award of EMCL for the best master thesis in 2012. The two other candidates were Oliver Fernandez Gil and Martin Aleksandrov.
EMCL Student Wins Award
We proudly inform that Mr Ronald de Haan, a former EMCL student, he is the winner of the Distinguished Young Alumnus Award at the Faculty of Informatics at the TUW for WS 2012/13. Further information and pictures can be found under the Link.
DFG Research Training Group QuantLA has started!
The DFG research training school "Quantitative Logics and Automata" (QuantLA) started this October. 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.
Best-Student-Paper Award at ECAI 2012
Two former CL Students - Victor Gutierrez-Basulto and Jean Christoph Jung - together with Carsten Lutz - obtained the Best-Student-Paper Award for their paper 'Complexity of Branching Temporal Description Logics'.
The paper 'ExpExpExplosion: Uniform Interpolation in General EL Terminologies' by Sebastian Rudolph -- a former student in a research training group at TUD - together with Nadeschda Nikitina was short-listed for the Best-Paper-Award.
The paper 'LoCo - A Logic for Configuration Problems' by the former CL student Conrad Drescher -- together with Markus Aschinger and Heribert Vollmer was accepted as long paper.
Student's SAT Solver Ranked 3rd in Competition
Since 2007 there is an annual international competition for SAT solvers whose purpose is to rank solvers and to compare developments in SAT solving on a common benchmark. Multiple tracks guarantee that specialized solvers will compete on instances they are developed for.
In this year's competition - SC 2012 - the stochastic local search (SLS) solver "ssa" by Robert Stelzmann - his master thesis work in Computer Science - was ranked 3rd in the `Main Track: Random SAT' among this year's single engine SLS solvers, which is a very good result for a solver that was developed within one year.
For more information on SC 2012 click 'Read more'.
Features
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.
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.
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.
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.
Video About the City of Dresden
This 4 minute video gives an impression about the City of Dresden.