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

                        CALL FOR PAPERS

                 5th International Workshop on
       Compiler Optimization Meets Compiler Verification

                           COCV 2006

                        Vienna, Austria
                         April 2, 2006 

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

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

                    In conjunction with the
               9th European Joint Conferences on 
                Theory and Practice of Software
                          ETAPS 2006
                        Vienna, Austria 
                    March 25 - April 2, 2006
            http://www.complang.tuwien.ac.at/etaps06

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

IMPORTANT DATES 
---------------
Submission deadline: November 25, 2005
Notification: January 22, 2006
Final versions due to February 20, 2006
Workshop: April 2, 2006

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
-----------------  
 - Wolfram Amme, Universität Jena, Germany
 - Manuel Chakravarty, University of New South Wales, Australia
 - Sabine Glesner, Technische Universität Berlin, Germany
 - Xavier Leroy, INRIA Rocquencourt, Le Chesnay, France
 - Jens Knoop, Vienna University of Technology, Austria  
 - Robert Morgan, DataPower, Cambridge, MA, USA    
 - Markus Müller-Olm, Universität Münster, Germany 
 - George C. Necula, University of California at Berkeley, CA, USA
 - Amir Pnueli, The Weizmann Institute of Science, Israel
 - 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 2006 please refer to our web site:

  http://www.complang.tuwien.ac.at/cocv2006/cocv2006.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 to Wolf Zimmermann (zimmmer at informatik.uni-halle.de), 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)
(pending).

As for previous COCV workshops, we are planning to invite authors of
accepted papers of COCV 2006 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 25, 2005
Notification: January 22, 2006
Final versions due to February 20, 2006
Workshop: March/April 2006

COCV 2006 Home Page:
--------------------
http://www.complang.tuwien.ac.at/cocv2006/cocv2006.html

========================= END CFP COCV 2006 =========================