News and Events
Tobias Kaminski has obtained the Best Thesis Award of EMCL for the best master thesis in 2014. The two other candidates were Enrique Matos Alfonso and Andreas Fellner.
KI 2015 is the 38th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology. The conference includes many workshops, a doctoral consortium, and is organized by members of the international center of computational logic (iccl.tu-dresden.de).
More details can be found at http://tu-dresden.de/inf/ki2015
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.
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.
This 4 minute video gives an impression about the City of Dresden.