TOP 1) Das 14. Treffen der Fachgruppe wird in Braunschweig stattfinden. Vielen Dank an Jiri Adamek und sein Team, die sich bereiterklaert haben, die Organisation zu uebernehmen.
TOP 2) Zur Erhoehung der Sichtbarkeit unseres Fachbereichs innerhalb der GI wurde beschlossen, bei der naechsten GI-Jahrestagung in Bremen einen Workshop anzubieten, der von Thema und Art der Vortraege auch fuer Nichtmitglieder der Fachgruppe von Interesse sein koennte. Als moegliche Themen wurden genannt Beschreibungslogik, Wissensrepraesentation, oder auch Verifikation. Die Vortraege sollen zumindest teilweise den Charakter von Tutorien oder Ueberblicksvortraegen haben, darueberhinaus koennte ein prominenter eingeladener Vortrag wuenschenswert sein. Eine Arbeitsgruppe bestehend aus Pascal Hitzler, Carsten Lutz, Thomas Schwentick, Tobias Ganzow, Lukas Kaiser wird sich mit der Ausgestaltung dieser Ideen befassen.
TOP 3) Carsten Lutz stellte eine neue Version der WWW Seite der Fachgruppe vor. Er wird noch Links auf die einzelnen Arbeitsgruppen einfuegen.
TOP 4) Von der EACSL gab es eine Anfrage, ob unsere Fachgruppe bereit waere, in 2008 eine Sommerschule zum Thema Logik in der Informatik zu organisieren. Diese wurde in der Sitzung nicht abschliessend beantwortet und an das Sprechergremium verwiesen.