About
SearchNews and Events
Former Master student employed in CRC "Highly Adaptive Energy-Efficient Computing"
In July the CRC HAEC was granted to TU Dresden by the German research foundation (DFG). In this CRC there are 16 chairs from Electrical Engineering, Computer Science and Mathematics involved. Among them two ICCL members are leaders of sub-projects: Prof. Christel Baier and Prof. Franz Baader.
In the sub-project of Prof Baader, Mrs Eldora is employed as a researcher since August. She completed her Masters degree in the EMCL course of studies at TU Dresden earlier this year. Her Master's thesis is on access restrictions for ontologies. Now she continues her work on Description Logics in the sub-project "Semantic Technology for Context Awareness" of the new CRC HAEC. She will investigate the use of Description Logics to recognize situations for enhancing the energy-efficiency of complex systems.
First distributed Master's thesis defense via video conferencing
On Thursday April 14 we performed for the first time within the `European Master's Program in Computational Logic' (EMCL) a distributed master's defense via video conferencing. The commission consisted of staff members from the Free University of Bozen--Bolzano (FUB) and the Technische Universität Dresden (TUD). The two students -- Evgeny Sherkhonov and Sudeep Ghimire -- gave presentations of their master theses at FUB, which were attended at TUD by staff members via video conferencing. Also the subsequent discussion of the presentations between the presenting students and the attending staff members of FUB and TUD was done via video conferencing. Such distributed defenses are an excellent opportunity to foster the mutual familiarity of the research activities with the EMCL partner universities.
Presentation on 'Career in Industry after CL' by Mikhail Roshchin
Mr Mikhail Roshchin, a former CL student at TU Dresden gave a talk during the EMCL Student Workshop 2011 on 'Career in Industry after CL' giving an insight into how CL applies with SIEMENS.
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.