About
Study
SearchAnnouncements
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
Graduiertenkolleg approved
Prof. Franz Baader and nine of his colleagues from the TU Dresden and the University of Leipzig applied for a Graduiertenkolleg with the DFG. First the program is approved for four years and a half and it will start in fall 2012. 20 PhD students will have the possibility to work on Quantative Logics and Automata and their application in computer science on the highest level.
Summer School in Bali in 2012
The DAAD recently approved the funding of a summer school in Bali. Currently we're organizing this 4th Indonesian Summer School on Computational Logic. It shall take place at the Udayana University in Bandung, Indonesia in summer 2012. Further information is coming.
Replacement Professor for CL Group at TUD
After her guest professorship in summer semester 2011 Dr Paola Bruscoli from Bath, UK is coming again to replace the professor of the CL group at the TU Dresden for the winter semester 2011/12. She'll give the courses
* Foundations of Constraint Programming
* Foundations of Logic Programming
* Logic Programming Engineering
For more information, please see the web pages of the study course.
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.
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.