LOPSTR 2001 - Submission Deadline Extension

Fabio Fioravanti [email protected]
Tue, 11 Sep 2001 18:43:34 +0200


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