International M.Sc. Program in COMPUTATIONAL LOGIC The International Center for Computational Logic at the Technische Universitaet Dresden is offering a two-year study program, in English, leading to a master of science (M.Sc.) in computer science. This is part of the European Master's Program in Computational Logic, a distributed study program funded by the EU within Erasmus Mundus jointly run by the Free University of Bozen-Bolzano, the Technische Universitaet Dresden, the Universidade Nova de Lisboa, the Universidad Politecnica de Madrid and the Technische Universitaet Wien. Courses focus on logic and constraint programming, artificial intelligence, knowledge representation and reasoning, type theory, model theory, proof theory, equational reasoning, databases, natural language processing, planning and formal methods, among others. At the end of the programme a research master thesis has to be prepared. Prerequisites are a good knowledge of the basics of logic, and familiarity with mathematical reasoning. Knowledge of foundations of artificial intelligence and declarative programming is desirable. It is indispensable being fluent in English; German is not necessary at all, but there are facilities for studying it if desired. A bachelor in Computer Science, or equivalent degree, is required by the beginning of courses, in October 2005. Dresden, on the river Elbe, is one of the most important art cities of Germany. The economy is growing rapidly and Dresden is a top high-tech centre. AMD built the most modern chip factory in Europe, Infineon Technologies, Siemens and many other companies invest here. The possibilities of getting a job after the master are excellent. The University is very well equipped and the teachers/students ratio is close to 1. International contacts make it easy for interested students to continue pursuing a career in research. Deadline for applications is June 15, 2005, but applications are processed as they come. To apply, please send all the relevant documents by post to the address below. Further information is on the web at www.computational-logic.org including information about possible scholarships. Paper information material is available on request. Please give this message broad distribution. Sylvia Epp, secretary International Center for Computational Logic Technische Universitaet Dresden, D-01062 Dresden, Germany Tel: [49] (351) 463-38341 Fax: [49] (351) 463-38342 email: cl-secretary@Inf.TU-Dresden.DE