Das diesjährige Fachgruppentreffen der Fachgruppe "Logik in der Informatik" fand vom 2-4. Oktober 2002 in Freiburg gemeinsam mit dem Treffen der GI-Fachgruppe "Deduktion" statt. Im Rahmen dieses Treffens fand am 3. Oktober 2002 um 17 Uhr auch die disjährige Fachgruppensitzung statt.
Tagesordung:
Der Fachgruppensprecher F. Baader berichtet über die Aktivitäten seit der letzten Fachgruppensitzung:
Die Fachgruppe Deduktion hat auf ihrem Treffen angeboten, auch 2003 das Jahrestreffen gemeinsam mit unserer Fachgruppe abzuhalten. Als Veranstalter hat sich die Gruppe von Prof. Reif (Uni Augsburg, siehe http://www.Informatik.Uni-Augsburg.DE/swt/) angeboten. Die anwesenden Mitglieder der Fachgruppe LogInf stimmten diesem Vorschlag zu.
Bereits in München war angeregt worden zu versuchen, ein Treffen gemeinsam mit der DVMLG (Deutsche Vereinigung für Mathmatische Logik und für Grundlagenforschung der exakten Wissenschaften) abzuhalten. Das nächste Treffen der DVMLG wird 2004 in Heidelberg stattfinden. Die anwesenden Mitglieder der Fachgruppe LogInf stimmten dem Vorschlag zu, daß der Fachgruppensprecher diese Möglichkeit aktiv weiterverfolgt.
Die Fachgruppenleitung muss alle drei Jahre gewählt werden. Die derzeitige Leitung ist nun 2 Jahre im Amt. Daher sollte bis zur nächsten Sitzung im Herbst 2003 eine neue Leitung gewählt werden. Als Wahlleiter hat sich freundlicherweise Jan Johannsen (LMU München) zur Verfügung gestellt. Der Fachgruppensprecher wird demnächst über die Mailingliste einen Aufruf zur Nennung von Kandidaten verschicken.