[TYPES] International M.Sc. Program in COMPUTATIONAL LOGIC

[Int. Center for 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 at Inf.TU-Dresden.DE