Protocol of the Meeting
of the European Association for Computer Science Logic 
(EACSL)
in San Miniato (Italy), September 29,1992

The meeting is opened by the President, Prof. Dr. Egon Brger, at 9.45 p.m.
Meeting chairman is the President, keeper of the protocoll is 
Dr. Wolfgang Lenski.

51 members of the EACSL are attending the meeting; the list of participants is 
enclosed.

The meeting was called according to the statutes.

The agenda was already announced to the members at the first calling, 
consisting of the following topics:

1. Confirmation of the agenda
2. Report on activities
3. By-law for the scientific council and the standing committee for conferences
4. Changes of the constitution
5. Suggestions of members concerning further activities
6. Vote of the accountants for 1992
7. Miscellaneous
Ad 1.) 
The chairman declares that further additonal preparations for topic no. 3 are 
necessary. On request of the chairman topic no. 3 of the agenda is postponed. 
The agenda is then confirmed unanimously by all present members.
Ad 2.)
- The Treasurer, Prof. Dr. Klaus Ambos-Spies, reports about the development of 
membership numbers.
- The chairman declares that all members of the scientific council have 
accepted their election.
- The chairman calls the attention to the next conference in Swansea/GB in 1993 
- Prof. Dr. Hans Kleine Bning announces the installation of a database for 
exchange of informations.
- Prof. Dr. Michel Parigot announces and informes about an intended series of 
Summer Schools under the working title "Advanced Logical Tools for Computer 
Science" which shall be sponsored for three years by the European Communitee as 
part of the EUROCONFERENCES-Programms "Human Capital and Mobility" and is 
intended for approximately 60 participants. 
For the preparation of the workshop he suggests that representatives of
different 
countries prepare a list of persons possibly interested. 
- The chairman reports about Prof. Alfredo Ferros organized "5th International 
School for Computer Science Researchers" in Acireale (Italy), 1993, which will be 
supported by the EACSL.
Ad 3.)
See the decision of the meeting mentioned under 1.)
Ad 4.)
A proposal for a change of the constitution is presented by the Treasurer. It reads:

Supplement to I.2 (Purpose of the Association), after the second paragraph:
The Association is a voluntary, non-profit making organization; it does not pursue 
primarily its own economical goals. 
Association funds are only to be used for purposes as laid down in the constitution. 
Members obtain no income out of the Association funds.
No-one may benefit from expenses which do not concur with the purposes of the 
Association nor from unjustifiably high renumerations. 

Addition to IV. (Dissolving the Association)
Decisions on future use of the assets may only be carried out after the approval of 
the tax office. 

The proposal is accepted by the members with 51 votes, 0 dissending votes and 0 
abstentions. The mentioned additions are thus integrated within the constitution.

Ad 5.)
- A proposal is presented to elect Prof. Aleksander Razborov (Moscow) and Prof. 
Mikhail Taitslin (Tver) into the scientific council. 
The proposal is accepted by the meeting with 51 votes, 0 dissending votes and 0 
abstentions. 

Ad 6.)
The accountants for 1992 have to be elected. The chairman announces two 
suggestions which were presented to the committee: Prof. Dr. Michael M. Richter 
(Kaiserslautern) and Dr. Wolfgang Lensi (Kaiserslautern). 
Both are elected with 51 votes, 0 dissending votes and 0 abstentions each. 
Both accept their election.
Ad 7.)
Prof. Dr. Hans Kleine Bning announces the availability and distribution of a 
Newsletter via electronic mail. It is suggested to submit it in addition for publication in 
the Bulletin of European Association for Theoretical Computer Science (EATCS).

The meeting ends at 11.00 p.m.

San Miniato, September 29,1992

The protocoll keeper:                                                The chairman
(Wolfgang Lenski)                                                       (Egon Boerger)