[ecoop-info] CFP: 9th Int. Workshop on Compiler Optimization Meets Compiler Verification (COCV 2010), Paphos, Cyprus

[Jens Knoop]

===================================================================

                         CALL FOR PAPERS

                  9th International Workshop on
        Compiler Optimization Meets Compiler Verification

                            COCV 2010

                         Paphos, Cyprus
                         March 27, 2010

           http://www.complang.tuwien.ac.at/cocv2010

 -------------------------------------------------------------------

                     In conjunction with the
                13th European Joint Conferences on
                 Theory and Practice of Software
                           ETAPS 2010
                         Paphos, Cyprus
                       March 20-28, 2010
                http://www.etaps10.cs.ucy.ac.cy/

 ===================================================================

 IMPORTANT DATES
 ---------------
 Abstract and Title: February 1, 2010
 Full Paper Submission Deadline: February 8, 2010
 Notification of Acceptance/Rejection: February 24, 2010
 Final versions due to March 10, 2010
 Workshop: March 27, 2010

 Workshop Description
 --------------------
 COCV is devoted to advances in theory and practice on the theoretical
 foundations and applications of approaches, technologies, and tools
 for compiler optimization and compiler verification and their mutual
 dependencies. It provides a forum for researchers and practitioners
 working on optimizing and verifying compilation, and related fields
 such as translation validation, certifying and credible compilation,
 but also programming language design and programming language
 semantics to exchange their latest findings.  By encouraging
 discussions and co-operations across different, yet related fields,
 the workshop strives for bridging the gap between the communities,
 and for stimulating synergies and cross-fertilizations among them.

 Submission of papers at the joint of all these fields is solicited.
 Particularly welcome are papers on optimization and verification
 emphasizing the safety policy imposed on and ensured by the
 optimization they are aiming at, how it is established, and how it
 can be adapted within the boundaries set up by the overall demand of
 correctness and hence semantics preservation.

 Official Address and Organization
 ---------------------------------
 
  For any questions related to COCV 2010 please refer to our web site:

   http://www.complang.tuwien.ac.at/cocv2010

  or e-mail to the organizers:

   - Jens Knoop, Vienna University of Technology, Austria
       knoop at complang.tuwien.ac.at
   - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany,
       zimmer at informatik.uni-halle.de

 Submission Information and Proceedings
 --------------------------------------
 Papers should be submitted electronically in standard Postscript or
 PDF via the electronic submission system which is available
 via the COCV 2010 web site. The format of submissions should adhere to
 the format of Elsevier's ENTCS Series and should not exceed 15 pages.
 Submissions that are clearly too long may be rejected immediately.
 E-mail addresses and fax numbers of the authors should be included on
 the title page. Submitted papers must be unpublished and not
 submitted for publication elsewhere. As in previous years, the
 proceedings of accepted papers will be published in the Electronic
 Notes in Theoretical Computer Science (ENTCS) series, Elsevier
 Science, Amsterdam, The Netherlands (pending). Preliminary
 proceedings will be available at the workshop.  Selected papers will
 be considered for publication in a special issue of an appropriate
 journal. The specific publication venue has not yet been decided
 on. These submissions will pass through a second round of
 peer-reviewing.

 Summary of Key Dates
 --------------------
 Abstract and Title: February 1, 2010
 Full Paper Submission Deadline: February 8, 2010
 Notification of Acceptance/Rejection: February 24, 2010
 Final versions due to March 10, 2010
 Workshop: March 27, 2010

 COCV 2010 Home Page:
 --------------------
 http://www.complang.tuwien.ac.at/cocv2010