Tagesordnung
Ad 1.
Martin Hofmann schlägt vor, das Fachgruppentreffen im Rahmen der Informatik 2008 zu organisieren, die im September in München stattfinden wird.
Die Möglichkeit, das Treffen als offiziellen Workshop der Informatik 2008 zu veranstalten, wird verworfen, da das Thema "Logik in der Informatik" fuer einen solchen Workshop zu breit ist und die Gebühr fuer das Fachgruppentreffen zu hoch würden.
Es wird beschlossen, dass Mitglieder der Fachgruppe einen thematisch fokussierteren Workshop auf der Informatik 2008 organisieren und das Fachgruppentreffen in unmittelbarer zeitlicher und räumlicher Naehe stattfindet. Helmut Seidl und Martin Leucker erklären sich bereit, die Organisation des Fachgruppentreffens an der TU München zu übernehmen.
Sollte der geplante Workshop auf der Informatik 2008 nicht zustande kommen, so wird auch das Fachgruppentreffen nicht in München stattfinden, da bereits das Treffen 2005 in München war. Für diesen Fall erklärt Manfred Schmidt-Schauß sich bereit, das Treffen 2008 in Frankfurt zu organisieren.
Ad 2.
Thomas Wilke berichtet, dass von Seiten des Fachbereichs 0 der GI eine stärkere Sichtbarkeit der theoretischen Informatik innerhalb der GI gewünscht wird. Es stehen von Seiten des FB0 Mittel zur Verfügung, um diesbezügliche Aktivitäten zu unterstuetzen.
Es wird beschlossen, dass die Fachgruppe einen Workshop zum Thema Verifikation auf der Informatik 2008 organisiert (genaues Thema noch zu bestimmen). Helmut Seidl und Martin Leucker erklären sich bereit, die Koordination zu übernehmen.