Call for PhD and Postdoc Grant Applications

                                              G K L I
                                              PhD Programme
                                              Logic in Computer Science

Call for PhD and Postdoc Grant Applications

This is a call for grant applications from PhD and Postdoc students to
the PhD Programme Logic in Computer Science in Munich. Grants start
April 2000 with application deadline March 1st, 2000.

The PhD school is a joint research programme of Ludwig-Maximilians-
University, the Technical University and the Centre for Information
and Language Processing in association with the companies Siemens and

Participating professors are Manfred Broy, Francois Bry, Wilfried
Buchholz, Wolfram Büttner, Peter Clote, Javier Esparza, Fred Kröger,
Tobias Nipkow, Klaus Schulz, Helmut Schwichtenberg and Martin Wirsing.

Areas of research cover 

- Logical foundations, lambda-calculus, equational logic, temporal
  logic, model checking, logic-based knowledge-representation, minimal
  implication, non-monotonous reasoning (Bry, Buchholz, Büttner, Clote,
  Kröger, Nipkow, Schulz, Schwichtenberg)
- Theorem provers, using (higher order) equational theories,
  combination of theorem provers with special techniques, applications,
  knowledge processing (Bry, Buchholz, Clote, Esparza, Nipkow, Schulz,
- Modelling knowledge-based and distributed systems as well as
  infinite automata (Bry, Broy, Büttner, Esparza, Kröger, Wirsing)
- Spezification and verification (Broy, Clote, Esparza, Kröger,
  Nipkow, Schwichtenberg, Wirsing)
- Foundations of software-engineering, modularisation and reuse of
  programs, use of calculi for design and optimisation of programs,
  program systems and circuits (Broy, Esparza, Wirsing)
- Applying methods of logic in scheduling problems, bioinformatics
  and in information systems. (All participants)

The PhD school aims at providing its students with a solid background
in logical foundations of computer science as well as the use of
logical methods in the applications of theoretical computer science
which can be exercised during an industrial internship at Siemens.

Applications should contain: Curriculum vitae, copy of diploma and
master's thesis, other scientific publications, description of Phd
project, advisory reports from two university teachers. Send this
information to
   Logik in der Informatik
   c/o Helmut Schwichtenberg
   Mathematisches Institut der

   Theresienstr. 39
   80333 München

Further information can be obtained from the chairman of the PhD

   Prof. Dr. Helmut Schwichtenberg
   Tel. +49 89 2394 4413

and from the website