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 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
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 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: 26.4.2009
Mitteilung ueber Annahme/Ablehnung: 25.5.2009
Abgabe der fertigen Druckvorlagen: 1.7.2009
Organisation
~~~~~~~~~~~~
Walter Dosch (Universitaet Luebeck, dosch_at_isp.uni-luebeck.de)
Michael Hanus (Universitaet Kiel, mh_at_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)
Martin Pluemicke (BA 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
--
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 Fr Mär 20 2009 - 12:41:14 CET