Re: Call for papers: LOPSTR'96

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

[The topics covered by this conference include `proofs as programs'
as well as the usual logic programmers notion of `proofs as executions'.
-- Philip Wadler, moderator, Types Forum]
====================================                CALL FOR PAPERS

        Sixth International Workshop on
        Logic Program Synthesis and Transformation (LOPSTR'96)

        Stockholm, Sweden, 28--30 August 1996

        Sponsored by the Network in Computational Logic

(WWW Version of this call at http://www.cs.bris.ac.uk/~john/lopstr96.html)

LOPSTR'96 is the sixth in a series of annual workshops.  It will be run
in parallel with ILP'96, the Workshop on Inductive Logic Programming.
LOPSTR'96 and ILP'96 will share invited lectures and sessions of common
interest.  The two meetings will be organized by the Computer Science
Department of Stockholm University and LOPSTR'96 is sponsored by the
Network in Computational Logic.

The aim of the workshop is to present recent work (including work in
progress) and  discuss new ideas and trends in the following fields:

        o program synthesis
        o program transformation
        o program specialization