18.028 MSc programme in computational logic at Dresden

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Tue May 25 2004 - 02:48:54 EDT

  • Next message: Humanist Discussion Group (by way of Willard McCarty

                    Humanist Discussion Group, Vol. 18, No. 28.
           Centre for Computing in the Humanities, King's College London
                         Submit to: humanist@princeton.edu

             Date: Tue, 25 May 2004 07:43:18 +0100
             From: "Int. Center for Computational Logic"
             Subject: International Masters Program in 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@Inf.TU-Dresden.DE

    This archive was generated by hypermail 2b30 : Tue May 25 2004 - 03:16:21 EDT