About
SearchNews 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.
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.