Minutes of the Business- and Membership Meeting of the European Association of Computer Science Logic (EACSL) in Utrecht, Jaarbeursbuilding, September 23, 1996 The meeting is opened at 5.00 p.m. by Prof. D. van Dalen, vice president of EACSL, who also serves as chairman of the meeting (on behalf of the president, Prof. E. B"orger, who is absent). The minutes are taken by W. Thomas. 26 members of the EACSL are present. The list of participants is appended. It is declared that the meeting has been convoked in accordance with the statutes. The following Agenda is suggested: 1. Confirmation of the Agenda 2. Report on Activities during the past year 3. Choice of accountants for 1996 4. Report of the CSL'96 program committee 5. New publicity chair 6. New EACSL Board to be installed 1997 (at Aarhus) 7. Future CSL Meetings 8. Proposal by members for future activities 9. Miscellaneous ad 1: The chairman suggests to extend item 1 by the approval of the minutes of the business- and membership meeting of 1995 in Paderborn. With this supplement the agenda is unanimously accepted. The minutes of the business- and membership meeting of September 26, 1995, in Paderborn are accepted without objection. ad 2: Prof. van Dalen reports on the scientific activities of the past year, mentioning especially - support of the CSL'95 meeting in Paderborn, with proceedings published in Springer LNCS (edited by H. Kleine-B"uning), - support of the HOA meeting ("Higher Order and Algebra") in Paderborn (Sept. 1995), - support through a subsidy of the G"odel Conference 1996 in Brno. Prof. K. Ambos-Spies gives a detailed report on the financial situation in 1995 (see appendix). The chairman, D. van Dalen, communicates the accountants' report (W. Sch"onfeld, W. Lenski) who found the accounts in order, with very clear and systematic bookkeeping. The meeting follows the recommendation of the accountants unanimously, to discharge the EACSL Board and the treasurer, Prof. K. Ambos-Spies, for the year 1995, and thanks them for their efforts. ad 3: Following a suggestion of the chairman, Dr. B. Borchert, Heidelberg, and Dr. W. Lenski, Kaiserslautern, are selected unanimously to be accountants for the year 1996. ad 4: Prof. van Dalen reports on the work of the program committee of CSL'96. 75 papers were submitted, out of which 31 were accepted. Besides the primary criterion of the quality of the papers, an eye was kept on a good distribution of the topics represented. The PC had decided to have a virtual meeting via e-mail contact, and found the procedure fairly efficient and satisfactory. ad 5: The chairman reminds of the perfect and smooth operation of the publicity chair, Hans Kleine-B"uning, and his "right hand" Igor Durdanovic, since the beginning of EACSL. Following their wish to have this task handed over, Prof. Simone Martini (Pisa) was asked whether he would take over. He agreed, expressing his wish to expand the EACSL database and to experiment with further publicity actions. The proposal to appoint S. Martini as publicity chair is adapted unanimously. ad 6: The chairman recalls that at CSL'97 in Aarhus a new EACSL Board has to be installed. To arrive at a balanced and well-prepared porposal, the president, Prof. E. B"orger, had suggested to appoint a search committee for the members of the new board. The following people have been approached concerning this task: E. B"orger, D. van Dalen, J.-Y. Girard, P. Pudlak, J. Smith, W. Thomas. All agreed to serve in this function. No further names are suggested by the assembly. The suggestion that the search committee should work on a proposal for the new EACSL Board is accepted unanimously. Every member is asked to communicate names of possible EACSL Board candidates to any person of the search committee. ad 7: Information on future CSL meetings is given. W. Thomas reports on the preparations for CSL'97 in Aarhus, August 23-29, 1997. The program committee is nominated, and the topic of the tutorials preceding the conference is "Games and Logic". The call-for-papers is available. The chairman reports on the preparations for CSL'98 by the president, Prof. E. B"orger: The conference will be in Brno, Czech republic, co-chaired by G. Gottlob and E. Grandjean, in the first week of September 1998. Suggestions for the meetings of 1999 and 2000 are welcomed. ad 8: Prof. H. Barendregt reports a proposal by E. Moggi, concerning a possible conjunction of CSL-meetings with the conferences CTCS (Category Theory and Computer Science), TLCA (Typed Lambda Theory and Computer Science), RTA (Rewriting Techniques and Applications). A possible scale of reaction is: 1. to proceed as in the past 1.+ to avoid collisions of dates 2. to append meetings (in the same place or places close to each other) 3. to merge meetings. In the discussion, positive experiences with the Federated Logic Conference 1996 were mentioned (LICS, CADE, RTA, CAV). W. Thomas suggests to compile a list of other possible "neighbour" conferences, besides CTCS, TLCA, RTA before proceeding to more concrete decisions. The issue is referred to EACSL Board for closer examination. ad 9: S. Artemov suggests the consideration of a prize for young scientists, possibly a student paper award at CSL conferences. In the discussion, it is mentioned that this is also done at other conferences (LICS, ICALP) and that a decision should be based on a full paper. It is agreed that also this idea should be looked at by the EACSL Board. No further issues were raised. The meeting was closed by the chairman at 5.55 p.m. Chairman of the Assembly W. Thomas D. van Dalen