Minutes of the Meeting at the Tableaux Conference in St Andrews, 2000 Thursday July 6, 8 - 10pm Agenda 1. Report on the Tableaux Conference in St Andrews 2. Report on the state of planning for IJCAR 2001 3. Adoption of the Steering Committee rules 4. Election of the first Steering Committee 5. Tableaux Conference 2002 6. IFCoLog membership 7. Any other business Before entering in the above agenda David Pearce, designated member of the IFCoLog Executive Council, gave a short presentation of the goals and the structure of IFCoLog. ad 1 Roy Dyckhoff gave a short summary of the Tableaux conference, so far. In particular he emphasized that the joint event with FTP was a success: the number of participants to Tableaux was 88, an all time high, and both communities interacted easily and intensively. ad 2 Fabio Massacci reported on the state of the preparation of the IJCAR conference next year. ad 3 After a thorough discussion the proposed STC rules were unanimously accepted with two minor changes. The new version is appended. ad 4 Collecting and counting the votes was done by Harrie deSwart assisted by Marta Cialdea Mayer. The elected members for the first Tableau Steering Committee are, in order of votes cast: Reiner Haehnle Peter H. Schmitt Melvin Fitting Marcello D'Agostino Uli Furbach Didier Galmiche The remaining candidates will be on the reserve list in case replacments should be necessary. In addition Roy Dyckhoff, Fabio Massacci and Rajeev Gore are 'ex officio' mebers of the TSC. ad 5 The final decision on this issue is to be taken by the TSC. The poll of opinion after a controversial discussion showed a solid majority for not joining the FLoC in 2002. The alternative is to have a separate Tableaux Conference in Vienna. ad 6 Again a final decision should be taken by the TSC. A poll of opinion showed a slight majority for joining IFCoLog. There was a significant number of abstentions. ad 7 Neil Murray reported that the Tableaux Conference 1999 ran a slight surplus which was, in liquid form, handed over to Roy Dyckhoff. APPENDIX 1 Tableaux Steering Committee Rules 1. The Tableaux Steering Committee (TSC) consists of six elected members and the Conference and Program Chair(s) of the current and the previous Conference. The elected members serve for three year terms. The STC may decide to introduce for its elected members overlapping terms not all ending at the same time. 2. The responsibilities and obligations of the TSC consist of * Select venues for future Tableaux Conferences * Select program and conference chairs for future Tableaux Conferences. Program and conference chair may be the same person. * Make decisions concerning the future of the Tableaux Conference series * Call a business meeting at each Tableaux Conference. At the meeting the President shall report on the activities of the TSC during the previous year and put controversial issues to a vote. * Initiate elections 3. The TSC appoints among its members a President and Vice President to conduct its duties and represent the TSC. 4. The members of the TSC will be elected by the Tableaux community. Votes may be cast in person, by mail, fax or electronic mail. The Tableaux community consists of all people that have been registered participants in at least one Tableaux Conference during the last 3 years and all members of the current Program Committee. 5. Transitional path. The first TSC will be elected at the business meeting during the Tableaux Conference at St Andrews, 2000, by the members of the Tableaux community then present.