timc@cs.man.ac.uk (Tim Clement) (03/11/91)
LOPSTR 91
---------
Workshop on Logic Program Synthesis
and Transformation
(Now with published proceedings!)
University of Manchester
4-5 July 1991
Second Call for Participation
-----------------------------
The Workshop on Logic Program Synthesis and Transformation (LOPSTR 91),
sponsored by ALP UK, the UK branch of the Association for Logic Programming,
will be held on 4-5 July 1991 at Dalton-Ellis Hall, University of Manchester,
U.K.
The aim of the workshop is to bring together researchers active in
the area of logic program synthesis and transformation. This is to be
interpreted broadly: we do not restrict logic to Horn clause or first
order logic, and by synthesis we mean any method of program construction;
nor do we limit ourselves to particular approaches to program transformation.
There will be no formal submission of papers, etc., but we encourage
participants to give talks (of 20-30 minutes duration) on work in progress.
We also expect the workshop to be run in an informal manner, with close
interaction between participants. To this end, we have limited attendance to
50 places.
Following discussion with Springer-Verlag, we intend to publish
the proceedings of LOPSTR 91 in their Workshops in Computing series if
enough speakers are prepared to submit paper versions of their talks.
The Workshops in Computing series requires intending authors to submit an
extended abstract before the workshop, followed by the full paper soon after
the workshop. The idea is that the author should use the input from the
workshop to produce the final version of the paper. Papers will be subject
to editorial review.
For LOPSTR91, if you are giving a talk, and you wish your contribution
to be included in the proceedings, please send an extended abstract by
31 May 1991.
A secondary aim of the workshop is to bring people together to plan an
international workshop on the same topic in July 1992, with invited speakers,
refereed papers, and published proceedings. We have offered to host it at
Manchester again, and sponsorship has been offered jointly by ALP UK and ALP.
For LOPSTR 91 the registration fee includes accommodation at the Hall on 3 and
4 July, and breakfast, lunch and evening meal on 4 and 5 July. Evening meal
on 3 July and bed and breakfast for the night of 5 July are optional extras.
Organising Committee: Tim Clement, Kung-Kiu Lau, Lynn Howarth.
For enquiries, please contact:
Lynn Howarth,
LOPSTR91,
Dept. of Computer Science,
University of Manchester,
Manchester M13 9PL,
U.K.
Telephone: +44 61 275 6130
FAX: +44 61 275 6280
Email: lopstr91@cs.man.ac.uk
-------------------------------------------------------------------------------
LOPSTR 91 Booking Form
----------------------
Please tick the appropriate boxes and fill in the relevant parts:
[] I wish to attend LOPSTR 91
Name:
Address:
Company/Institution:
Position:
Telephone:
Email address:
Payments:
Registration Fee: [] non-ALP member ( 100 pounds)
[] ALP member ( 80 pounds)
[] student ( 50 pounds)
[] Evening meal on 3 July ( 7 pounds)
[] Bed and breakfast on 5 July ( 14.50 pounds)
------------------------------------------------------
Total ( pounds)
I enclose a cheque for this amount made payable to the University of
Manchester.
[] I wish to present a talk at the workshop, with the following working
title:
--------------------------------------------------------------------
[] I wish to submit a paper version of my talk after the workshop for
inclusion in the proceedings, and will send an extended abstract by
31 May 1991.
Please return the booking form to:
Lynn Howarth,
LOPSTR 91,
Dept. of Computer Science,
University of Manchester,
Manchester M13 9PL,
U.K.
before 30 April 1991. Early booking is recommended owing to the limited
number of places available.