Logic List Mailing Archive

International Masters Program Dresden: 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

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@Inf.TU-Dresden.DE