Gesellschaft für Informatik e.V.

Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4

Programmiersprachen und Rechenkonzepte

 früher
 FG 2.1.3  Implementierung von Programmiersprachen
 FG 2.1.4  Alternative Konzepte für Sprachen und Rechner
 
FG 2.1.4 Home Page   PDF-Version ASCII-Version Termine Programm Mitgliedervollversammlung

 
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 Beiträgen (Call for Papers)

Programm
Einladung

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 für Sprachen und Rechner" hervorgegangen ist, regelmäßig im Frühjahr 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, Vorträge und Demonstrationen sowohl bereits abgeschlossener als auch noch laufender Arbeiten aus Ihrem Betätigungsfeld einzureichen, unter anderem (aber nicht ausschließlich) 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
  • Beiträge aus Ihren Arbeitsgruppen auch zu anderen Themen sind ebenso willkommen. Es sind nicht nur die Fachgruppenmitglieder herzlich eingeladen, sondern das Treffen ist darüber hinaus auch für andere Interessenten offen.
     
     
    Veranstaltungsort

     

    Hölterhoffstift - Physikzentrum Bad Honnef


    Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums in Bad Honnef statt. Drachenfels bei Bad HonnefEs können bis zu 40 Teilnehmer teilweise in Einzel-, teilweise in Doppelzimmern untergebracht werden. Das Haus berechnet zur Zeit für die Vollpension EURO 47,- pro Tag (bei externer Unterbringung: EURO 33,- für die Vollpension, für Übernachtung mit Frühstück EURO 34,- pro Tag) und eine einmalige Tagungsgebühr von EURO 10,-, die von den Teilnehmern bitte vor Ort bar bezahlt werden, weil das Haus leider keine Kredit- oder Scheckkarten akzeptieren kann. Zusätzlich ist an einem Abend ein Conference Diner geplant, für das Kosten in Höhe von Euro 7,- entstehen.

     
    Beiträge

    Vortragsvorschläge senden Sie bitte in der Form einer Zusammenfassung von nicht mehr als einer Seite (vorzugsweise PDF oder Postscript) bis spätestens 14. April 2006 möglichst per EMail an

    Prof. Michael Hanus (mh@informatik.uni-kiel.de)
    Institut für Informatik und Praktische Mathematik
    Christian-Albrechts-Universität Kiel
    Olshausenstr. 40, D-24098 Kiel
    Tel: ++49 (431) 880-7271, Fax: ++49 (431) 880-7613

    Wichtige Termine

     
     14. April 2006     Einreichung von Zusammenfassungen 
     14. April 2006     Anmeldung zum Workshop
     3.-5. Mai 2006     Workshop im Physikzentrum Bad Honnef 

    gez. M. Hanus

     
    FG 2.1.4 Home Page
    Michael Hanus ( mh@informatik.uni-kiel.de )