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

                         CALL FOR PAPERS

                  8th International Workshop on
        Compiler Optimization Meets Compiler Verification

                            COCV 2009

                            York, U.K.
                          March 22, 2009

  http://www.complang.tuwien.ac.at/cocv2009/cocv2009.html

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

                     In conjunction with the
                12th European Joint Conferences on
                 Theory and Practice of Software
                           ETAPS 2009
                           York, U.K.
                     March 22 - March 29, 2009
               http://www.cs.york.ac.uk/etaps09/

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

 IMPORTANT DATES
 ---------------

 Full Paper Submission Deadline: January 12, 2009 (extended)
 Notification of Acceptance/Rejection: January 22, 2009
 Final versions due to February 4, 2009
 Workshop: March 22, 2009

 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.

 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

 Program Committee
 -----------------
  - Sabine Glesner, Technical University Berlin, Germany
  - David Gregg, Trinity College Dublin, Ireland
  - Jens Knoop, Vienna University of Technology, Austria
  - Sorin Lerner, University of California, San Diego, USA
  - Markus Müller-Olm, Universität Münster, Germany
  - Xavier Rival, INRIA, Paris, France
  - Kurt Wallnau, Carnegie Mellon University, Pittsburgh, USA
  - Bernhard Scholz, The University of Sydney, Australia
  - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany
  - Lenore Zuck, University of Illinois, Chicago, IL, USA

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

   http://www.complang.tuwien.ac.at/cocv2009/cocv2009.html

 or e-mail to: zimmmer 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 09 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
 --------------------
 Full Paper Submission Deadline: January 12, 2009
 Notification of Acceptance/Rejection: January 22, 2009
 Final versions due to February 4, 2009
 Workshop: March 22, 2009

 COCV 2009 Home Page:
 --------------------
 http://www.complang.tuwien.ac.at/cocv2009/cocv2009.html

 ========================= END CFP COCV 2009 =========================