FG2.1.4. der GI (Protokoll der MV-Versammlung

Gesellschaft für Informatik e.V.
Fachgruppe Programmiersprachen und Rechenkonzepte

früher
FG 2.1.3 Implementierung von Programmiersprachen
FG 2.1.4 Alternative Konzepte für Sprachen und Rechner

Protokoll der Mitgliederversammlung
der GI-Fachgruppe
"Programmiersprachen und Rechenkonzepte"
am 3. Mai 2005 im Physikzentrum Bad Honnef

Beginn 20:00 Uhr.

Herr Huch begrüßt stellvertretend für den Sprecher der Fachgruppe, Herrn Hanus, die anwesenden Teilnehmer. Eine Teilnehmerliste ist beim Sprecher der Fachgruppe einzusehen.

TOP 1: Genehmigung der Tagesordnung

Die Tagesordnung wird ohne Gegenstimmen genehmigt.

TOP 2: Genehmigung des Protokolls

Das Protokoll der Mitgliedervollversammlung 2004 wird ohne Gegenstimmen bei 4 Enthaltungen genehmigt.

TOP 3: Bericht des Sprechers

Herr Hanus hat die Mailingliste neu eingerichtet. Er bittet, eventuell vorhandene Fehler an ihn zu mailen (mh@informatik.uni-kiel.de).

Herr Goerigk berichtet über die Arbeitstagung Programmiersprachen ATPS 2004, die am 24. 9. 2004 in Ulm auf der 34. GI-Jahrestagung stattfand. Die Fachgruppe hat diese dritte ATPS ausgerichtet (nach 1997 in Aachen und 1999 in Paderborn), formal organisiert als Workshop auf der GI-Jahrestagung.

Das Programm umfasste sieben nach Tagungskriterien ausgewählte Beiträge mit hoher Qualität und einen eingeladenen Vortrag. Dies ist für eine eintägige Veranstaltung angemessen. Herr Goerigk dankt dem Programmkomitee für die Auswahl der Beiträge und die geleistete Arbeit. Die akzeptierten Beiträge sind mit 10 Seiten Limit pro Beitrag in den Proceedings der GI Jahrestagung publiziert (anstatt der nur 5 Seiten für die anderen Workshops).

Die Organisation in Zusammenarbeit mit der Jahrestagung war wieder einfach und auch kostengünstig. Die Veranstaltung stärkt auch die wissenschaftlichen Seite auf der GI-Jahrestagung. Herr Goerigk dankt noch einmal ausdrücklich den Organisatoren der GI-Tagung, vor allem Herrn Dadam für die umfassende Unterstützung.

Mit etwas breiter Ausrichtung auch hinsichtlich der Programmiertechnik soll diese Veranstaltungsreihe weiterhin stattfinden, auch um dem Abhandenkommen von Kernkompetenz entgegenzuwirken.

TOP 4: Veranstaltungen

In 2006 soll der Workshop in Kooperation mit der GI-Fachgruppe TAV (2.1.7) "Test, Analyse und Verifikation von Software" veranstaltet werden, voraussichtlich 29.5. - 2.6. 2006 im Physikzentrum Bad Honnef. Der endgültige Termin wird auf der Fachgruppenseite bekanntgegeben.

Bad Honnef 2007: 2. - 4. Mai 2007

Herr Hanus macht den Vorchlag, den Workshop 2007 zusammen mit Gesellschaft für logische Programmierung GLP (ca. 25-30 Teilnehmer) zu veranstalten.

TOP 5: Verschiedenes

Die Proceedings des Workshops 2004 liegen seit Anfang Januar im WWW und sind über die Fachgruppenseite erreichbar. Eine kleine Auflage ist als Institutsbericht des Kieler Informatik-Instituts gedruckt und wird an die Teilnehmer verschickt.

Für den diesjährigen Workshop sollen wiederum Proceedings erstellt werden. Harte Deadline für die nicht mehr als zehnseitigen Beiträge (im LaTeX LNCS-Format): 30.6. 2005

gez.