ATPS 2013
Gesellschaft für Informatik e.V.

6. Arbeitstagung Programmiersprachen (ATPS 2013)

Aachen, 26. Februar 2013

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

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 2013
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. 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.

Wichtige Termine

Einreichung der vollständigen Beiträge: 12. Dezember 2012
Mitteilung über Annahme/Ablehnung: 14. Januar 2013
Abgabe der fertigen Druckvorlagen: (vorauss.) 5. Februar 2013 28. Januar 2013 (strikt!)
Arbeitstagung: 26. Februar 2013

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.

Tagungsbeiträge dürfen bis zu 15 Seiten (im LNI-Stil) umfassen und werden im Postscript- oder PDF-Format bis spätestens 12. Dezember 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.

Tagungsband

Wie 2012 sind alle akzeptierten Tagungsbeiträge in den Workshop-Tagungsband der Software Engineering 2013 aufgenommen, der mit der Bandnummer 215 in der Reihe Lecture Notes in Informatics (LNI) der GI veröffentlicht ist. Der Tagungsband zur ATPS 2012 ist in dieser Reihe als Band 199 erschienen: LNI 199 GI 2012, ISBN 978-3-88579-293-2, ISSN 1617-5468 (siehe auch DBLP, Computer Science Bibliography).

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, Ko-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, Ko-Vorsitzender)
Wolf Zimmermann (Univ. Halle-Wittenberg, Deutschland)

Organisation

Jens Knoop Janis Voigtländer
Institut für Computersprachen
TU Wien
Argentinierstr. 8 / E185.1
A-1040 Wien, Österreich

Tel. : +43-(0)1-58801-18510
Fax : +43-(0)1-58801-18598
Email: knoop@complang.tuwien.ac.at
Institut für Informatik
Universität Bonn
Römerstraße 164
D-53117 Bonn, Deutschland

Tel. : +49-(0)228-73-4535
Fax. : +49-(0)228-73-4382
Email: jv@iai.uni-bonn.de

Aufruf zu Beiträgen

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



Jens Knoop
Last modified: Wed Aug 13 15:26:19 CEST 2014