~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 37. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4.-6. Mai 2020 im Physikzentrum Bad Honnef https://fg-sr.github.io/BadHonnefWorkshop/ Aufruf 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. Die Einreichung der 1- bis 2-seitigen Abstracts erfolgt via EasyChair [1] bis spätestens 31. Maerz 2020. ~~~~~~~~~~~~ Nutzen Sie zur Einreichung bitte das verlinkte LaTeX-Template [2]. [1] https://easychair.org/conferences/?conf=badhonnef2020 [2] https://fg-sr.github.io/BadHonnefWorkshop/LaTeX/ Ihre Anmeldung zur Teilnahme am Workshop sollte ebenfalls bis zum 31. Maerz 2020 im WWW ueber die Seite https://www-ps.informatik.uni-kiel.de/~mh/fg214/Honnef2020/main.cgi erfolgen, auf der Sie auch weitere Informationen finden. = HINWEIS ===== Webseite der FG Programmiersprachen und Rechenkonzepte: https://fg-sr.gi.de ===============