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

                        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 Börger, Università di Pisa, Italy
 - Michael Franz, University of California, Irvine, CA, USA
 - Sabine Glesner, Universität 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 Müller-Olm, FernUniversität in Hagen, Germany 
 - George C. Necula, University of California at Berkeley, CA, USA
 - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany 
 - Lenore Zuck, University of Illinois, Chicago, IL, 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@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

========================= END CFP COCV 2005 =========================