Workshop der Arbeitsgruppe 2.1.4. der Gesellschaft für Informatik

Workshop
Date:
We, 03.05.2006 14:00  –   Fr, 05.05.2006 14:00
Sprecher:
W. Goerigk, Universität Kiel
Adresse:
Physikzentrum Bad Honnef
Hauptstr. 5, 53604 Bad Honnef, Germany

 
Chargeable
Language:
Deutsch
Event partner:
Gesellschaft für Informatik e.V.
Contact person:
Prof Michael Hanus,

Description

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.