Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 [pept:58] LOPSTR'01 - Submission Deadline Extension (fwd)
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
___________________________________________________________________________
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
============================================================================