~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
                                                                      
                23. Workshop der GI-Fachgruppe 2.1.4

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

                       zusammen mit der
      Fachgruppe TAV (Test, Analyse und Verifikation von Software)

            3. - 5. Mai 2006 im Physikzentrum Bad Honnef                    

      Einladung zur Einreichung von Beitraegen (Call for Papers)
                                                                     
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


Seit 1984 veranstaltet die GI-Fachgruppe 2.1.4 "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. In diesem Jahr findet der Workshop als gemeinsame Veranstaltung
mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software)
statt. Aus diesem Grund sind Vorträge, die sich mit
programmiersprachlichen Aspekten des Testens, Analyse und
Verifikation von Programmen beschäftigen, besonders willkommen.
Darüberhinaus sind gemeinsame Sitzungen mit der Fachgruppe
Software-Reengineering geplant, die zeitgleich im Physikzentrum tagt.

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
  - Test, Analyse, 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 oder Postscript) bis spaetestens 


                             14. April 2006
                             ~~~~~~~~~~~~~~
moeglichst per EMail an 

        Prof. Michael Hanus
        Institut fuer Informatik und Praktische Mathematik
        Christian-Albrechts-Universitaet zu Kiel
        Olshausenstr. 40, D-24098 Kiel

        Email: mh@informatik.uni-kiel.de
        Tel: ++49 (431) 880-7271
        Fax: ++49 (431) 880-7613

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

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

erfolgen, auf der Sie auch weitere Informationen finden.
Da die Teilnehmerzahl begrenzt ist, wird eine fruehzeitige
Anmeldung empfohlen.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~