___________________________________________________________________________
Our apologies if you receive multiple copies.
___________________________________________________________________________
CALL FOR PAPERS
LOPSTR 2001
11th International Workshop on
Logic-based Program Synthesis and Transformation
http://www.iasi.rm.cnr.it/~adp/lopstr01_cfp.html
Paphos, Cyprus, November 28 - 30, 2001
The deadline for abstract submission has been extended to:
*** September 24th, 2001.
Invited Speaker: Natarajan Shankar, SRI, Menlo Park, CA, USA,
"Generating Efficient Code from Logic".
The following is a non-exhaustive list of topics:
specification analysis component-based software development
synthesis optimization software architectures
verification composition design patterns and frameworks
transformation reuse
specialization applications
Any other information is available at:
http://www.iasi.rm.cnr.it/~adp/lopstr01_cfp.html
============================================================================
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
