Minutes of the Membership- and Business Meeting

of the European Association of Computer Science Logic (EACSL)

           in Brno, Tuesday, August 25, 1998.



The president of the EACSL, Marc Bezem, opens the meeting at 18.30. He

is also the chairman of the meeting. Andreas Goerdt takes the minutes.


The number of participants is 28. The list of participants is attached. It is

unanimously agreed upon, that the meeting has been convoked according to

the statues of the EACSL.


The chairman suggests the agenda:



  1.  Confirmation of agenda.


  2.  Report on activities, including report from accountants for 1997.


  3.  Choice of the accountants for 1998.


  4.  Report from the CSL'98 program committee.


  5.  Future format of CSL, in particular its proceedings.


  6.  Changes in the EACSL board/scientific council.


  7.  Proposals by members for further activities.


  8.  Miscellaneous.



                                   1




ad_1:_ The agenda is unanimously accepted.


ad_2:_ The chairman reports on the activities of the past year:


        a. The locations of the next 2 CSL's are confirmed.

           CSL 1999 in Madrid (Rodriguez-Artalejo, Flum)

           CSL 2000 in Munich (Clote, Schwichtenberg)

           Mario Rodriguez-Artalejo presents the conference location Ma-

           drid.

        b. The chairman reports that the EACSL will not receive the grant

           from the European Community to which they have applied to

           help finance the next 2 CSL's. Apparently a reason is 1 negative

           referee report among several positive ones.

        c. The chairman communicates the accountants' report for 1997:

           The accountants, B. Borchert (Heidelberg), W. Lenski (Kaisers-

           lautern) found the accounts in order. The assembly thanks the

           accountants for their work.

        d. The treasurer (Clemens Lautemann (Mainz)), reports on the fi-

           nancial situation of the EACSL in 1997:

           Incoming in 1997: DM 2298.84 (membership fees)

           Outgoing in 1997: DM 118.34 (bank charges)

           Capital at the end of 1997: DM 6938.44

           Members of the EACSL at the end of 1997: 135

        e. The board for 1997 is discharged unanimously by the assembly.


ad_3:_ Following a suggestion of the treasurer the accountants for 1998 are

       selected: Martin Kreidler (Karlsruhe), Klaus Barthelmann (Mainz).

       The vote of the assembly is unanimous in favour of this proposal.


ad_4:_ Georg Gottlob reports on the work of the CSL programme committee

       for 1998.Almost everything went smoothly. But one member of the

       committee has resigned due to the non-acceptance of a paper by the

       committee.


ad_5:_ Concerning the future of the CSL 3 decisions are taken (following an

       e-mail discussion during the past year, cf. 4 of last year's minutes):



                                    2




a. A vote on the following alternative is taken: Should CSL retain

   its 2-round refereeing process or adopt a 1-round process?

   The outcome of the vote is:

          2-round refereeing: 0 votes.

          Abstination: 1 vote.

          1-round refereeing: The remaining votes.

   The chairman confirms that future CSL's will adopt the 1-round

   refereeing process.

b. A vote on the following alternative is taken: Should the deadline

   for receiving the final version of a CSL contribution be before the

   actual conference or after the conference? The outcome of the

   vote is:

          Final version before the conference: 15 votes.

          Final version after the conference: 10 votes.

          Abstination: 3 votes.

   The chairman confirms that future CSL's will be organized such

   that the deadline for the final version is before the conference.

   Due to practical considerations this decision is applied from the

   year 2000 onwards.

c. A vote on the following proposal is taken: Future CSL's should

   last at most 6 days including extra events like tutorials. The out-

   come of the vote is:

          Abstination: 11 votes.

          Against the proposal: 0 votes.

          In favor of the proposal: The remaining votes.

   The chairman confirms the future CSL's will last at most 6 days.



                            3




ad_6:_ The chairman reports on changes in the EACSL-board: Eric Palmgren

       has resigned from the board. Janos Makowsky is proposed to succeed

       him in the board. The proposal is accepted by the assembly without

       a contrary vote.


       Some ideas concerning succession rules for people in charge of EACSL

       are discussed.


ad_7:_ The following suggestion is made: EACSL should set up a service of

       communicating vacancies via an e-mail list.


ad_8:_ No point is raised.



 (Marc Bezem)                              (Andreas Goerdt)



                                    4