PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (11/23/86)
PROLOG Digest Tuesday, 25 Nov 1986 Volume 4 : Issue 79 Today's Topics: Announcement - Association for Logic Programming, LP Library - Update ---------------------------------------------------------------------- Date: 21 November 1986, 17:10:32 EST From: Jean-Louis Lassez <JLL@ibm.com> Subject: Announcement THE ASSOCIATION FOR LOGIC PROGRAMMING October 1986 Dear Colleague, At this summer's Logic Programming Conference it was decided at a meeting of the current and new programming committees and the Editorial Board of the Journal of Logic Programming to establish the Association for Logic Programming. Keith Clark was elected President, Robert Kowalski Treasurer, both for an interim period of two years. The following people were proposed and accepted by the meeting as trustees of the Association: Alain Colmerauer, Kazuhiro Fuichi, Herve Gallaire, Alan Robinson, Ehud Shapiro, Sten-Ake Tarnlund, David Warren. It was also decided that the newsletter editor (currently Luis Pereira) and both the retiring chairperson and the next chairperson of the Logic Programming Conference would be officers of the Association for the period between conferences (currently these are Keith Clark, retiring chairman, and John Lloyd, new chairman). The Articles of Constitution for the Association are at present being drafted. ROLES OF THE SOCIETY 1. The Society will be the official sponsor of the International Conferences on Logic Programming, and will in future receive any profits from the conference and all profits and royalties from the sale of the proceedings of the conference. (We are discussing the possibility also of sponsoring the Symposium on Logic Programming currently sponsored by IEEE. In any case we will undertake to coordinate the two conferences.) 2. The Society will publish a Newsletter (initially edited by Luis Pereira in Lisbon). 3. It is intended that the Journal of Logic Programming will become the official publication of the Association. BENEFITS FOR MEMBERS 1. Members will receive the Newsletter free of charge. 2. Members will receive a 15% discount on the Logic Programming Conference fees. 3. Initially members will be offerred a reduced rate subscription to the Journal; eventually this subscription may be included in an increased membership fee. We very much hope that you will join the Association. Please complete the attached membership form and return it to: Robert Kowalski Department of Computing Imperial College 180 Queens Gate London SW7 2BZ England Yours sincerely, Keith Clark. -------------------------------------------------------------------- THE ASSOCIATION FOR LOGIC PROGRAMMING MEMBERSHIP APPLICATION FORM Name:___________________________________________________ Address:________________________________________________ ________________________________________________ ________________________________________________ Tel. No:________________ Net mail:_____________________ Affliation:_____________________________________________ MEMBERSHIP CATEGORIES Annual membership for the year commencing January 1987. -- Full member $25 -- Full-time student $15 (copy of student id from institution reqd) Please enter my subscription to the Journal of Logic Programming. I enclose an additional $35 (US and Canada):___________________ $43 (Rest of the World):_______________ (Subscriptions can be paid in Sterling. To compute the sterling subscription, add 5% to the amount to be remitted and convert at the prevailing exchange rate.) ------------------------------ Date: Sun 23 Nov 86 12:43:35-PST From: Chuck Restivo <Restivo@Score.Stanford.EDU> Subject: Update [cwr] The Plaisted prover and example files have been updated and are in SCORE:<Prolog> -ed ------------------------------ End of PROLOG Digest ********************