Tagesordnung
Ad 1.
Es wurde beschlossen, die Wahl bis zum 1.10.2008 zu beginnen. Martin Lange erklärt sich vorbehaltlich eigener Kandidatur bereit, die Wahlleitung zu übernehmen. Als einziges Mitglied der Fachgruppenleitung, das aufgrund von zwei geleisteten Amtsperioden nicht nocheinmal kandidieren kann, verschickt Thomas Wilke einen Aufruf zur Kandidatennominierung und sammelt die Nominierungen. Carsten Lutz scheidet auf eigenen Wunsch aus der Fachgruppenleitung aus. Es wurde seitens der Fachgruppe der Wunsch geäussert, dass die Fachgruppenleitung sowohl thematisch als auch geographisch heterogen zusammengesetzt sein sollte.
Ad 2.
Manfred Schmidt-Schauß hat angeboten, das Treffen in Frankfurt zu veranstalten. Als idealen Termin sieht die Fachgruppe den September an, zwischen den bayerischen Sommerferien und der INFORMATIK09.
Es wurde auch darüber diskutiert, ob in Zukunft die Fachgruppentreffen wieder im Rahmen der INFORMATIK organisiert werden sollten. Hierzu wurde keine generelle Entscheidung getroffen. Im Jahr 2009 wird das Fachgruppentreffen aber wie in den Vorjahren unabhängig von der INFORMATIK organisiert. Es bestand Einigkeit, dass die Fachgruppentreffen auch weiterhin offen und gebührenfrei sein sollten.
Es wurden keine konkreten Pläne gefasst, einen Workshop der Loginf Fachgruppe auf der INFORMATK09 anzubieten. Wenn ein Mitglied der Fachgruppe jedoch einen solchen Workshop organisieren möchte, so ist es wünschenswert, diesen als offiziellen Event der loginf Fachgruppe durchzuführen.
Ad 3.
Thomas Wilke hat angeregt, Informationen zu verschiedenen Grundvorlesungen zur Logik in der Informatik zusammenzutragen. Ein solches Vorhaben wurde allgemein begrüsst. Thomas Wilke wird daher mit der Sammlung beginnen. Über die Verwendung der gesammelten Informationen wird später entschieden. Eine Publikation auf der Loginf Webseite wurde vorgeschlagen, jedoch vorerst wegen der Schwierigkeit, Linksammlungen aktuell zu halten, zurückgestellt.