I strongly encourage applications of students with a background in constraint logic programming.
Thom Fruehwirth
-------- Original Message -------- Subject: [PhD programme Logic in CS] Ausschreibungstext des GKLI Date: Mon, 20 Dec 99 14:58:21 +0100 From: Klaus Schulz <schulz(a)cis.uni-muenchen.de> To: ccl(a)ps.uni-sb.de
G K L I PhD Programme Logic in Computer Science Munich
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 January 31st, 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 BMW.
Participating professors are Manfred Broy, Francois Bry, Wilfried Buchholz, Wolfram Btttner, Peter Clote, Javier Esparza, Fred Kruger, 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, Btttner, Clote, Kruger, 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, Schwichtenberg) - Modelling knowledge-based and distributed systems as well as infinite automata (Bry, Broy, Btttner, Esparza, Kruger, Wirsing) - Spezification and verification (Broy, Clote, Esparza, Kruger, 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
Graduiertenkolleg Logik in der Informatik c/o Helmut Schwichtenberg Mathematisches Institut der Ludwig-Maximilians-Universitaet
Theresienstr. 39 80333 Muenchen Germany
Further information can be obtained from the chairman of the PhD Programme
Prof. Dr. Helmut Schwichtenberg Tel. +49 89 2394 4413 schwicht(a)rz.mathematik.uni-muenchen.de http://www.mathematik.uni-muenchen.de/~schwicht
and from the website
http://www.mathematik.uni-muenchen.de/~gkli
-------------------------------------------------------------------