Semantics, Applications and Implementation of Program Generation (SAIG)
ICFP Workshop, Montreal, September 20th, 2000.  (Deadline:  June 5th, 2000)



Numerous recent studies investigate different aspects of program generation systems, including their semantics,  their applications, and their implementation.  Existing theories and systems address both high-level (source) language and low-level (machine) language generation.  A number of programming languages now supports program generation and manipulation, with different goals, implementation techniques, and targeted at different applications. The goal of this workshop is to provide a meeting place for researchers and practitioners interested in this research area, and in program generation in general.

Scope:  The workshop solicits submissions related to one or more of the following topics:

Submissions are especially welcome if they relate ideas and concepts from several topics, bridge the gap between theory and practice, cover  new ground, or report exciting applications. The program committee will be happy to advise on the appropriateness of a particular subject.

Distribution:  Accepted papers will be published as a Chalmers technical report, and will be made available online.  A special issue of the Journal of Higher Order and Symbolic Computation (HOSC) is planned afterwards.

Format:  The one-day workshop will contain slots for participants to present accepted papers. In addition, there will be time allocated for open discussions during the workshop.  Invited speakers will be announced in the near future.

Invited Speakers:

Submission Details:  Authors are invited to submit papers of at most 5000 words (excluding figures), in postscript format (letter or A4), to by May 5th 2000. Both position and technical papers are welcome.  Please indicate at time of submission. Position papers are expected to describe ongoing work, future directions, and/or survey previous results.  Technical papers are expected to contain novel results.  All papers will be reviewed by the program committee for the above mentioned criteria, in addition to correctness and clarity.  Authors will be notified of acceptance by 3 July 2000.  Final version of the papers must be submitted by 31 July 2000.

Program Committee: