3. Arbeitstagung Programmiersprachen (ATPS 2004)

Beschreibung

Die Tagung dient dem Austausch von 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, verteilte und  nebenläufige Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Nach den ersten beiden Arbeitstagungen Programmiersprachen im Rahmen der GI-Jahrestagungen in Aachen und Paderborn ist dies die dritte Veranstaltung dieser Art.
 

Call for Papers

Die Tagung dient dem Austausch von 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, verteilte und  nebenläufige Programmierung in Intra- und Internet-Anwendungen, sowie Konzepte zur Integration dieser Paradigmen. Nach den ersten beiden Arbeitstagungen Programmiersprachen im Rahmen der GI-Jahrestagungen in Aachen und Paderborn ist dies die dritte Veranstaltung dieser Art. Typische, aber nicht ausschließliche 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
• Entwurf von Bibliotheken und Frameworks
• Architekturen, generative und modellgetriebene Ansätze
• Erfahrungen bei exemplarischen Anwendungen

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 kann, zu Integration und zugrundeliegender Systemtechnik. Die Tagung richtet sich ausdrücklich auch an Interessenten aus Wirtschaft und Industrie.

Einreichung von Beiträgen

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 sollten klar herausgestellt und von existierenden Ansätzen abgegrenzt werden.

Tagungsbeiträge dürfen bis zu zehn Seiten (im LNI-Style) umfassen und werden im Postscript- oder PDF-Format bis spätestens 7.5.2004 per Email an atps04@informatik.uni-kiel.de eingereicht. Die Email soll zudem die Namen der Autorinnen oder Autoren, ca. 10 Zeilen Zusammenfassung und eine Email-Adresse für die Korrespondenz enthalten.
     
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.
   
Die akzeptierten Tagungsbeiträge werden im Tagungsband der GI-Jahrestagung publiziert, der in der Reihe Lecture Notes in Informatics der GI erscheinen wird. Darüber hinaus werden alle akzeptierten Tagungs- und Kurzbeiträge in einem separaten Tagungsband zusammengefasst, der als technischer Bericht der Universität Kiel erscheinen wird.

Wichtige Daten
 

Programmkomitee

• Walter Dosch (Univ. Lübeck)
• Michael Franz (Univ. of California, Irvine)
• Wolfgang Gellerich (IBM Deutschland GmbH)
• Wolfgang Goerigk (Univ. Kiel, Vorsitz)
• Gerhard Goos (Univ. Karlsruhe)
• Michael Hanus (Univ. Kiel, stellv. Vorsitz)
• Uwe Kastens (Univ. Paderborn)
• Jens Knoop (TU Wien)
• Herbert Kuchen (Univ. Münster)
• Markus Müller-Olm (FernUniv. Hagen)
• Helmuth Partsch (Univ. Ulm)
• Peter Pepper (TU Berlin)
• Arnd Poetzsch-Heffter (Univ. Kaiserslautern)
• Günter Riedewald (Univ. Rostock)
• Francesca Saglietti (Univ. Erlangen/Nürnberg)
• Thomas Stahl (b+m Informatik AG)
• Wolf Zimmermann (Univ. Halle)

Organisation