timc@cs.man.ac.uk (Tim Clement) (01/07/91)
LOPSTR 91
---------
Workshop on Logic Program Synthesis
and Transformation
University of Manchester
4-5 July 1991
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.
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:
--------------------------------------------------------------------
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.