Logic List Mailing Archive

International M.Sc. Program in COMPUTATIONAL LOGIC

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