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 in computer science.
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.

Past and present teachers include:

           Oskar Bartenstein              Armin Kuehnemann
     Maria Paola Bonacina               Giorgio Levi      
         Catalin Buiu                       Jim Lipton    
         Anatoli Degtyarev              Alessio Lomuscio  
             Roy Dyckhoff                 Faron Moller    
          Enrico Franconi                 Ilkka Niemela   
         Norbert Fuchs                   Gerald Pfeifer   
        Philippe de Groote              Michael Posegga   
         Alessio Guglielmi                Horst Reichel   
         Steffen Hoelldobler              Joerg Siekmann  
        Heinrich Hussmann               Manfred Stede     
          Dieter Hutter                  Werner Stephan   
           Achim Jung                   Michael Thielscher 
         Antonis Kakas                    Heiko Vogler    
          Petros Kefalas                 Andrei Voronkov  
         Michael Kohlhase             Christoph Weidenbach

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 2002.

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 15.07.2002, but applications are processed
as they come.  To apply, just send an e-mail with your curriculum vitae
to <mailto:cl-secretary@Inf.TU-Dresden.DE>.  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
  Artificial Intelligence Institute, Department of Computer Science
      Dresden University of Technology, D-01062 Dresden, Germany
        Tel: [49] (351) 463-38341    Fax: [49] (351) 463-38342
                email: cl-secretary@Inf.TU-Dresden.DE