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
********************