The full version of this announcement is available.
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.