ATPS'09 Deutsche Version
Gesellschaft für Informatik e.V.

Fourth Working Conference on Programming Languages (ATPS'09)

Lübeck, October 1, 2009

Part of the 39th annual conference of the German Gesellschaft für Informatik

o  General
o  Dates
o  Submissions
o  Proceedings
o  Program Committee
o  Organization
o  Call for Papers
o  GI-Jahrestagung
o  GI-Fachgruppe


The conference aims at bringing together researchers and developers interested in the area of programming languages. The conference addresses all paradigms of programming languages: imperative, object-oriented, functional, logic, concurrent, parallel, or graphical programming languages, as well as languages to support the implementation of distributed systems and concepts for the integration of different paradigms. The first three Working Conferences on Programming Languages took place as part of the annual computer science conferences in Germany (Aachen 1997, Paderborn 1999, Ulm 2004).

Typical but not exclusive topics are:

  • Design of programming languages as well as domain-specific languages
  • Implementation and optimization techniques
  • Analysis and transformation of programs
  • Type systems
  • Semantics and specification techniques
  • Modelling languages, object orientation
  • Internet programming
  • Verification of programs and implementations
  • Tools and programming environments
  • Frameworks, architectures, generative approaches
  • Experiences with specific applications
  • Relations between languages, architectures, processors

Techniques, methods, concepts, and tools to improve the safety and reliability of programs are also of interest. The conference also welcomes contributions from enterprises.

Important Dates

Submission of contributions: April 26, 2009
Notification of acceptance/rejection: June 1, 2009
Submission of camera-ready papers: July 1, 2009
Conference: October 1, 2009


Submitted papers must be written in English or German and should contain unpublished works. Contributions will be judged by relevance, originality, correctness, and readability. The significance should be clearly stated and compared to existing works.

Contributions should not exceed 15 pages (in LNI style). They must be submitted in PostScript or PDF format until April 26, 2009 via the ConfTool.

It is also intended to organize a session with short presentations about unfinished projects and experience reports. Such short contributions should be clearly marked and submitted like other contributions as an extended abstract of no more than five pages.


The accepted papers will be published in the proceedings of the general conference that consists of printed proceedings that will appear in the GI-Edition Lecture Notes in Informatics (LNI) with one-page abstracts and a CD containing the full papers.

Program Committee

Walter Dosch (Univ. Lübeck, Co-Chair)
Wolfgang Goerigk (b+m Informatik AG)
Juerg Gutknecht (ETH Zuerich)
Michael Hanus (Univ. Kiel, Co-Chair)
Martin Hofmann (Univ. München)
Petra Hofstedt (TU Berlin)
Frank Huch (Univ. Kiel)
Jens Knoop (TU Wien)
Herbert Kuchen (Univ. Münster)
Rita Loogen (Univ. Marburg)
Markus Müller-Olm (Univ. Münster)
Helmuth Partsch (Univ. Ulm)
Peter Pepper (TU Berlin)
Martin Plümicke (DHBW Stuttgart)
Arnd Poetzsch-Heffter (TU Kaiserslautern)
Peter Thiemann (Univ. Freiburg)
Janis Voigtländer (TU Dresden)
Wolf Zimmermann (Univ. Halle)


Walter Dosch Michael Hanus
Institut für Softwaretechnik und Programmiersprachen
Universität zu Lübeck
Ratzeburger Allee 160
D-23538 Lübeck, Germany

Tel. : +49-(0)451-500-5551
Fax : +49-(0)451-500-5552
Institut für Informatik
Christian-Albrechts-Universität zu Kiel
Olshausenstr. 40
D-24098 Kiel, Germany

Tel. : +49-(0)431-880-7271
Fax : +49-(0)431-880-7613

Call for Papers

The Call for Papers is also available in ASCII format.

Michael Hanus
Last modified: Mon May 25 09:52:01 CEST 2009