[pept:58] LOPSTR'01 - Submission Deadline Extension (fwd)

[Robert Glueck <glueck@xxxxxxx>]

___________________________________________________________________________

            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
============================================================================