Das diesjährige Fachgruppentreffen der Fachgruppe "Logik in der Informatik" fand vom 8.-10. Oktober 2003 in Augsburg gemeinsam mit dem Treffen der GI-Fachgruppe "Deduktion" statt. Im Rahmen dieses Treffens fand am 8. Oktober 2003 um 17 Uhr auch die diesjährige Fachgruppensitzung statt.
Tagesordung:
ad 1)
Im August (Wahlende 24.8.) fand die Wahl der Fachgruppenleitung
statt. Als Kandidaten hatten sich Franz Baader (TU Dresden), Manfred
Droste (TU Dresden), Reinhold Letz (TU München) und Thomas Wilke
(CAU Kiel) zur Verfügung gestellt. Der Wahlleiter Jan Johannsen
gab das Ergebnis bekannt. Da alle Kandidaten mehr Ja- als Nein-
Stimmen erhalten haben, besteht die neue Fachgruppenleitung
aus den vier Kandidaten. Der Kandidat mit der größten Differenz
(Franz Baader) ist Fachgruppensprecher und der Kandidat mit der
zweitgrößten Differenz (Thomas Wilke) sein Stellvertreter.
In diesem Jahr wurde der GI-Dissertationspreis (für die beste Informatikdissertation in 2002) an zwei Arbeiten aus dem Bereich Logik in der Informatik vergeben. Die Preisträger sind Nicole Schweikardt und Stephan Kreutzer.
ad 2)
Die Fachgruppe Deduktion hat auf ihrem Treffen angeboten, auch 2004
das Jahrestreffen gemeinsam mit unserer Fachgruppe abzuhalten. Als
Veranstalter hat sich die AG Siekmann (Uni des Saarlandes, Saarbrücken)
angeboten. Als Alternative wurde das bereits 2002 gemachte Angebot
der DVMLG (Deutsche Vereinigung für Mathematische Logik und für
Grundlagenforschung der exakten Wissenschaften) diskutiert, unser
Fachgruppentreffen mit ihrem Treffen in Heidelberg abzuhalten. Eine
Mehrheit der Anwesenden sprach sich dafür aus, diese zweite
Alternative nochmals aktiv weiter zu verfolgen. Nachdem hier weitere
Kontakte stattgefunden haben, ist die Fachgruppenleitung zum Schluß
gekommen, dass es in 2004 besser ist, die erste Alternative zu wählen.
Das Fachgruppentreffen 2004 wird daher Ende September oder Anfang Oktober 2004 gemeinsam mit dem Deduktionstreffen in Saarbrücken stattfinden.
ad 3)
Hier wurde zum einen diskutierte, wie man erreichen könnte, dass
in den Curricula der neuen Bachelor- und Masterstudiengängen in der
Informatik die Logik adäquat vertreten ist. Wer hierzu Ideen und
Vorschläge hat, möge sich an die Fachgruppenleitung wenden.
Zum anderen wurde angeregt, auf die Fachgruppenseite Links auf
Seiten von Gruppen, welche in Deutschland in der Logik in der
Informatik aktiv sind, aufzunehmen. Falls jemand Interesse daran
hat, eine derartige Seite zu erstellen und zu verwalten, möge
sich bitte beim Fachgruppensprecher melden.