CFP COCV 2004, co-located with ETAPS'04 (Barcelona, Spain, April 2004)

===================================================================
                                                  CALL FOR PAPERS


                                    3rd International Workshop on
                Compiler Optimization Meets Compiler Verification


                                                        COCV 2004


                                                  Barcelona, Spain
                                                        April 2004


    http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html
-------------------------------------------------------------------
                                          In conjunction with the
                                7th European Joint Conferences on
                                  Theory and Practice of Software
                                                      ETAPS 2004
                                                Barcelona, Spain
                                      March 27 - April 4, 2004
                                http://www.lsi.upc.es/etaps04/
===================================================================


IMPORTANT DATES
---------------
Submission deadline: November 24, 2003.
Notification: January 16, 2004.
Final versions due to February 16, 2004.
Workshop: April 2004 (on the week-end following
                                              the ETAPS main conferences)


Workshop Description
--------------------
COCV 2004 provides a forum for researchers and practitioners working
on optimizing and verifying compilation, and related fields such as
translation validation, certifying and credible compilation,
programming language design and programming language semantics for
exchanging their latest findings, and for plumbing the mutual impact
of these fields on each other. 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
-----------------
    - Manuel Chakravarty, University of New South Wales, Sydney, Australia
    - Michael Franz, University of California, Irvine, USA
    - Rajiv Gupta, University of Arizona at Tucson, USA
    - Jens Knoop, Vienna University of Technology, Austria
    - Erik Meijer, Microsoft Research, USA
    - Robert Morgan, DataPower, Cambridge, USA
    - George C. Necula, University of California at Berkeley, USA
    - Wolfgang Reif, Universitaet Augsburg, Germany
    - Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany
    - Lenore Zuck, New York University, USA


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


      http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.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. We are planning
(approval pending) that 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).
Moreover, we are planning to invite authors of accepted papers of COCV
2003 and COCV 2004 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 24, 2003.
Notification: January 16, 2004.
Final versions due to February 16, 2004.
Workshop: April 2004 (on the week-end following
                                              the ETAPS main conferences)


COCV 2004 Home Page:
--------------------
http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html

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