\documentstyle[a4,12pt,german]{article}
%\voffset=-30mm
%\parindent=0pt
\pagestyle{plain}
\begin{document}

 
{\bf
\begin{center}
Protokoll der Gr"undungsversammlung der Gesellschaft \\
"`European Association for Computer Science Logic"'
\end{center}
}

\begin{tabbing}
\hspace*{6em} \= \kill
Ort:    \> Internationales Begegnungs-- und Forschungszentrum 
           f"ur Informatik \\
        \> Schlo"s Dagstuhl / Wadern \\
Datum:  \> 14.7.92 \\
Begin:  \> 20:00h \\
Ende:   \> 22:30h \\
Teilnehmer: \>
K.\ Ambos--Spies,
C.\ B"ohm,
E.\ B"orger,
S.\ R.\ Buss,
P.\ Clote, \\
\> D.\ van Dalen,
M.\ Fitting,
J.\ Franco,
A.\ Goerdt,
G.\ Gottlob, \\
\> E.\ Grandjean,
Y.\ Gurevich,
G.\ J"ager,
M.\ Karpinski, \\
\> H.\ Kleine B"uning,
F.\ Kr"oger,
Th.\ Lettmann,
J.\ A.\ Makowski, \\
\> S.\ Martini,
K.\ Meinke,
D.\ Mundici,
L.\ Pacholski, \\
\> G.\ R.\ Renardel de Lavalette,
E.\ Riccobene,
M.\ M.\ Richter, \\
\> M.\ Rodriguez Artalejo,
W.\ R"odding,
D.\ Rosenzweig, \\
\> M.\ de Rougemont,
U.\ Schmerl,
P.\ H.\ Schmitt,
J.\ Smith, \\
\> E.\ Speckenmeyer,
D.\ Spreen,
R.\ St"ark,
H.\ Volger,
J.\ Zlatuska
\end{tabbing}

Herr B"orger "ubernimmt mit Zustimmung aller 
Anwesenden den Vorsitz der Versammlung. Herr Lettmann "ubernimmt
die Anfertigung des Protokolls.

Herr B"orger er"offnet die Versammlung mit einem "Uberblick "uber die
Geschichte der Tagung "`Computer Science Logic"' und motiviert die
beabsichtigte Gr"undung der Gesellschaft
"`European Association for Computer Science Logic"'. 

Die Gr"undung der Gesellschaft wird von allen Teilnehmern einstimmig ohne 
Enthaltung bef"urwortet. Eine Liste der Gr"undungsmitglieder
wird erstellt.

Nach eingehender Diskussion wurde die beiliegende Satzung von
den anwesenden Gr"undungsmitgliedern einstimmig ohne Enthaltung 
beschlossen.

Anschlie"send wird entsprechend der Satzung der Vorstand gew"ahlt.
Herr Gurevich schl"agt Herrn B"orger f"ur das Amt des Vositzenden vor.
Unter Vorsitz von Herrn Richter wird 
Herr B"orger einstimmig bei einer Enthaltung zum Vorsitzenden des
Vorstands gew"ahlt. Er nimmt die Wahl an und "ubernimmt wieder den
Vorsitz der Versammlung.

Herr B"orger schl"agt f"ur das Amt des stellvertretenden Vorsitzenden
Herrn van Dalen, f"ur das Amt des Schatzmeisters Herrn Ambos--Spies und
als weitere Mitglieder des Vorstands die Herren B"ohm, Buchberger, 
Girard, Gurevich, Meinke, Pacholski vor. Die Kandidaten werden jeweils
einstimmig bei jeweils einer Enthaltung gew"ahlt und nehmen die Wahl
an.

Nach eingehender Diskussion 
schl"agt die Mitgliederversammlung dem Vorstand
die folgenden Personen als Mitglieder des wissenschaftlichen 
Beirats vor:
\begin{quote}
Abramsky (GB), Hodges (GB), 
Jouaunnaud (F), Hu"et (F), 
Bergstra (NL), Barendregt (NL),
Kleine B"uning (D), Richter (D),
Mundici (I),
Artalejo (E),
J"ager (CH),
Gottlob (AU),
N.\ Jones (DK),
Jervell (N),
Smith (S),
Zlatuska (CSR), Hajek (CSR),
Tiuryn (PL), Rauszer (PL),
Rosenzweig (Kroatien),
Makowsky (Israel)
\end{quote}
Die Abstimmung war jeweils einstimmig bei jeweils
f"unf Enthaltungen f"ur die genannten Personen.

Die Diskussion "uber die Mitgliedsbeitr"age ergibt folgenden Vorschlag:
\begin{tabbing}
\hspace*{12cm} \= \kill
Mitglieder: \> DM 20,-- \\
Mitglieder aus L"andern mit W"ahrungsproblemen: \> DM 10,-- \\
Studenten: \> DM 10,-- \\
juristische Personen und 
sonstige Personenvereinigungen: \> DM 300,--
\end{tabbing}
Dieser Vorschlag wird einstimmig ohne Enthaltungen angenommen.

Die Mitgliederversammlung schl"agt dem Vorstand die
Ver"offentlichung der Gr"undung in einem geeigneten Forum,
die Einrichtung eines Electronic Newsletter
und die Bereitstellung einer FTP--Datenbank f"ur umfangreichere
Informationen, z.B.\ auch Konferenzbeitr"age vor.

Als letzter Punkt wird in der Versammlung eine lebhafte Diskussion "uber die
Modalit"aten der Ver"offentlichung von Beitr"agen zur Konferenz
CSL gef"uhrt. In den zuk"unftigen B"anden soll deutlicher als bisher 
darauf hingewiesen werden, da"s es sich um Papiere handelt,
die ein strenges Referee--Verfahren durchlaufen haben.

Die Versammlung wird um 22:30h geschlossen.

\end{document}