[TYPES] International Masters Program in COMPUTATIONAL LOGIC

[Int. Center for Computational Logic]

International Masters 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 a
joint program with the Universidade Nova de Lisboa 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.

The tuition fees are waived.  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 logic 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 2004.

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, 2004, 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 <http://www.cl.inf.tu-dresden.de/compulog/>.  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