~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                                                                      
                  31. Workshop der GI-Fachgruppe

              "Programmiersprachen und Rechenkonzepte"
              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

             28.-30. April 2014 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

                            13. April 2014
                            ~~~~~~~~~~~~~~
moeglichst per EMail an 

        Baltasar Tracon Widemann
        baltasar.trancon@tu-ilmenau.de
        Fakultät für Informatik und Automatisierung
        TU Ilmenau

Ihre Anmeldung zur Teilnahme am Workshop sollte ebenfalls
bis zum 9. April 2014 im WWW ueber die Seite

  http://www-ps.informatik.uni-kiel.de/fg214/Honnef2014/

erfolgen, auf der Sie auch weitere Informationen finden.