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