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 nebenläufige Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Die ersten vier Arbeitstagungen Programmiersprachen fanden im Rahmen von GI-Jahrestagungen statt (Aachen 1997, Paderborn 1999, Ulm 2004, Lübeck 2009) statt. Wegen der größeren inhaltlichen Nähe, findet sie in diesem Jahr zusammen mit der GI-Tagung Software Engineering 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 Zuverlaessigkeit bei der Ausfuehrung von Programmen erhoeht werden kann. Die Tagung richtet sich ausdruecklich auch an Interessenten aus Wirtschaft und Industrie.

Neben neuen Arbeiten können auch existierende Arbeiten oder Projekte zusammengefasst bzw. aus einem anderen Blickwinkel präsentiert werden und so insbesondere einem deutschsprachigen Publikum präsentiert werden.

Wichtige Termine

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 18. Januar 2012 eingereicht. Einreichungen erfolgen elektronisch über das EasyChair System .

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

Alle akzeptierten Tagungsbeitraege werden in den Tagungsband der Software Engineering 2012 aufgenommen, der in der Reihe Lecture Notes in Informatics (LNI) der GI veroeffentlicht wird.

Programmkomitee

Robert Glück	(Univ. Kopenhagen)
Clemens Grelck	(Univ. Amsterdam)
Michael Hanus	(Univ. Kiel)
Petra Hofstedt	(TU Cottbus)
Frank Huch	(Univ. Kiel, Co-Chair)
Jens Knoop	(TU Wien)
Herbert Kuchen	(Univ. Münster)
Rita Loogen	(Univ. Marburg)
Martin Plümicke	(DHBW Stuttgart)
Sven-Bodo Scholz	(Heriot-Watt University, Edinburg)
Janis Voigtländer	(Univ. Bonn, Co-Chair)

Organisation

Call for Papers

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