ATPS 2016
Gesellschaft für Informatik e.V.

9. Arbeitstagung Programmiersprachen (ATPS 2016)

Wien 25.-26. Februar 2016

Veranstaltet von der
GI-Fachgruppe "Programmiersprachen und Rechenkonzepte"
im Rahmen der Software Engineering 2016

o  Allgemeines
o  Termine
o  Einreichungen
o  Anmeldung, Unterkunft, Veranstaltungsort
o  Angenommene Beiträge
o  Tagungsprogramm
o  Tagungsband
o  Programmkomitee
o  Organisation
o  Aufruf zu Beiträgen
o  SE 2016
o  GI-Fachgruppe

Allgemeines

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. Die folgenden Arbeitstagungen fanden gemeinsam mit der Software Engineering statt, in Aachen 2013, in Kiel 2014 und in Dresden 2015. Auch 2016 findet die Arbeitstagung Programmiersprachen gemeinsam mit der GI-Tagung Software Engineering in Wien 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
  • Domainspezifische Sprachen
  • 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.

Wichtige Termine

Einreichung von Kurzzusammenfassungen (Abstracts): 14. Dezember 2015 16. Dezember 2015
Einreichung der vollständigen Beiträge: 18. Dezember 2015 21. Dezember 2015
Mitteilung über Annahme/Ablehnung: 12. Januar 2016
Abgabe der fertigen Druckvorlagen: 25. Januar 2016
Arbeitstagung: 25. Februar 2016

Einreichungen

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. Neben neuen Arbeiten können auch existierende Arbeiten oder Projekte zusammengefasst beziehungsweise aus einem anderen Blickwinkel präsentiert und so insbesondere einem deutschsprachigen Publikum vorgestellt werden. In Zweifelsfällen bezüglich Originalität wird gebeten, sich an die Organisatoren zu wenden.

Beiträge können in zwei Kategorien eingereicht werden:

  • Reguläre Tagungsbeiträge dürfen bis zu 15 Seiten umfassen und beschreiben eine Arbeit und ihre Ergebnisse.
  • Kurzbeiträge dürfen bis zu 5 Seiten als erweiterte Zusammenfassung umfassen und können noch nicht abgeschlossene Arbeiten, Werkzeuge oder Erfahrungsberichte vorstellen.

Einreichungen erfolgen elektronisch über das EasyChair-System. Beiträge sollen mit LaTeX formatiert und als PDF eingereicht werden. Als Vorlage dient das einspaltige CEUR-WS Format mit Seitenzahlen. Eine angepasste Version kann hier heruntergeladen werden. Sie ist zur Verwendung mittels \usepackage in der Dokumentklasse article geeignet.

Tagungsband

Wie 2015 sind alle akzeptierten Tagungsbeiträge in den Workshop-Tagungsband der Software Engineering 2016 aufgenommen, der in der CEUR-WS Serie (ISSN 1613-0073, DBLP) veröffentlicht ist. Der Tagungsband des Vorjahres hat die Nummer 1337 in CEUR-WS.

Programmkomitee

Walter Binder (USI Lugano, Schweiz)
Michael Hanus (Univ. Kiel, Deutschland)
Christian Heinlein (Hochschule Aalen, Deutschland)
Andreas Krall (TU Wien, Österrreich, Co-Vorsitzender)
Welf Löwe (Linnaeus Univ. Växjö, Schweden)
Gerald Lüttgen (Univ. Bamberg, Deutschland)
Thomas Noll (RWTH Aachen, Deutschland)
Markus Müller-Olm (Univ. Münster, Deutschland)
Christian W. Probst (DTU, Lyngby, Dänemark)
Ina Schaefer (TU Braunschweig, Deutschland, Co-Vorsitzende)
Volker Stolz (Univ. Oslo, Norwegen)
Peter Thiemann (Univ. Freiburg, Deutschland)
Janis Voigtländer (Univ. Bonn, Deutschland)
Guido Wachsmuth (TU Delft, Niederlande)
Baltasar Trancón Y Widemann (TU Ilmenau, Deutschland)

Organisation

Andreas Krall Ina Schaefer
Institut für Computersprachen
TU Wien
Argentinierstr. 8 / E185.1
A-1040 Wien, Österreich

Tel. : +43 1 58801-18511
Fax : +43 1 58801-18598
Email: andi@complang.tuwien.ac.at
Institut für Softwaretechnik und Fahrzeuginformatik
TU Braunschweig
Mühlenpfordtstr. 23
D-38106 Braunschweig, Deutschland

Tel. : +49 531 391-2275
Fax. : +49 531 391-2277
Email: i.schaefer[at]tu-braunschweig.de

Aufruf zu Beiträgen

Der Aufruf zu Beiträgen steht auch im pdf- und Textformat zur Verfügung.



Andreas Krall
Last modified: Sat Oct 17 15:26:19 CEST 2015