[pept:211] CfP COCV'05 Compiler Optimization Meets Compiler Verification

[Jens Knoop <knoop@xxxxxxxxxxxxxxxxxxxxx>(by way of Robert Glueck)]

                        CALL FOR PAPERS

                 4th International Workshop on
       Compiler Optimization Meets Compiler Verification
                           COCV 2005
                         Edinburgh, UK
                         April 3, 2005
 http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html

                    In conjunction with the
               8th European Joint Conferences on
                Theory and Practice of Software
                          ETAPS 2005
                         Edinburgh, UK
                      April 2 - 10, 2005
                http://www.etaps05.inf.ed.ac.uk/


IMPORTANT DATES
---------------
Submission deadline: November 26, 2004
Notification: January 21, 2005
Final versions due to February 11, 2005
Workshop: April 3, 2005

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
 - George C. Necula, University of California at Berkeley, USA
     necula at cs.berkeley.edu
 - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany,
     zimmer at informatik.uni-halle.de

Program Committee
-----------------
 - Egon Brger, Universit di Pisa, Italy
 - Michael Franz, University of California, Irvine, CA, USA
 - Sabine Glesner, Universitt Karsruhe, Germany
 - Roy Ju, Intel, Santa Clara, CA, USA
 - Jens Knoop, Vienna University of Technology, Austria
 - Todd Millstein, University of California, Los Angeles, CA, USA
 - Robert Morgan, DataPower, Cambridge, MA, USA
 - Markus Mller-Olm, FernUniversitt in Hagen, Germany
 - George C. Necula, University of California at Berkeley, CA, USA
 - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany
 - Lenore Zuck, New York University, NY, USA

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

  http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html

or e-mail to: knoop at complang.tuwien.ac.at

Submission Information and Proceedings
--------------------------------------
Papers should be submitted electronically in standard Postscript or
PDF to Jens Knoop (knoop at complang.tuwien.ac.at), together with a
plain text message containing the paper's title, author name(s),
abstract, and keywords. 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. Printed Preliminary
Proceedings will be available at the Workshop. The Final Proceedings
will be published in the Electronic Notes in Theoretical Computer
Science (ENTCS) series, Elsevier Science, Amsterdam, The Netherlands
(http://www.elsevier.nl/gej-ng/31/29/23/show/Products/notes/index.htt).

As for previous COCV workshops, we are planning to invite authors of
accepted papers of COCV 2005 to submit revised, extended versions of
their paper for publication in a joint special issue of a journal. The
specific publication venue is currently under consideration. These
submissions will pass through a second round of peer-reviewing.

Summary of Key Dates
--------------------
Submission deadline: November 26, 2004
Notification: January 21, 2005
Final versions due to February 11, 2005
Workshop: April 3, 2005

COCV 2005 Home Page:
--------------------
http://www.complang.tuwien.ac.at/knoop/COCV2005/cocv2005.html