About
SearchFeatures
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.
NOTE: application deadline for the EMCL program without scholarship is 31 MAY 2008! Please apply now.
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.
News and Events
Talk
"Integrating Golog and Planning: An Empirical Evaluation" by Jens Claßen (RWTH Aachen) on Tue, 8th Jul 2008, 2.25pm in INF E05
Talk
"A Logic for Non-Terminating Golog Programs" by Jens Claßen (RWTH Aachen) on Tue, 8th Jul 2008, 1.50pm in INF E05
Talk
"Agent Logic Programs" by Conrad Drescher (TU Dresden) on Tue, 8th Jul 2008, 1.15pm in INF E05
Summer Schools 2008
There will be an ICCL Summer School taking place at the TU-Dresden from 24th August to 6th September 2008. This year's topic is "Computational Logic and Cognitive Science."
A DAAD International Summer School is taking place in Jakarta/Depok, Indonesia from 4th August to 15th August 2008 with the topic "Computational Logic and Its Applications."
Please follow the link to receive further information.
EMCL Awards
The standing committee of the Joint European Conference on Logics in Artificial Intelligence (JELIA) has accepted our pledge that the best EMCL master thesis selected each year by the EMCL joint committee will be presented at JELIA. This includes a publication in the conference proceedings.
Therefore the awarded Master thesis of María Magdalena Ortíz de la Fuente (2006) and Novak Novakovic (2007) will be presented at JELIA 2008.
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.
Announcements
Job Opportunity
Position offered for a Ph.D. Student or Post-Doc from July 1, 2008
Position's official name: Wissenschaftlicher Angestellter (scientific employee)
Please apply no later than May 18, 2008.