Minutes of the business- and membership meeting of the 

European Association for Computer Science Logic (EACSL),
Sept 27, Kazimierz Dolny (Poland)

The meeting is opened at 8:30 pm by the president of EACSL, Prof.  
Bðrger, who chairs the meeting. Prof. Schulz takes the minutes.

15 members of the EACSL are present. List of participants, see  
appendix.

It is declared that the meeting has been convoked in accordance with  
the statutes.

Members had been sent the agenda; it contains the following points:

1. Confirmation of the agenda.

2. Report of activities and report of the accountants for 1993.

3. Election of the accountants for 1994.

4. Proposals for further activites by the members.

5. Report of the CLS '94 program committee

6. Miscellaneous



To 1. The agenda is accepted as presented (15:0:0).

To 2. Prof. Bðrger reports on the activities of the EACSL (see  
appendix). Treasurer, Prof. Ambos-Spies gave a detailed account of  
the financial situation (see appendix). The reports are accepted with  
two abstentions.

To 3. Prof. Bðrger suggests Dr. Lenski and Prof. Schðnfeld as  
accountants for 1994. Both had already agreed to accept the  
nomination. The vote  for the two is unanimous.

To 4. Paderborn is introduced as meeting place for CSL'95.  
Furthermore, it is announced that CSL '97 will take place in Aarhus  
and CSL '98 in Utrecht.
Plans to support other future meetings (HOA 95, 1000 DM) are  
mentioned.

Prof. Barendregt suggests making an actual list of all EACSL member  
available. Prof. Bðrger proposes sending these lists out from  
Paderborn.

Prof. Pacholski suggests to see if it is possible to make available   
proceedings of previous conferences that are no longer on sale. Prof.  
Bðrger agrees to look into the possibility of doing so.

To 5. Prof. Tiuryn, Charmain of the Program Committee of CSL'94,  
reports on the CSL '94. 41 of the 151 papers submitted were accepted  
for the conference. 39 were presented. The conference had 90  
participants from 24 countries.
Prof. Pacholski supplements the report and gives suggestions for the   
work of future Program Committees, especially about the form of the  
abstracts.

Prof. Bðrger and all members of the meeting express their  
appreciation to Prof. Tiuryn and the Program Committee of the CSL '94  
for their work.

To 6. In the discussion about the ideal form for the proceedings of  
future CSL conferences the differing positions become clear. Prof.  
Tiuryn withdraws from the scientific council of the EACSL. Prof.  
Lautemann proposes breaking off the discussion. The proposal is voted  
on and passes with 5 nays and 2 abstentions. The question of the  
proceedings will be put onto the agenda of the next meeting where it  
will be possible to come to formal decisions by means of vote.

The meeting is adjourned at 22.10.

Chairman                                                               
Responsible for the Minutes

Business- and membership meeting of the 

European Association for Computer Science Logic (EACSL),
Sept 27, Kazimierz Dolny (Poland)


List of Participants



K. Ambos-Spies
H. Barendregt
E. Bðrger
B. Courcelle
J.-P. Jouannaud
J. Kuper
C. Lautemann
J. Marcinkowski
M. Møotkowski
L. Pacholski
K.U. Schulz
Z. Spøawski
M.A. Taitslin
L. Tendera
J. Tiuryn
P. Urzyczyn