Protokoll der Mitgliederversammlung der European Association for Computer Science Logic (EACSL), vom 27. September 1994 in Kazimierz Dolny (Polen) Die Versammlung wird vom Vorsitzenden, Prof. Bðrger, um 20.30 Uhr erðffnet. Versammlungsleiter ist der Vorsitzende, das Protokoll föhrt Prof. Schulz. 15 Mitglieder der EACSL sind anwesend. Anwesenheitsliste siehe Anlage. Es wird festgestellt, daû die Versammlung satzungsgemÙû einberufen wurde. Die Tagesordnung war den Mitglieder zugegangen, sie enthÙlt die folgenden Punkte: 1. BestÙtigung der Tagesordnung 2. Bericht öber AktivitÙten und Bericht der Rechnungspröfer för 1993 3. Wahl der Rechnungspröfer för 1994 4. VorschlÙge der Mitglieder för weitere AktivitÙten 5. Bericht des CSL'94 Programm Komitees 6. Verschiedenes ad 1. Die Tagesordnung wird bestÙtigt (15:0:0). ad 2. Prof. Bðrger berichtet öber die AktivitÙten der EACSL (s. Anlage). Der Schatzmeister, Prof. Ambos-Spies, stellt die finanzielle Situation detailliert dar (s. Anlage). Die Berichte werden bei zwei Enthaltungen angenommen und der Vorstand wird entlastet. ad 3. Auf Vorschlag von Prof. Bðrger sollen Dr. Lenski und Prof. Schðnfeld als Rechnungspröfer för 1994 bestimmt werden. Es liegen von beiden Personen Zusagen vor, das Amt zu öbernehmen. Der Vorschlag wird einstimmig angenommen. ad 4. Paderborn wird als CSL-Tagungsort för 1995 vorgestellt. Es wird weiterhin berichtet, daû die CSL'97 in Aarhus und die CSL'98 in Utrecht stattfinden werden. Weitere geplante Unterstötzungen (HOA 95, 1000 DM) werden erwÙhnt. Prof. Barendregt regt an, daû eine aktuelle EACSL-Mitgliederliste zugÙnglich gemacht wird. Prof. Bðrger schlÙgt vor, diese von Paderborn zu verschicken. Prof. Pacholski schlÙgt vor, nach Mðglichkeiten zu sehen, alte Proceeding-BÙnde, die im Handel nicht mehr erhÙltlich sind, zugÙnglich zu machen. Prof. Bðrger sagt zu, nach Mðglichkeiten zu schauen. ad 5. Prof. Tiuryn als Vorsitzender des Programm-Komitees berichtet öber die CSL'94. Von 151 eingegangenen Arbeiten wurde 41 för die Tagung akzeptiert. Vorgestellt wurden 39. Die Konferenz hatte 90 Teilnehmer aus 24 LÙndern. Prof. Pacholski ergÙnzt den Bericht und gibt Anregungen för das Vorgehen zukönftiger Programm-Komitees, die vor allem die Form der Abstracts betreffen. Prof. Bðrger und die Anwesenden danken Prof. Tiuryn und dem Programm-Komitee der CSL'94 för die geleistete Arbeit. ad 6. Es findet eine Diskussion öber die beste Form der Proceedings zukönftiger CSL Konferenzen statt, in deren Verlauf kontroverse Standpunkte deutlich werden. Prof. Tiuryn erklÙrt seinen Röcktritt vom wissenschaftlichen Beirat der EACSL. Prof. Lautemann schlÙgt vor, die Diskussion abzubrechen. Es wird abgestimmt. Der Vorschlag wird bei 5 Gegenstimmen und 2 Enthaltungen angenommen. Die Frage der Proceedings soll bei der nÙchsten Versammlung auf die Tagesordnung gesetzt werden, um eine beschluûfÙhige Abstimmung zu ermðglichen. Die Versammlung wird um 22.10 Uhr geschlossen. Der Vorsitzende Der Protokollföhrer