FW: this might interest you

[RE01 Rice Brian T. EM2]

And here's something else which might turn up some interesting results.

> -----Original Message-----
> From: RE01 Rice Brian T. EM2 
> Sent: Thursday, November 09, 2000 9:49 PM
> To: 'fare@tunes.org'
> Subject: this might interest you
> 
> 
> This looks like an interesting venue for your thesis topic. I 
> thought you might find it interesting.
> 
> > -----Original Message-----
> > From: Walid Taha [mailto:taha@cs.yale.edu]
> > Sent: Wednesday, November 08, 2000 1:07 PM
> > To: appsem@cs.chalmers.se; concurrency@cwi.nl;
> > theorynt@listserv.nodak.edu; types@cis.upenn.edu; 
> haskell@haskell.org;
> > ecoop-info@ecoop.org; seworld@cs.colorado.edu;
> > pept@venus.is.s.u-tokyo.ac.jp
> > Subject: CFP: JFP on SAIG
> > 
> > 
> > [----- The Types Forum, 
> > http://www.cis.upenn.edu/~bcpierce/types -----]
> > 
> >                                CALL FOR PAPERS
> > 
> >                            A Special Issue of JFP
> >                                      on
> >       Semantics, Applications, and Implementation of Program 
> > Generation
> > 
> >                 http://cs-www.cs.yale.edu/~taha/saig/jfp.html
> > 
> > Program generation has the prospect of being an integral part 
> > of a wide
> > range of software development processes.  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 support program generation and manipulation. 
> > These languages
> > can have different goals, use different different implementation
> > techniques, and target different applications.  In this 
> context, a PLI
> > workshop dedicated to this theme (SAIG'00) was held this 
> > year. Following
> > on from this workshop, a special issue of the Journal of Functional
> > Programming will be devoted to the same theme.
> > 
> > Full-length, archival-quality submissions are solicited on topics
> > including both theoretical and practical models and tools 
> for building
> > program generation systems, Examples include:
> > 
> >    * Semantics, type systems, and implementations for 
> > multi-stage languages.
> >    * Run-time specialization systems:  e.g. compilers, 
> > operating systems.
> >    * High-level program generation (applications, foundations,
> >      environments).
> >    * Symbolic computation, linking and explicit substitution, 
> > in-lining and
> >      macros.
> > 
> > Reports on applications of these techniques to real-world 
> problems are
> > especially encouraged, as are submissions that relate ideas 
> > and concepts
> > from several of these topics, or bridge the gap between theory and
> > practice.
> > 
> > Contributors to SAIG'00 are encouraged to submit, but 
> > submission is open
> > to everyone.  Papers will be reviewed as regular JFP 
> submissions, and
> > acceptance in the special issue will be based on relevance to 
> > the theme.
> > The special issue also welcomes high-quality survey and 
> > position papers
> > that would benefit a wide audience.  Accepted papers 
> > exceeding the space
> > restrictions will be published as regular JFP papers.
> > 
> > Submissions should be sent to the guest editor (address 
> below), with a
> > copy to Nasreen Ahmad (nasreen@dcs.gla.ac.uk). Submitted 
> > articles should
> > be sent in postscript format, preferably gzipped and uuencoded.  In
> > addition, please send, as plain text, title, abstract, and contact
> > information. The submission deadline is February 1st, 2001. 
> For other
> > submission details, please consult an issue of the Journal of 
> > Functional
> > Programming or see the Journal's web page at
> > 
> >                        http://www.dcs.gla.ac.uk/jfp/.
> > 
> >  Guest Editor                         Editor in Chief
> >  Walid Taha
> >  Department of Computer Science       Philip Wadler
> >  Yale University                      Avaya Labs
> >  P.O. Box 208285                      700 Mountain Ave, Room 2T-402,
> >  New Haven, CT 06520-8285,            Murray Hill, NJ 07974-0636,
> >  USA.                                 USA.
> >  Email: taha@cs.yale.edu              Email: wadler@avaya.com
> >  Phone: +1 203 432 6496               Phone: +1 908 582 4004
> >  Fax  : +1 203 432 0593               Fax:   +1 908 582 5857
> > 
> > 
>