CFP: 9. Arbeitstagung Programmiersprachen

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 11 Nov 2015 08:29:14 +0100

==========================
==========================
===================

                      Aufruf zu Beiträgen

          9. Arbeitstagung Programmiersprachen (ATPS 2016)
          ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
              http://www.complang.tuwien.ac.at/atps2016/

                veranstaltet von der GI-Fachgruppe
              Programmiersprachen und Rechenkonzepte
           (http://www-ps.informatik.uni-kiel.de/fg214/)
              zusammen mit Software Engineering 2016
                   http://se2016.conf.tuwien.ac.at
                     Wien, 25.-26. Februar 2016

Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und
Anwendern in Hochschule, Wirtschaft und Industrie, 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 Programmi=
erung in
Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser
Paradigmen. Ebenfalls von Interesse sind Arbeiten zu Techniken,
Methoden, Konzepten oder Werkzeugen, mit denen Sicherheit und
Zuverlässigkeit bei der Ausführung von Programmen e=
rhöht werden
können.

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

Die ersten vier Arbeitstagungen Programmiersprachen fanden im Rahmen
der GI-Jahrestagungen (Aachen 1997, Paderborn 1999, Ulm 2004, Lü=
beck
2009) statt. Seit der fünften Arbeitstagung Programmiersprache=
n wird
die Veranstaltung aufgrund der größeren inhaltliche=
n Nähe im Verbund
mit der GI-Tagung Software Engineering (Berlin 2012, Aachen 2013, Kiel
2014, Dresden 2015) organisiert. Auch die 9. Arbeitstagung
Programmiersprachen im Jahre 2016 wird wieder in diesem Rahmen stattfinde=
n.

Akzeptierte Beiträge werden in einem Gesamt-Band aller Worksho=
ps der
GI-Tagung Software Engineering 2016 in der CEUR-WS Serie veröf=
fentlicht.


Einreichungen:
~~~~~~~~~~~~~~
Eingereichte Beiträge müssen in deutscher oder engl=
ischer Sprache
verfasst sein und in dieser Form unveröffentlichtes Material
enthalten. Sie werden nach Relevanz, Originalität, Korrekthei=
t und
Klarheit der Darstellung beurteilt und ausgewählt. Die innova=
tiven
Aspekte sollen klar herausgestellt und von existierenden Ansät=
zen
abgegrenzt werden. Neben neuen Arbeiten können auch existiere=
nde
Arbeiten oder Projekte zusammengefasst beziehungsweise aus einem
anderen Blickwinkel präsentiert und so insbesondere einem
deutschsprachigen Publikum vorgestellt werden. In Zweifelsfäll=
en
bezüglich der Originalität wird gebeten, sich an di=
e Organisatoren zu
wenden.

Beiträge können in zwei Kategorien eingereicht werd=
en:

 * Reguläre Tagungsbeiträge dürfen bis z=
u 15 Seiten umfassen und
   beschreiben eine Arbeit und ihre Ergebnisse.

 * Kurzbeiträge dürfen bis zu 5 Seiten als erweiter=
te Zusammenfassung
   umfassen und können noch nicht abgeschlossene Arbeiten, Wer=
kzeuge
   oder Erfahrungsberichte vorstellen.

Einreichungen erfolgen elektronisch über das EasyChair-System =
unter
  https://easychair.org/conferences/?conf=atps2016

Beiträge sollen mit LaTeX formatiert und im PDF-Format eingere=
icht
werden. Als Vorlage dient das einspaltige CEUR-WS Format mit
Seitenzahlen. Eine angepasste Version kann hier heruntergeladen
werden:
http://www.tu-ilmenau.de/fileadmin/public/psc/atps2015draft.sty

Sie ist zur Verwendung mittels \usepackage in der Dokumentklasse
article geeignet.


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


Programmkomitee
~~~~~~~~~~~~~~~

Walter Binder (USI Lugano, Schweiz)
Michael Hanus (Univ. Kiel, Deutschland)
Christian Heinlein (Hochschule Aalen, Deutschland)
Andreas Krall (TU Wien, Österrreich, Co-Vorsitze=
nder)
Gerald Lüttgen (Univ. Bamberg, Deutschland)
Thomas Noll (RWTH Aachen, Deutschland)
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 Trancon Widemann (TU Ilmenau, Deutschland)

Organisation
~~~~~~~~~~~~
Andreas Krall (andi_at_complang.tuwien.ac.at)
Ina Schaefer (i.schaefer[at]tu-braunschweig.de)









--
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.

To unsubscribe from (leave) this mailinglist, please go to this URL:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list





Received on Mi Nov 11 2015 - 09:54:19 CET