6. Arbeitstagung Programmiersprachen (ATPS'13)
          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
            http://www.complang.tuwien.ac.at/atps2013/

                veranstaltet von der GI-Fachgruppe
              Programmiersprachen und Rechenkonzepte
           (http://www-ps.informatik.uni-kiel.de/fg214/)
              zusammen mit Software Engineering 2013
                     Aachen, 26. Februar 2013

Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und
Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen
beschäftigen. 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 (Aachen
1997, Paderborn 1999, Ulm 2004, Lübeck 2009) statt. Die fünfte
Arbeitstagung Programmiersprachen fand aufgrund der größeren
inhaltlichen Nähe erstmals zusammen mit der GI-Tagung Software
Engineering (Berlin 2012) statt. Auch 2013 findet die Arbeitstagung
Programmiersprachen gemeinsam 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
  * Ressourcenanalyse (Zeit, Speicher, Leistungsverbrauch)
  * 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 können. Die Tagung
richtet sich ausdrücklich 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 vorgestellt
werden.

Einreichung von Beiträgen:
~~~~~~~~~~~~~~~~~~~~~~~~~~
Eingereichte Beiträge 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 sollen klar herausgestellt und von existierenden Ansätzen
abgegrenzt werden.

Tagungsbeiträge dürfen bis zu 15 Seiten (im LNI-Stil, siehe
http://www.gi-ev.de/service/publikationen/lni/autorenrichtlinien/)
umfassen und werden bis spätestens 12. Dezember 2012 über das
EasyChair-System eingereicht, Kurzzusammenfassungen bereits zuvor bis
zum 5. Dezember 2012:
https://www.easychair.org/conferences/?conf=atps2013

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.

Wie in diesem Jahr werden alle akzeptierten Tagungsbeiträge in den
Workshop-Tagungsband der Software Engineering 2013 aufgenommen, der in
der Reihe Lecture Notes in Informatics (LNI) der GI veröffentlicht
wird. Der Tagungsband zur ATPS 2012 ist in dieser Reihe als Band 199
erschienen: LNI 199 GI 2012, ISBN 978-3-88579-293-2 
( http://www.informatik.uni-trier.de/~ley/db/conf/se/se2012w.html ).


Wichtige Daten:
~~~~~~~~~~~~~~~
Einreichung von Kurzzusammenfassungen:   5. Dezember 2012
Einreichung der vollständigen Beiträge: 12. Dezember 2012
Mitteilung über Annahme/Ablehnung:      14. Januar   2013
Abgabe der fertigen Druckvorlagen:      (vorauss.) 5. Februar 2013
Arbeitstagung:                          26. Februar  2013


Programmkomitee
~~~~~~~~~~~~~~~
Eric Bodden         (TU Darmstadt, Deutschland)
Sabine Glesner      (TU Berlin, Deutschland)
Clemens Grelck      (Univ. van Amsterdam, Niederlande)
Michael Hanus       (Univ. Kiel, Deutschland)
Matthias Hauswirth  (Univ. of Lugano, Schweiz)
Christian Heinlein  (Hochschule Aalen, Deutschland)
Christoph Kessler   (Linköping Univ., Schweden)
Raimund Kirner      (Univ. of Hertfordshire, Hatfield, UK)
Jens Knoop          (TU Wien, Österreich, Co-Vorsitzender)
Herbert Kuchen      (Univ. Münster, Deutschland)
Michael Leuschel    (Univ. Düsseldorf, Deutschland)
Rita Loogen         (Univ. Marburg, Deutschland)
Christian W. Probst (DTU, Lyngby, Dänemark)
Volker Stolz        (Univ. Oslo, Norwegen)
Janis Voigtländer   (Univ. Bonn, Deutschland, Co-Vorsitzender)
Wolf Zimmermann     (Univ. Halle-Wittenberg, Deutschland)


Organisation
~~~~~~~~~~~~
Jens Knoop          (TU Wien, knoop@complang.tuwien.ac.at)
Janis Voigtländer   (Univ. Bonn, jv@iai.uni-bonn.de)