🚀 go-pugleaf

			Second Call for Participation

			 Workshop on PROOFS AND TYPES

			  Friday, November 13, 1992
			   in conjunction with the
      Joint International Conference and Symposium on Logic Programming,
		 November 9-13, 1992, Washington, DC, U.S.A.

Interest in finding sound proof-theoretic and type-theoretic foundations for
existing and extended logic programming languages has increased rapidly over
last few years.  Moreover, techniques for compilation of languages with
advanced features, such as higher-order constructs or types, are under
development and prototype implementations have reached a more mature state. 
However, many semantical issues, both operational and denotational, remain. 
At the same time, applications have developed towards larger and more complex
systems.

This workshop is intended to provide a forum for researchers to exchange ideas
on the influence of proof theory and type theory on the future development of
the field of logic programming.  The workshop will address language theory,
implementation and compilation techniques, and applications.

If you are interested in participating in this workshop, please submit a
two-page abstract of your proposed talk (or a short note with your research
interests, if you do not wish to give a talk) by SEPTEMBER 7, 1992 to

 Frank Pfenning
 School of Computer Science
 Carnegie Mellon University
 Pittsburgh, PA 15213-3890, U.S.A.
 Telephone: +1 412 268-6343, FAX: +1 412 681-5739
 Email: fp@cs.cmu.edu 

Electronic submission using LaTeX or plain text is strongly preferred!
Notification of acceptance will be mailed electronically by October 1.  The
version of accepted abstracts to appear in the workshop notes will be due by
October 15.

Organizing Committee:

 James Harland, University of Melbourne
 Frank Pfenning, Carnegie Mellon University
 David Pym, University of Edinburgh