4. Arbeitstagung Programmiersprachen (ATPS'09)
         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          http://www-ps.informatik.uni-kiel.de/atps09/

               veranstaltet von der GI-Fachgruppe 
             Programmiersprachen und Rechenkonzepte
          (http://www-ps.informatik.uni-kiel.de/fg214/)
          im Rahmen der GI-Jahrestagung Informatik 2009
                 Luebeck, 28.9.-2.10. 2009

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 nebenlaeufige
Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur
Integration dieser Paradigmen. Die ersten drei Arbeitstagungen
Programmiersprachen fanden ebenfalls im Rahmen von GI-Jahrestagungen
statt (Aachen 1997, Paderborn 1999, Ulm 2004) statt.

Typische, aber nicht ausschliessliche 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 Ansaetze
    * 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.


Einreichung von Beitraegen:
~~~~~~~~~~~~~~~~~~~~~~~~~~~
Eingereichte Beitraege muessen in deutscher oder englischer Sprache
verfasst sein und in dieser Form unveroeffentlichtes Material
enthalten. Sie werden nach Relevanz, Originalitaet, Korrektheit und
Klarheit der Darstellung beurteilt und ausgewaehlt. Die innovativen
Aspekte sollten klar herausgestellt und von existierenden Ansaetzen
abgegrenzt werden.

Tagungsbeitraege duerfen bis zu 15 Seiten (im LNI-Stil, siehe
http://www.gi-ev.de/service/publikationen/lni/autorenrichtlinien/)
umfassen und werden im Postscript- oder PDF-Format bis spaetestens
26. April 2009 eingereicht. Genauere Informationen zur Einreichung
sind auf der Web-Seite zum Worksop zu finden:
http://www-ps.informatik.uni-kiel.de/atps09/

Auf der Arbeitstagung ist auch ein Vortragsblock vorgesehen, in dem
noch nicht abgeschlossene Arbeiten oder Erfahrungsberichte vorgestellt
werden. Kurzbeitraege dieser Kategorie koennen, als solche
gekennzeichnet, in der gleichen Form als erweiterte Zusammenfassung
von nicht mehr als fuenf Seiten eingereicht werden.

Die akzeptierten Tagungsbeitraege werden in die Proceedings der
GI-Jahrestagung aufgenommen, die aus einem gedruckten Tagungsband
mit Abstracts (eine Seite), der in der Reihe Lecture Notes in
Informatics (LNI) der GI erscheint, und einer CD mit den Langfassungen
der Tagungsbeitraege bestehen.


Wichtige Daten:
~~~~~~~~~~~~~~~
Einreichung von Beitraegen:         26.4.2009
Mitteilung ueber Annahme/Ablehnung:  1.6.2009
Abgabe der fertigen Druckvorlagen:   1.7.2009


Organisation
~~~~~~~~~~~~
Walter Dosch     (Universitaet Luebeck, dosch@isp.uni-luebeck.de)
Michael Hanus    (Universitaet Kiel, mh@informatik.uni-kiel.de)


Programmkomitee:
~~~~~~~~~~~~~~~~
Walter Dosch (Univ. Luebeck, Co-Chair)
Wolfgang Goerigk (b+m Informatik AG)
Juerg Gutknecht (ETH Zuerich)
Michael Hanus (Univ. Kiel, Co-Chair)
Martin Hofmann (Univ. Muenchen)
Petra Hofstedt (TU Berlin) 
Frank Huch (Univ. Kiel)
Jens Knoop (TU Wien)
Herbert Kuchen (Univ. Muenster)
Rita Loogen (Univ. Marburg)
Markus Mueller-Olm (Univ. Muenster)
Helmuth Partsch (Univ. Ulm)
Peter Pepper (TU Berlin)
Martin Pluemicke (DHBW Stuttgart)
Arnd Poetzsch-Heffter (Univ. Kaiserslautern)
Peter Thiemann (Univ. Freiburg)
Janis Voigtlaender (TU Dresden) 
Wolf Zimmermann (Univ. Halle) 


Informationen ueber die GI-Jahrestagung 2009:
http://www.informatik2009.de