[CF] ================================================ AMAST Links 02 06

Workshop on Operational & Denotational Semantics of Logic Programming: 
             Extending Proof- and Model-theoretic Analyses
   (In association with Int'l Logic Programming Symposium, ILPS'95)
           Portland, Oregon, USA, Friday, December 8th, 1995

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206CF.txt
  The aim of this workshop is to bring together researchers in the
areas of proof theory, logic programming language design, programming
language semantics.  At a time when there are many new developments
occurring in each of these disciplines, it is important that each
community be well-informed about the others' progress. In particular,
we suggest that it is only by such communication that progress will be
made in understanding the design and semantics of logic programming
languages. Moreover, we suggest that both proof theory and semantics
may find challenging new problems arising in logic programming.
  Another important aspect of this workshop is its potential to
bring together logic and functional programmers via the common grounds
of proof theory and semantics.  Logic programming is often thought of
as interpreting formulae as programs and proof-search (including
unification) as computation, whereas a functional programmer's view of
proof theory is often that a proof is a program and cut-reduction is
computation. Hence a common focus on the applications of proof theory
to programming tasks has the potential not only to explore new logic
programming techniques but also to provide a forum for the integration
of the logic and functional programming paradigms.
  *Important Dates*
   Intention to submit: September 1
   Submissions due:     September 15
   Notification:        October 27
   Final version due:   November 20
  *Contact Address*
   James Harland, Dep't of CS, Royal Melbourne Institute of Technology
   GPO Box 2476V, Melbourne, 3001 Australia 
   email: jah@cs.rmit.edu.au, phone: +613 96602045, fax: +613 96621617 
  See the full version of this announcement for: specific technical
issues addressed by this workshop, submission guidelines, organizers.