Protokoll der Mitglieder- und Gesch"aftsversammlung

 der European Association of Computer Science Logic (EACSL)

         in Br"unn, Dienstag, den 25. August 1998.



Der Pr"asident der EACSL, Marc Bezem, er"offnete die Versammlung um

18:30 Uhr. Er leitet ebenfalls die Versammlung als Vorsitzender. Andreas

Goerdt f"uhrt das Protokoll.


Es nehmen 28 Mitglieder an der Versammlung teil. Die Teilnehmerliste ist in

der Anlage beigef"ugt. Es wird einstimmig festgestellt, dass die Versammlung

gem"ass den Statuten der EACSL einberufen wird.


Der Vorsitzende schl"agt folgende Tagesordung vor:



  1.  Annahme der Tagesordung


  2.  T"atigkeitsbericht mit dem Finanzbericht f"ur 1997


  3.  Beschluss des Finanzhaushaltes 1998


  4.  Bericht des CSL'98- Programm-Komitees.


  5.  Die k"unftige Gestaltung der CSL und ihrer Ver"offentlichungen


  6.  "Anderungen der EACSL-Gremien (Vorstand und Forschung)


  7.  Vorschl"age durch die Mitglieder f"ur weitere Aktivit"aten


  8.  Verschiedenes



                                   1




zu_1:_ Die Tagesordung wird einstimmig angenommen.


zu_2:_ Der Vorsitzende berichtet "uber Aktivit"aten des letzten Jahres:


        a. Die Veranstaltungsorte der n"achsten beiden CSL-Tagungen wer-

           den beschlossen:

           CSL 1999 in Madrid (Rodriguez-Artalejo, Flum)

           CSL 2000 in M"unchen (Clote, Schwichtenberg)

           Mario Rodriguez-Artalejo stellt den Tagungsort Madrid vor.

        b. Der Vorsitzende informiert dar"uber, dass die EACSL nicht die

           finanzielle Unterst"utzung von der EU f"ur die n"achsten beiden

           CSL-Tagungen erh"alt. Ursache hierf"ur sei scheinbar ein negatives

           (neben mehreren positiven) Gutachten.

        c. Der Vorsitzende stellt den Finanzbericht f"ur 1997 vor: Die Buch-

           halter  B.  Borchert  (Heidelberg),  W.  Lenski  (Kaiserslautern)

           best"atigen den Bericht. Die Versammlung dankt den Buchhalter

           f"ur ihre Arbeit.

        d. Der Schatzmeister (Clemens Lautemann (Mainz)), gibt einen Be-

           richt "uber die finanzielle Situation der EACSL von 1997.

           Einnahmen 1997: DM 2298.84 (Mitgliedsbeitr"age)

           Ausgaben: DM 118.34 (Kontof"uhrungsgeb"uhren)

           Kontostand per 31.12.1997: DM 6938.44

           Mitglieder der EACSL per 31.12.1997: 135

        e. Der Vorstand f"ur das Jahr 1997 wird einstimmig von der Ver-

           sammlung entlastet.


zu_3:_ Einem Vorschlag des Schatzmeisters folgend, werden von der Ver-

       sammlung einstimmig Martin Kreidler (Karlsruhe) und Klaus Bar-

       thelmann (Mainz) als Buchhalter f"ur das Jahr 1998 bestimmt.


zu_4:_ Georg Gottlob berichtet "uber die Arbeit des CSL-Programm-Komitees

       1998. Fast alles verlief glatt. Ein Komiteemitglied ist jedoch auf Grund

       der Ablehung eines Artikels durch das Komitee zur"uckgetreten.


zu_5:_ In Bezug auf die k"unftige Gestaltung der CSL werden (der Email-

       Diskusion und Tagesordungspunkt vier der vorj"ahrigen Vollversamm-

       lun folgend) drei Entscheidungen gef"allt:



                                    2




a. Es wird abgestimmt "uber: Soll die CSL zuk"unftig ein einstufi-

   ges Begutachtungsverfahren an Stelle des bisherigen zweistufigen

   einf"uhren? CSL retain its 2-round referring process or adopt a

   1-round process?

   Die Abstimmung ist:

          zweistufige Begutachtung: 0 Stimmen.

          Enthaltungen: 1 Stimme.

          einstufige Begutachtung: die "ubrigen Stimmen.

   Der Vorsitzende h"alt fest, dass die CSL k"unftig ein einstufiges

   Begutachtungsverfahren einf"uhrt.

b. Es wird abgestimmt "uber: Soll der Termin f"ur die Abgabe der

   endg"ultigen Version der CSL-Ausgabe vor oder nach der Tagung

   liegen?

   Die Abstimmung ist:

          Abgabe vor der Konferenz: 15 Stimmen.

          Abgabe nach der Konferenz: 10 Stimmen.

          Enthaltungen: 3 Stimmen.

   Der Vorsitzende h"alt fest, dass k"unftig die endg"ultigen Artikel vor

   der Konferenz eingereicht werden m"ussen.

   In Bezug auf die praktische Durchf"uhrung dieser Entscheidung

   wird sie erstmals im Jahr 2000 durchgef"uhrt.

c. Es wird abgestimmt "uber: Sollen k"unftige CSL-Tagungen mit Ne-

   benveranstaltungen wie Tutorials h"ochstens sechs Tage dauern?

   Die Abstimmung ist:

          Enthaltungen: 11 Stimmen.

          Gegenstimmen: 0 Stimmen.

          F"ur den Vorschlag: die "ubrigen Stimmen.

   Der Vorsitzende h"alt fest, dass k"unftige CSL-Tagungen h"ochstens

   sechs Tage dauern.



                            3




zu_6:_ Der Vorsitzende informiert "uber A"nderungen im EACSL-Vorstand:

       Eric Palmgren hat den Vorstand Verlassen. Janos Makowsky wird vor-

       geschlagen, die freie Position zu besetzen. Dieser Vorschlag wird ohne

       Gegenstimme angenommen.


       Einige Vorschl"age, die Nachfolge von Amtsinhabern betreffend, werden

       diskutiert.


zu_7:_ Folgender Vorschlag wird unterbreitet: Die EACSL sollte "uber vakante

       Stellen durch einen Email-Verteiler informieren.


zu_8:_ Es wird nichts angesprochen.



 (Marc Bezem)                              (Andreas Goerdt)



                                    4