Am 6. Juni 2001 wurde in München das jährliche Treffen unserer Fachgruppe Logik in der Informatik veranstaltet, in dessen Rahmen auch die Fachgruppensitzung stattfand. Von der Fachgruppenleitung haben daran F. Baader, M. Droste und P. Schmitt teilgenommen; zusätzlich beteiligten sich ca. 10 Teilnehmer des Fachgruppentreffens an den Diskussionen. Auf der Tagesordnung standen
Hier gab es bereits im Vorfeld die Idee, das Treffen 2002 gemeinsam mit der Fachgruppe Deduktion zu veranstalten. P. Schmitt und Reinhold Letz (Sprecher der Fachgruppe Deduktionssysteme) berichten, daß dieser Vorschlag auf dem Deduktionstreffen positiv gesehen wurde und daß sich D. Basin (Uni Freiburg) bereit erklärt hatte, das Deduktionstreffen 2002 zu organisieren.
Es wurde beschlossen, daß F. Baader versuchen soll, H.-D. Ebbinghaus für die Organisation unseres Fachgruppentreffens in Freiburg zu gewinnen.
Bemerkung: Dies ist inzwischen gelungen. H.-D. Ebbinghaus wird zusammen mit D. Basin ein gemeinsames Treffen organisieren, und zwar vom **2.10.-4.10 2002** in Freiburg. Dabei werden sich die deduktionsspezifischen Vorträge eher auf den Anfang und die "rein" logischen auf das Ende des Treffens konzentrieren. Die Fachgruppensitzung unserer Fachgruppe wird am 3.10 (später Nachmittag) stattfinden. Eine erste Ankündigung des Treffens wird demnächst verschickt werden.
ad 2)Es gab hierzu verschiedene Vorschläge, die aber bisher noch nicht zu konkreten Aktionen geführt haben; z.B.:
Der bisherige Text (siehe http://wwwmayr.informatik.tu-muenchen.de/gi/ziele.html#016) stammt wohl aus dem Einrichtungsantrag für die Fachgruppe und ist dem derzeitigen Stand der Logik in der Informatik nicht mehr angemessen. Die Teilnehmer an der Diskussion ware der Meinung, daß hier ein neuer (weniger defensiv und abgrenzender) Text entworfen werden sollte.
Bemerkung: Dies ist inzwischen geschehen. Der neue Text ist sowohl auf der Web-Seite des Fachbereichs 0 als auch auf der Web-Seite unserer Fachgruppe zu finden.