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
Paper at FLoC Workshop
Norbert Manthey presented his paper on 'Towards Improving the Resource Usage of SAT solvers' at the 'Pragmatics of SAT' workshop. This paper was written in cooperation with Ari Saptawijaya from TU Dresden, Germany.
Short abstract: The paper presents our work on cache analysis of SATsolving. The aim is to study how resources are utilized by a SAT solver and to use this knowledge to improve the resource usage in SAT-solving. The analysis is performed mainly on our CDCL-based SAT solver and additionally on MiniSAT and PrecoSAT. The measurement is conducted using sample-based pro.
Visit of PhD student
Currently Ms Jing Huang, a teacher from Jilin University, China is guest at the ICCL for one month. She has come within the project 'Bridging the Gap' to improve her work.
Qualification for SAT-Race 2010
One of our students, Norbert Manthey, succeeded qualifying for the SAT-Race 2010. With his SAT-Solver 'riss' he is in the final round. The winner will be announced in the middle of July, 2010.
PhD defense of former MCL student
On October 5, 2009 the former MCL student Sebastian Bader defended his PhD thesis on "Neural-Symbolic Integration" sucessfully. He did his PhD at the Dresden University of Technology under supervision of Prof. Steffen Hölldobler.
PhD defense of former MCL student
On September 3, 2009 the former MCL student Andreas Witzel defended his PhD thesis on "Knowledge and Games: Theory and Implementation" sucessfully. He did his PhD at the University of Amsterdam.
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
Accreditation
The International Master's Program in CL was re-accredited by ACQUIN in December 2009.
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.