AMAST Mail - November 1999
[Prev][Next][Index]

International Masters Programme in COMPUTATIONAL LOGIC

International Masters Programme in COMPUTATIONAL LOGIC

The Dresden University of Technology is offering a two-year study
programme, in English, leading to a master of science in computational
logic (together with a German "Diplom in Informatik").  The programme is
sponsored by the European Network of Excellence in Computational Logic
(COMPULOG Net) and other German institutions.

Past and present teachers include:

           Oskar Bartenstein                Jim Lipton
     Maria Paola Bonacina                 Faron Moller
         Catalin Buiu                   Michael Posegga
         Anatoli Degtyarev                Horst Reichel
          Enrico Franconi                 Joerg Siekmann
         Alessio Guglielmi              Michael Thielscher
         Steffen Hoelldobler              Heiko Vogler
          Dieter Hutter                  Andrei Voronkov
         Michael Kohlhase             Christoph Weidenbach
         Giorgio Levi

Courses focus on logic and constraint programming, artificial
intelligence, 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 discussed.

Prerequisites are a good knowledge of the basics of logic, and
familiarity with mathematical reasoning.  Knowledge of foundations of
artificial intelligence and logic programming are 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 '99.

Dresden, on the river Elbe, is one of the most important art cities of
Germany.  The economy is growing rapidly, Siemens, Motorola and AMD are
building the most modern chip factory of Europe and possibilities of
getting a job after the master are very high, in the whole Germany.  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 15/07/2000, but applications are processed
as they come.  To apply, just send an e-mail with your curriculum vitae
to <mailto:CL@Pikas.Inf.TU-Dresden.DE>.  Further information is on the
web at <http://pikas.inf.tu-dresden.de/compulog/>.  Paper information
material is available on request.

Please give this message maximum diffusion.

	           Maja von Wedelstedt, secretary
  Artificial Intelligence Institute, Department of Computer Science
      Dresden University of Technology, D-01062 Dresden, Germany
	 Tel: [49] (351) 463-8341    Fax: [49] (351) 463-8342
                  email: maja@pikas.inf.tu-dresden.de
[ AMAST Mail - November 1999 | October 1999 | December 1999 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]