About
SearchNews and Events
Grants available for students of the European Master's Program in Computational Logic.
There will be a limited number of small scholarships amounting to 200 EUR per month available for students of the European Master's Program in Computational Logic. Application deadline is 31 May 2012.
Application for the International MSc Program in Computational Logic and the European Master's Program in Computational Logic
Application deadline for the International MSc Program in Computational Logic and the European Master's Program in Computational Logic is 31 May 2012. The applications must be uploaded via the related online applications systems.
DFG Research Training Group "Quantitative Logics and Automata"
The DFG Research Training Group GRK 1763 “Quantitative Logics and Automata” offers 10 Doctoral Scholarships!
This training group is run by several professors from the TU Dresden and the University of Leipzig headed by Prof. Franz Baader.
DEADLINE for applications is on 15 June 2012.
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.