victoria@mucs.UX.CS.MAN.AC.UK (Victoria Stavridou) (08/05/88)
BCS-FACS
TERM REWRITING GROUP
TERM REWRITING WORKSHOP and TUTORIAL
Bristol, UK.
September 26th-28th 1988
Term rewriting is becoming increasingly important as it finds
applications in specification and theorem proving. Interest is
growing throughout the world and in the UK. This workshop and
tutorial is organised by BCS-FACS in conjunction with the UK Term
Rewriting Group to draw together UK and international researchers
working on both the theory and applications of term rewriting.
TUTORIAL
The workshop will be preceded by a Tutorial given by
Prof Jean-Pierre Jouannaud , Universit\'e de Paris-Sud
The tutorial will provide a broad introduction to term rewriting for
the non-specialist.
WORKSHOP
The Workshop will provide a forum for presenting and discussing
current UK and European research work. As well as the invited
speakers there will be five workshop sessions on
Theorem Proving using Term rewriting
Theoretical Issues
Inductive Methods
Applications of Term Rewriting
Term Rewriting for Modal and Temporal Logics
INVITED SPEAKERS
Professor Jean Pierre Jouannaud, Universit\'e de Paris-Sud
Professor Deepak Kapur, SUNY at Albany, U.S.A.
Dr Gert Smolka, IBM Stuttgart, West Germany
PROGRAMME
Sunday 25 September
6.30 Registration
7.00 Dinner
Monday 26 September
9.30 -- 5.00 Tutorial day given by
Prof Jean-Pierre Jouannaud
Tuesday 27 September
9.00 - 10.00 Invited Talk Deepak Kapur
10.30 - 12.45 Workshop session on Theorem Proving
10.30 Jeremy Dick, Rutherford Appleton Laboratory, The ERIL system
11.15 Owen Traynor, University of Strathclyde, Integration of
Knuth-Bendix Proof Generators into Interactive Theorem Proving Systems
11.45 Miki Hermann, CRIN, Nancy, Vademecum of Divergent Term Rewriting
Systems
12.15 Denis Lugiez, LIFIA-INPG, Grenoble Using Disunification to
provide an `Extended Negation' mechanism in Logic Programming
2.00 - 3.30 Workshop session on Induction
2.00 Muffy Thomas, Glasgow, Towards a Termination Ordering for Loop
Programs
2.30 Reinhard B\"undgen, Universit\"at T\"ubingen, An Extended Ground
Reducibility Test to Compute the Inductively Complete Positions of a
Term
3.00 David Duffy, University of Strathclyde, Conditions for Proof by
Consistency
4.00 - 6.00 Workshop session on Theory
4.00 Joachim Steinbach, Universit\"at Kaiserslautern, Comparison of
Simplification Orderings
4.30 Mike Lai, Royal Holloway and Bedford New College, AC-completion,
a Peak-Reduction Lemma
5.00 Phil Watson, Royal Holloway and Bedford New College, Least Sorts
in Order-Sorted Rewriting
5.30 Peter Ruffhead and R. J. Cunningham, Imperial College, On the
Automation of Invention -- Applications to Term Rewriting
7.00 Conference dinner and entertainment
Wednesday 28 September
9.00 - 10.00 Invited Talk by Gert Smolka
10.30 - 12.00 Workshop session on Application
10.30 Colin Runciman and Nigel Jagger, University of York, From
Programs to Equations and Back Again
11.00 Bettina and Karl-Heinz Buth, Christian-Albrechts-Universit\"at,
Kiel, Term Rewriting in a Proof Support System for the Verification of
Code Generators
11.30 Ian M. O'Neill, Program Validation Ltd, A Proof Tool for Program
Proving
12.00 Philippe Schnoebelen, LIFIA-INPG, Grenoble, FP2, A Language
Where Term Rewriting Systems are Specifications for Parallel
Communicating Processes
2.00 - 3.00 Invited Talk by Jean-Pierre Jouannaud
3.00 - 5.00 Workshop session on Modal and Temporal Logics
3.00 Bill Goodden, Imperial College, Data Structures for the
Representation of Rewrite Rules
3.30 Bill Mitchell, University of Manchester, A Priority Driven
Rewrite System and Temporal Logic Formulae
4.00 R. J. Cunningham, Imperial College, Experiments with Rewriting in
Modal Logic
GENERAL INFORMATION
The Workshop and Tutorial day will be held at the Wills Hall of
Residence of the University of Bristol, which is situated on the edge
of Durdham Down, about 2 miles from the city centre. Wills Hall, a
gift of Sir George Wills in 1929, is built in traditional style around
a quadrangle and set in splendid gardens. Tennis, squash and snooker
are available on the site. Further details of travel and registration
will be sent to participants nearer the time.
There will be a conference dinner on Tuesday 27th September, followed
by entertainment from the excellent STACKYARD STOMPERS jazz band.
Bristol is about 100 miles West of London, in an attractive part of
the country, close to the Cotswolds, Wales, Bath and
Stratford-on-Avon. It is easily reached by train from London
Paddington or Reading stations. There is a regular coach service
between Bristol coach station and Heathrow Airport. There are
scheduled air services from Bristol Airport to Paris and some other
European cities.
FEES
The Workshop registration fees are listed below. Full payment is
required by 5th September and should be by crossed cheque or money
order, made payable to ``BCS-FACS", and accompanied by the
registration form. In the event of cancellation, and provided written
notice is received by 12th September 1988, a refund of 75\% of the
registration fee will be made. No refunds can be made with respect of
accommodation and meal charges. All fees include VAT.
The fee for resident participants for the Tutorial day and Workshop}
includes accommodation, tea and coffee, and all meals, including the
conference dinner, from dinner on Sunday 25 September to lunch on
Wednesday 28 September.
The fee for non-resident participants includes tea, coffee and lunch.
Resident Non-resident
BCS FACS members 130 Pounds 50 Pounds
Others 160 Pounds 80 Pounds
Organising Committee
Derek Coleman, HP-Labs, Bristol
Jim Cunningham, Imperial College, London
Jeremy Dick, Rutherford Appleton Laboratory
Ursula Martin, RHBNC, University of London
_________________________________________________________________________
BCS FACS Tutorial Day and Workshop
on
Term Rewriting
University of
Bristol 26-28 September 1988
Please complete this form in block letters and return it, together
with remittance, to the address indicated below before
SEPTEMBER 5th 1988.
All cheques should be made payable to BCS--FACS
Surname (Family name).................................................
First Name(s).........................................................
Title.................................................................
Name of Organisation .................................................
Address for Communication.............................................
......................................................................
......................................................................
......................................................................
I wish to attend
The workshop and tutorial day (resident)..............................
The workshop and tutorial day (non-resident)..........................
I am a member of BCS FACS (Yes / No) Membership number ..............
Total Fee enclosed ...................................................
Resident Non-resident
BCS FACS members 130 Pounds 50 Pounds
Others 160 Pounds 80 Pounds
Please return this form with payment BEFORE September 5th 1988 to:
John Kalmus,
Rutherford Appleton Laboratory,
Chilton,
Didcot
Oxfordshire OX11 0QX
England
TEL +44-235-21900
JANET jrk@uk.ac.rl.inf
ARPA jrk%inf.rl.ac.uk@nss.cs.ucl.uk