veranstaltet von der GI-Fachgruppe Programmiersprachen und Rechenkonzepte

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.

Programm
Einreichung von Beiträgen

Programmkomitee

Organisation und Anmeldung

Deadlines

		Einreichung von Beiträgen:	7. 05. 2004
		Mitteilung über Annahme / Ablehnung:	4. 06. 2004
		Abgabe der fertigen Druckvorlagen:	29. 06. 2004