~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 30. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 6.-8. Mai 2013 im Physikzentrum Bad Honnef Einladung zur Einreichung von Beitraegen (Call for Papers) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Seit 1984 veranstaltet die GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", die aus den ehemaligen Fachgruppen 2.1.3 "Implementierung von Programmiersprachen" und 2.1.4 "Alternative Konzepte fuer Sprachen und Rechner" hervorgegangen ist, regelmaessig im Fruehjahr einen Workshop im Physikzentrum Bad Honnef. Das Treffen dient in erster Linie dem gegenseitigen Kennenlernen, dem Erfahrungsaustausch, der Diskussion und der Vertiefung gegenseitiger Kontakte. Wir laden Sie ein, Vortraege und Demonstrationen sowohl bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem Betaetigungsfeld einzureichen, unter anderem (aber nicht ausschliesslich) zu Themen wie - Sprachen, Sprachparadigmen - Korrektheit von Entwurf und Implementierung - Werkzeuge - Software-/Hardware-Architekturen - Spezifikation, Entwurf - Validierung, Verifikation - Implementierung, Integration - Sicherheit (Safety und Security) - eingebettete Systeme - hardware-nahe Programmierung Beitraege zu anderen verwandten Themen sind ebenso willkommen. Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern das Treffen ist darueber hinaus auch fuer andere Interessenten offen. Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphaere des Physikzentrums Bad Honnef statt. Es koennen bis zu 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Vortragsvorschlaege senden Sie bitte in der Form einer erweiterten Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF) bis spaetestens 19. April 2013 ~~~~~~~~~~~~~~ moeglichst per EMail an Frank Huch Institut fuer Informatik Christian-Albrechts-Universitaet zu Kiel Olshausenstr. 40, D-24098 Kiel Email: fhu@informatik.uni-kiel.de Tel: ++49 (431) 880-7277 Fax: ++49 (431) 880-7613 Ihre Anmeldung zur Teilnahme am Workshop sollte ebenfalls bis zum 15. April 2013 im WWW ueber die Seite http://www-ps.informatik.uni-kiel.de/fg214/Honnef2013/ erfolgen, auf der Sie auch weitere Informationen finden.