home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / prolog / 1606 < prev    next >
Encoding:
Text File  |  1992-08-26  |  2.3 KB  |  56 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!udel!rochester!cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!FORTRAN.FOX.CS.CMU.EDU!fp
  3. From: fp+@CS.CMU.EDU (Frank Pfenning)
  4. Subject: 2nd CFP: Workshop on Proofs and Types at JICSLP'92
  5. Message-ID: <BtMKAD.334.1@cs.cmu.edu>
  6. Sender: news@cs.cmu.edu (Usenet News System)
  7. Nntp-Posting-Host: fortran.fox.cs.cmu.edu
  8. Organization: Carnegie Mellon University
  9. Date: Thu, 27 Aug 1992 04:25:25 GMT
  10. Lines: 44
  11.  
  12.             Second Call for Participation
  13.  
  14.              Workshop on PROOFS AND TYPES
  15.  
  16.               Friday, November 13, 1992
  17.                in conjunction with the
  18.       Joint International Conference and Symposium on Logic Programming,
  19.          November 9-13, 1992, Washington, DC, U.S.A.
  20.  
  21. Interest in finding sound proof-theoretic and type-theoretic foundations for
  22. existing and extended logic programming languages has increased rapidly over
  23. last few years.  Moreover, techniques for compilation of languages with
  24. advanced features, such as higher-order constructs or types, are under
  25. development and prototype implementations have reached a more mature state. 
  26. However, many semantical issues, both operational and denotational, remain. 
  27. At the same time, applications have developed towards larger and more complex
  28. systems.
  29.  
  30. This workshop is intended to provide a forum for researchers to exchange ideas
  31. on the influence of proof theory and type theory on the future development of
  32. the field of logic programming.  The workshop will address language theory,
  33. implementation and compilation techniques, and applications.
  34.  
  35. If you are interested in participating in this workshop, please submit a
  36. two-page abstract of your proposed talk (or a short note with your research
  37. interests, if you do not wish to give a talk) by SEPTEMBER 7, 1992 to
  38.  
  39.  Frank Pfenning
  40.  School of Computer Science
  41.  Carnegie Mellon University
  42.  Pittsburgh, PA 15213-3890, U.S.A.
  43.  Telephone: +1 412 268-6343, FAX: +1 412 681-5739
  44.  Email: fp@cs.cmu.edu 
  45.  
  46. Electronic submission using LaTeX or plain text is strongly preferred!
  47. Notification of acceptance will be mailed electronically by October 1.  The
  48. version of accepted abstracts to appear in the workshop notes will be due by
  49. October 15.
  50.  
  51. Organizing Committee:
  52.  
  53.  James Harland, University of Melbourne
  54.  Frank Pfenning, Carnegie Mellon University
  55.  David Pym, University of Edinburgh
  56.