---------------------------------------------------------------------

         4. Arbeitstagung Programmiersprachen (ATPS'06)
         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         (http://www.informatik.uni-kiel.de/~mh/atps06/)

                   Dresden, 5./6. Oktober 2006
               veranstaltet von der GI-Fachgruppe 
             Programmiersprachen und Rechenkonzepte
          im Rahmen der GI-Jahrestagung Informatik 2006

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. Nach den ersten drei Arbeitstagungen
Programmiersprachen im Rahmen der GI-Jahrestagungen in Aachen (1997),
Paderborn (1999) und Ulm (2004) ist dies die vierte Veranstaltung
dieser Art. Typische, aber nicht ausschliessliche Themenbereiche sind:

    * Design von Programmiersprachen und anwendungsspezifischen Sprachen
    * Implementierungs- und Optimierungstechniken
    * Analyse und Transformation von Programmen
    * Typsysteme
    * Semantik und Spezifikationstechniken
    * Objektorientierung
    * Intra- und Internet-Programmierung
    * Programm- und Implementierungsverifikation
    * Werkzeuge und Programmierumgebungen
    * Frameworks, Architekturen, generative Ansaetze
    * Erfahrungen bei exemplarischen Anwendungen

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 zehn Seiten (im LNI-Stil, siehe
http://www.gi-ev.de/service/publikationen/lni/autorenrichtlinien/)
umfassen und werden im Postscript- oder PDF-Format bis spaetestens
18.6.2006 eingereicht. Genauere Hinweise zur Einreichung findet man
auf der Web-Seite zur Arbeitstagung:
http://www.informatik.uni-kiel.de/~mh/atps06/

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 den Tagungsband der
GI-Jahrestagung aufgenommen, der in der Reihe Lecture Notes in
Informatics (LNI) der GI veroeffentlicht wird. Darueber hinaus ist geplant,
die akzeptierten Kurzbeitraege und Langfassungen der Tagungsbeitraege
in einem technischen Bericht der Universitaet Kiel zu veroeffentlichen.


Wichtige Daten:
~~~~~~~~~~~~~~~
Einreichung von Beitraegen:         18.6.2006
Mitteilung ueber Annahme/Ablehnung: 24.7.2006
Abgabe der fertigen Druckvorlagen:   4.8.2006


Organisation
~~~~~~~~~~~~
Michael Hanus    (Univ. Kiel, mh@informatik.uni-kiel.de)
Frank Huch       (Univ. Kiel, fhu@informatik.uni-kiel.de)


Programmkomitee (Vorschlag, noch nicht angefragt):
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Walter Dosch (Univ. Luebeck)
Wolfgang Goerigk (b+m Informatik AG)
Michael Hanus (Univ. Kiel, Co-Chair)
Martin Hofmann (Univ. Muenchen)
Frank Huch (Univ. Kiel, Co-Chair)
Uwe Kastens (Univ. Paderborn)
Jens Knoop (TU Wien)
Herbert Kuchen (Univ. Muenster)
Armin Kuehnemann (TU Dresden) 
Markus Mueller-Olm (Univ. Muenster)
Peter Pepper (TU Berlin) 
Arnd Poetzsch-Heffter (TU Kaiserslautern)
Peter Thiemann (Univ. Freiburg)
Wolf Zimmermann (Univ. Halle) 

Informationen ueber die GI-Jahrestagung 2006:
http://www.informatik2006.de

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