\documentstyle[12pt]{article} \pagestyle{empty} \parindent=0pt \parskip=4pt plus 2pt minus 1pt % A4 page definitions. By Roberto di Cosmo (1991); -s.m. % \textwidth 14.3cm % the original \textwidth 15.5cm % 7/91, --sm \oddsidemargin 0.5cm \evensidemargin 0.5cm \marginparwidth 1.0cm \marginparsep 0.4cm \marginparpush 0.4cm \topmargin 0cm \headheight 0cm \headsep 0cm \textheight 25.5cm \footskip .3cm \footheight .3cm %\hyphenation{ahrungsschwierigkeiten ahrungs-schwierigkeiten} \begin{document} \begin{center}{\large Protokoll der Mitgliederversammlung}\\ {\large der European Association for Computer Science Logic (EACSL)}\\ abgehalten am 14.9.1993 in Swansea (Gro\ss britannien)\end{center} Die Versammlung wird vom Vorsitzenden, Prof. B\"orger, um 19:30 er\"offnet. Versammlungsleiter ist der Vorsitzende, das Protokoll f\"uhrt Prof. Lautemann. \smallskip 23 Mitglieder der EACSL sind anwesend; Anwesenheitsliste s. Anlage. \smallskip Es wird festgestellt, da\ss\ die Versammlung satzungsgem\"a\ss\ einberufen wurde. \smallskip Die Tagesordnung war den Mitgliedern mit der Einladung zugegangen, sie enth\"alt die folgenden Punkte: \begin{enumerate} \item Best\"atigung der Tagesordnung \item Bericht \"uber Aktivit\"aten des Vorstands \item Entlastung des Vorstands \item Wahl der Rechnungspr\"ufer f\"ur 1993 \item Vorstellung des n\"achsten Tagungsortes \item Beitragsregelung f\"ur Mitglieder in L\"andern mit W\"ahrungsschwierigkeiten \item Vorschl\"age f\"ur weitere Aktivit\"aten \item Verschiedenes \end{enumerate} \begin{itemize} \item[ad 1.] Die Tagesordnung wird best\"atigt. (23:0:0) \item[ad 2.] Siehe Anlage. \item[ad 3.] Der Bericht wird angenommen und der Vorstand entlastet. (23:0:0) \item[ad 4.] Auf Vorschlag des Vorsitzenden werden Prof. Lautemann und Dr. Lenski als Rechnungspr\"ufer f\"ur 1993 gew\"ahlt. (23:0:0, 23:0:0) Prof. Lautemann nimmt die Wahl an, Dr. Lenski hatte dem Vorsitzenden seine Bereitschaft, das Amt zu \"ubernehmen, erkl\"art. \item[ad 5.] Prof. Pacholsky stellt Kazimierz als Ort der n\"achsten Tagung vor. Nach erster Sch\"atzung werden die Teilnahmekosten bei \$400 liegen, die F\"orderung durch die EG (vgl. 2.5) wird eine Unterst\"utzung bed\"urftiger Teilnehmer gestatten. Der ''call for papers'' wurde in Swansea verteilt und wird demn\"achst ver\"offentlicht. \item[ad 6.] Da die Zahlung der Mitgliedsbeitr\"age f\"ur Wissenschaftler in L\"andern mit W\"ahrungs\-schwierigkeiten ein gro\ss es Problem darstellen k\"onnte, schl\"agt der Vorsitzende folgendes, vom Schatzmeister entworfene Verfahren vor: \begin{itemize} \item[] Jedes Mitglied hat die M\"oglichkeit, eine Anzahl zus\"atzlicher (reduzierter) Beitr\"age zu zahlen, aus denen eine entsprechende Anzahl beitragsfreier Mitgliedschaften eingerichtet werden. Dabei kann das zahlende Mitglied festlegen, f\"ur welche Personen dieses Geld verwendet werden soll. \"Uber weitere freie Mitgliedschaften entscheidet der Schatzmeister. \end{itemize} Nach Diskussion wird dieser Vorschlag angenommen. (23:0:0) \newpage \item[ad 7.] Drei Vorschl\"age werden diskutiert: \begin{itemize} \item Beteiligung an einschl\"agigen Aktivit\"aten andere Organisationen. \item F\"uhrung einer eigenen Zeitschrift. \item Problem--Sitzungen mit kurzen Pr\"asentationen auf zuk\"unftigen CSL--Tagungen. \end{itemize} \item[ad 8.] Es liegen keine Wortmeldungen vor. \end{itemize} Um 21:25h schlie\ss t der Vorsitzende die Versammlung. \bigskip \bigskip \begin{center} Der Protokollf\"uhrer \hspace{6cm} Der Vorsitzende \end{center} \end{document} --------------------------------------------------------------------- \item[ad 7.] Drei Vorschl\"age werden diskutiert: \begin{itemize} \item EACSL sollte sich offiziell an einschl\"agigen Aktivit\"aten andere Organisationen beteiligen. Der Vorsitzende berichtet, da\ss\ dies bereits geschiehgt ({\em Hoare meeting}) und auch weiterhin geschehen wird. \item EACSL sollte eine eigene Zeitschrift haben. Es besteht Einigkeit, da\ss\ man die Kooperation mit einer guten etablierten Zeitschrift erw\"agen sollte, allerdings sei dies zur Zeit noch nicht sinnvoll. \item Auf der CSL--Tagung sollten Sitzungen mit kurzen Pr\"asentationen nicht begutachteter Arbeiten eingef\"uhrt werden. Dieser Vorschlag wird allgemein begr\"u\ss t, auf eine Abstimmung wird jedoch verzichtet. \end{itemize} --------------------------------------------------------------------- \documentstyle[12pt]{article} \begin{document} \begin{center}{\Large Minutes of the annual general assembly of the European Association for Computer Science Logic} Swansea, 14$^{th}$ September 1993 \end{center} The president of the association, Prof. B\"orger opens the meeting at 7:50pm. Chairman is the president, the minutes are taken by Prof. Lautemann. 23 members are present (cf. attachment). The chairman {\em states} that the meeting has been called in accordance with the {\em Satzung}. The agenda had been sent out together with the invitation. There are the following topics: \begin{enumerate} \item bla \end{enumerate} \begin{enumerate} \item The agenda is approved. (23:0:0) \item Cf. attachment. \item The assembly {\em accepts} the report and {\em entlastet den Vorstand} \item Following the chairman's suggestion, the assembly elects Prof. Lautemann and Dr. Lenski to act as accountants for 1993. (23:0:0) \item Prof. Pacholski presents Kazimierz, a small town south of Warsaw, as the site of the next CSL conference. He estimates the costs for participants as about \$ 400. Due to EC funding (cf. 2.5), there will be grants available. The call for papers is distributed at the meeting and will be published shortly. \item The chairman expresses concern that scientists in countries with currency problems might find it very difficult to pay the membership fees. He proposes the following scheme, designed by the treasurer: \begin{itemize} \item[] Every member can pay extra (reduced) fees, designated to create an according number of free memberships which the member might restrict to be available only to specified persons. Further free memberships can be awarded by the treasurer. \end{itemize} After discussion, the meeting accepts this proposal. (23:0:0) \item There are three suggestions: \begin{itemize} \item EACSL should participate officially (not financially) in suitable activities of other organisations. The chairman replies that this is alraedy happening ({\em Hoare meeting}), and will continue to happen. \item EACSL should endorse a journal. There is agreement that cooperation with a good, well established journal should be considered, although it is felt that it is yet too early for such a move. \item Future CSL conferences should include sessions with short presentations of unrefereed papers. There is general agreement, but no formal decision is made. \end{itemize} \item There are no further matters. \end{enumerate} At 9:25pm the chairman closes the meeting. \bigskip \bigskip \begin{center} {\em Protokollf\"uhrer} \hspace{5cm} chairman \end{center} \end{document}