home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / sigplan / 29 next >
Encoding:
Text File  |  1992-08-31  |  4.5 KB  |  100 lines
  1. Newsgroups: comp.lang.sigplan
  2. Path: sparky!uunet!newsgate.watson.ibm.com!yktnews!admin!bth
  3. From: bth@watson.ibm.com (Brent T. Hailpern)
  4. Subject: Call for Papers - PEPM 93
  5. Sender: news@watson.ibm.com (NNTP News Poster)
  6. Message-ID: <1992Sep01.211430.16819@watson.ibm.com>
  7. Approved: bth@watson.ibm.com
  8. Date: Tue, 01 Sep 1992 21:14:30 GMT
  9. Disclaimer: This posting represents the poster's views, not necessarily those of IBM
  10. Nntp-Posting-Host: lachesis.watson.ibm.com
  11. Organization: IBM T.J. Watson Research Center
  12. Keywords: 
  13.                            CALL FOR PAPERS - PEPM 93
  14. Lines: 84
  15.  
  16.                           ACM SIGPLAN Symposium on
  17.          Partial Evaluation and Semantics Based Program Manipulation
  18.                                June 14-16, 1993
  19.             Chalmers University of Technology, Gothenburg, Sweden
  20.  
  21.  
  22. Continued development in Partial Evaluation makes it desirable to
  23. bring together researchers in this area. This symposium aims to build
  24. on the success of PEPM 91 and 92, to continue the momentum and lead to
  25. new syntheses in this rapidly evolving field.
  26.  
  27. The goal of the symposium is to investigate the principles and
  28. applications of manipulating programs based on their semantics. More
  29. specifically, the symposium will emphasize four main themes:
  30.  
  31. 1.  Fundamentals: semantic foundations, program transformation, program and
  32. data specialization, multi-level semantics, self-application, mixed
  33. computation, supercompilation.
  34.  
  35. 2.  Techniques: static analyses, binding time analysis, polyvariant
  36. specialization, driving, unfolding, generalization, staging, memoization,
  37. retyping, combinators.
  38.  
  39. 3.  Applications: scientific computing, pattern matching (string, tree,
  40. matrix, stream, etc.), semantics directed compiler generation, theorem proving,
  41. partial deduction and learning, programming environments, algorithm debugging,
  42. incremental computation, computational reflection, meta-programming,
  43. prototyping.
  44.  
  45. 4.  Programming language issues -- languages for manipulated programs:
  46. functional (eager or lazy), logic, object oriented, imperative, term
  47. rewriting, parallel, dataflow, constraint programming, visual.
  48.  
  49. Original results in these areas, or that bear upon these topics, are
  50. solicited.  New work that relates partial evaluation to other areas of
  51. Computer Science is encouraged.
  52.  
  53. Authors should submit 5 copies of a complete paper to David Schmidt,
  54. Department of Computing and Information Science, Kansas State University,
  55. Manhattan, Kansas 66506, USA, before 18 November 1992, together with return
  56. mail and email addresses.  Participants from countries where copying is
  57. difficult can send just one copy. Submissions should be typed double spaced
  58. or typeset 10-point on 16-point spacing, approximately 10 pages in length.
  59. They should include an abstract and a very clear relation with related works.
  60. Papers will be judged on relevance, significance, correctness and clarity.
  61.  
  62. Authors will be notified of acceptance or rejection by January 31, 1993.
  63. Final version of accepted papers must be received in camera-ready form by
  64. March 22, 1993.  Authors of accepted papers will be expected to sign a
  65. copyright release form.  Proceedings will be distributed at the conference.
  66.  
  67.  
  68. General chair: John Launchbury, Glasgow University, jl@dcs.glasgow.ac.uk
  69.  
  70. Local arrangements: Staffan Truve, truve@cs.chalmers.se
  71.  
  72. Registration chair: Marie Larsson, marie@cs.chalmers.se
  73.  
  74.  
  75. Program chair: David Schmidt, Kansas State University, schmidt@cis.ksu.edu
  76.  
  77. Program committee: Anders Bondorf, University of Copenhagen
  78.                    Patrick Cousot, LIENS
  79.                    Olivier Danvy, Kansas State University
  80.                    Neil Jones, University of Copenhagen
  81.                    Peter Lee, Carnegie-Mellon University
  82.                    Chethan Murthy, INRIA
  83.                    Hanne Riis Nielson, University of Aarhus
  84.                    Alberto Pettorossi, University of Rome II
  85.                    Peter Sestoft, Technical University of Denmark
  86.                    Harald Sondergaard, University of Melbourne
  87.                    Carolyn Talcott, Stanford University
  88.                    Valentin Turchin, City University of New York
  89.                    Mitchell Wand, Northeastern University
  90.  
  91.  
  92.  
  93. -- 
  94. .....................................................................
  95. Brent Hailpern   Sr. Technical Consultant, Computer Sciences Dept.
  96. IBM T. J. Watson Research Center         |  phone:   +1-914-784-6821
  97. P. O. Box 704                            |  fax:     +1-914-784-7279        
  98. Yorktown Heights, NY  10598-0704 USA     |  tieline: 863
  99. .....................................................................
  100.