2nd CFP: Workshop on Proofs and Types at JICSLP'92 
Author Message
 2nd CFP: Workshop on Proofs and Types at JICSLP'92

                        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

Electronic submission using{*filter*}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



Mon, 13 Feb 1995 12:25:25 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. CFP: Workshop on Proofs and Types at JICSLP'92

2. Second CFP: Workshop on Deductive Databases at JICSLP'92 Second Call for Participation

3. Programme for the Workshop on Deductive Databases at JICSLP'92

4. Programme for the Workshop on Deductive Databases at JICSLP'92

5. Deadline Extension for Workshop on Deductive Databases at JICSLP'92

6. JICSLP '92 - Workshop Call for Papers

7. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

8. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

9. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

10. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

11. WSA92 2nd CFP Workshop on Static Analysis, Bordeaux, Sept 92

12. NonMonotonic Workshop '92 (2nd Call)

 

 
Powered by phpBB® Forum Software