About
Study
SearchAnnouncements
Vortrag zum Thema "Die Gesetze des Denkens extrahiert"
Prof. Höllobler trägt am 19.06.2013, 18:30 - 20:00, im Rahmen der Ringvorlesung `Dem Gesetz auf der Spur' über
'Die Gesetze des Denkens extrahiert: Logik-basierte Modelle Menschlichen Schliessens'
vor. Die Veranstaltung findet im Hörsaal ASB 028 H statt.
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'.
German Language Course
Students from abroad have the chance to visit a German language course. Click "read more" for information regarding the courses and prices.
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'.
Open House
All students are invited to join our "open house" - an informal get together where students meet staff and teachers.
It takes place every Wednesday in the afternoon on the 2nd floor in front of the rooms 2033 and 2034.
Features
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.