Contents

Summer School and Workshop at TU Dresden

Michael Fischer, M.Fisher@csc.liv.ac.uk
Department of Computer Science
University of Liverpool, Liverpool L69 7ZF, UK

 From June 23 till July 4, 2003, the ``Summer School and Workshop on Proof Theory, Computation and Complexity'' (http://www.wv.inf.tu-dresden.de/~guglielm/WPT2/index.html) was organized at the TU Dresden by the members of the research group of Steffen Hölldobler -- Paola Bruscoli, Bertram Fronhöfer, Alessio Guglielmi, Charles Stewart, Sylvia Epp, Mariana Stantcheva, Aning Song -- and with external support by Birgit Elbl from the Universität der Bundeswehr München and Reinhard Kahle from the Universidade Nova de Lisboa.

At the summer school several highly qualified lecturers gave courses: Peter Aczel (Manchester, UK), Roy Dyckhoff (St Andrews, UK), Achim Jung (Birmingham, UK), Sara Negri and Jan von Plato (Helsinki, Finland), Stephen Simpson (Penn State, USA), Jim Lipton (Wesleyan, USA) and Reinhard Kahle (Universidade Nova de Lisboa).  The last two days were devoted to a scientific workshop (http://www1.informatik.unibw-muenchen.de/Birgit/pcc03.html).

The summer school received funding from various sides: the International Quality Network `Rational mobile agents and systems of agents', the Graduiertenkolleg 334 `Specification of discrete processes and systems of processes by operational models and logics', the Consolato Generale d'Italia - Lipsia/Italienisches Generalkonsulat in Leipzig and also CoLogNet.

However, the most generous funding were 23,400 Euro for participation grants from the German Academic Exchange Service (DAAD) within a newly established funding program.  This funding program, projected for many years, aims at developing under the rubric ``Deutsche Sommer-Akademie / German Summer-Academy'' a well-balanced set of German summer schools which are competitive on the international level.  The funding from DAAD shall foster the participation of young foreign researchers at the summer school. At 1450 Euro, the participation grants from DAAD are relatively high and reserved for promising researchers.

After 2001 and 2002 this is the third event in a series of Summer Schools on Computational Logic at TU Dresden which shall be continued in 2004.

The Departamento de Informatica of the Universidade Nova de Lisboa (UNL) and the Fakult. at f. ur Informatik of the Technische Universtit. at Dresden (TUD) intend to develop a new integrated binational study programme in the eld of Computational Logic. Currently, both universities are coordinating the work-package Education and Training within the European Network of Excellence in Computational Logic, CologNET and members in the International Network of Excellence (IQN) on Rational Mobil Agents funded by the German Academic Exchange Service (DAAD).

In addition to these support opportunities for a master programme, the German Science Foundation (DFG) is supporting PhD programmes within International Research Training Groups (Graduiertenkollegs). It is also planned to establish such a PhD programme which allows for additional funding of PhD students. The programmes runs for up to nine years and comprises also money for exchanging researchers and lectures, for organizing workshops and for coordination costs.

The Graduiertenkolleg has to be organized by at least five professors of each university. These professors should have a strong publication record and experience in PhD supervision. From the Dresden side, presumably, Franz Baader, Bernhard Ganter, Steffen Holldobler, Michael Thielscher and a new professor for Algebraic and Logic Foundations of Computer Science will take part. On the Lisbon side, Jose Alferes, Pedro Barahona, Carlos Damasio, and Luis Moniz Pereira are already involved in the cooperation, and other professors which comply with the requirements are welcome to consider participating.

The structure of the study programme

The courses of the planned profile in Computational Logic will be split into two groups: mandatory and optional ones. It follows in principle the structure of the existing international master programme in Dresden. The mandatory courses are (cf. appendix for Dresden course description and MIAA page for Lisbon course descriptions):

• Constraint programming
• Declarative programming
• Introduction to computational logic
• Logic programming implementation 1
• Logic programming and artificial intelligence

• Knowledge representation (+)
• Computational reasoning (+)
• Agents (+)
•  Computational cognitive science (+)
• Natural language processing (+)
• Theorem proving 1 (-)
• Advanced logics (-)
• Specification and verification (-)
• Theoretical computer science and logic (-)
• Syntax-directed semantics (-)
• Inference techniques (-)