ATPS'09 English version
Gesellschaft für Informatik e.V.

4. Arbeitstagung Programmiersprachen (ATPS'09)

Lübeck, 1. Oktober 2009

Veranstaltet von der
GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"
im Rahmen der GI-Jahrestagung Informatik 2009

o  Allgemeines
o  Termine
o  Einreichungen
o  Tagungsprogramm
o  Proceedings
o  Programmkomitee
o  Organisation
o  Call for Papers
o  GI-Jahrestagung
o  GI-Fachgruppe

Allgemeines

Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschaeftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenlaeufige Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Die ersten drei Arbeitstagungen Programmiersprachen fanden ebenfalls im Rahmen von GI-Jahrestagungen statt (Aachen 1997, Paderborn 1999, Ulm 2004) statt.

Typische, aber nicht ausschließliche Themenbereiche sind:

  • Entwurf von Programmiersprachen und anwendungsspezifischen Sprachen
  • Implementierungs- und Optimierungstechniken
  • Analyse und Transformation von Programmen
  • Typsysteme
  • Semantik und Spezifikationstechniken
  • Modellierungssprachen, Objektorientierung
  • Intra- und Internet-Programmierung
  • Programm- und Implementierungsverifikation
  • Werkzeuge und Programmierumgebungen
  • Frameworks, Architekturen, generative Ansätze
  • Erfahrungen bei exemplarischen Anwendungen
  • Verbindung von Sprachen, Architekturen, Prozessoren

Ebenfalls von Interesse sind Arbeiten zu Techniken, Methoden, Konzepten oder Werkzeugen, mit denen Sicherheit und Zuverlässigkeit bei der Ausführung von Programmen erhöht werden kann. Die Tagung richtet sich ausdrücklich auch an Interessenten aus Wirtschaft und Industrie.

Wichtige Termine

Einreichung von Beiträgen: 26. April 2009
Mitteilung über Annahme/Ablehnung: 1. Juni 2009
Abgabe der fertigen Druckvorlagen: 1. Juli 2009
Arbeitstagung: 1. Oktober 2009

Einreichungen

Eingereichte Beitraege müssen in deutscher oder englischer Sprache verfasst sein und in dieser Form unveröffentlichtes Material enthalten. Sie werden nach Relevanz, Originalität, Korrektheit und Klarheit der Darstellung beurteilt und ausgewählt. Die innovativen Aspekte sollten klar herausgestellt und von existierenden Ansätzen abgegrenzt werden.

Tagungsbeiträge dürfen bis zu 15 Seiten (im LNI-Stil) umfassen und werden im Postscript- oder PDF-Format bis spätestens 26. April 2009 eingereicht. Einreichungen sollen elektronisch über das ConfTool erfolgen.

Auf der Arbeitstagung ist auch ein Vortragsblock vorgesehen, in dem noch nicht abgeschlossene Arbeiten oder Erfahrungsberichte vorgestellt werden. Kurzbeiträge dieser Kategorie können, als solche gekennzeichnet, in der gleichen Form als erweiterte Zusammenfassung von nicht mehr als fünf Seiten eingereicht werden.

Proceedings

Die akzeptierten Tagungsbeiträge werden in die Proceedings der GI-Jahrestagung aufgenommen, die aus einem gedruckten Tagungsband mit Abstracts (eine Seite), der in der Reihe Lecture Notes in Informatics (LNI) der GI erscheint, und einer CD mit den Langfassungen der Tagungsbeiträge bestehen.

Programmkomitee

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)

Organisation

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
Email: dosch@isp.uni-luebeck.de
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
Email: mh@informatik.uni-kiel.de

Call for Papers

Der Call for Papers steht auch im Textformat zur Verfügung.



Michael Hanus
Last modified: Fri Jul 10 14:08:42 CEST 2009