Gesellschaft für Informatik e.V.
Fachgruppe 2.1.4
früher
FG 2.1.3
Implementierung von Programmiersprachen
FG 2.1.4 Alternative
Konzepte für Sprachen und Rechner
![]() |
PDF-Version | ASCII-Version | Termine | Programm | Mitgliedervollversammlung |
Programmiersprachen und Rechenkonzepte zusammen mit der Fachgruppe TAV (Test, Analyse und Verifikation von Software) 3. - 5. Mai 2006 im Physikzentrum
Bad Honnef
|
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
|
|
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.
|
Der Workshop findet in der angenehmen, zu gemeinsamer Arbeit verleitenden Atmosphäre des Physikzentrums in Bad Honnef statt. ![]() |
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 |
![]() |