CFP: COCV 2005, Edinburgh/UK, April 3, 2005

===================================================================
                                                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, 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

Return to the comp.compilers page.
Search the comp.compilers archives again.