Das diesjährige Fachgruppentreffen der Fachgruppe "Logik in der Informatik" fand vom 4.-6. Oktober 2004 in Saarbrücken gemeinsam mit dem Treffen der GI-Fachgruppe "Deduktion" statt. Im Rahmen dieses Treffens fand am 5. Oktober 2004 um 17:30 Uhr auch die diesjährige Fachgruppensitzung statt.
Tagesordung:
ad 1)
Der Fachgruppensprecher berichtet, daß es ein neues open-access
Journal gibt, dessen Ausrichtung mit der der Fachgruppe LogInf
übereinstimmt: Logical Methods in Computer Science
http://www.lmcs-online.org/
ad 2)
Für das Treffen in 2005 wurde beschlossen, diesmal nicht mit
der Fachgruppe Deduktion zusammen zu gehen, zum einen um wieder
stärker andere Bereiche der Logik in der Informatik anzusprechen,
zum anderen da die Fachgruppe Deduktion ihr Jahrestreffen 2005
wahrscheinlich im Rahmen der deutschen KI Konferenz KI'06
abhalten wird.
Jan Johannsen (LMU München) bot an, das Jahrestreffen 2005 an der LMU München abzuhalten und dieser Vorschlag wurde von den Teilnehmern der Fachgruppensitzung positiv aufgenommen.
Inzwischen steht fest, daß das Treffen am 19. und 20. Mai stattfinden wird. Mehr Information findet sich unter http://www.tcs.ifi.lmu.de/LogInf05/
ad 3)
Hierzu gab es keine Beiträge.