CfP: 8th Int'l Workshop on Compiler Optimization Meets Compiler Verification COCV 2009 (York UK, Mar 09)

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


                                            CALL FOR PAPERS


                              8th International Workshop on
          Compiler Optimization Meets Compiler Verification


                                                  COCV 2009


                                                  York, U.K.
                                              March 22, 2009


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


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


                                    In conjunction with the
                          12th European Joint Conferences on
                            Theory and Practice of Software
                                                ETAPS 2009
                                                York, U.K.
                                    March 22 - March 29, 2009
                        http://www.cs.york.ac.uk/etaps09/


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


IMPORTANT DATES
---------------


Abstract Submission Deadline: December 8, 2008
Full Paper Submission Deadline: December 15, 2008
Notification of Acceptance/Rejection: January 16, 2009
Final versions due to February 4, 2009
Workshop: March 22, 2009


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
- Wolf Zimmermann, Universitaet Halle-Wittenberg, Germany,
      zimmer at informatik.uni-halle.de


Program Committee
-----------------
- Sabine Glesner, Technical University Berlin, Germany
- David Gregg, Trinity College Dublin, Ireland
- Jens Knoop, Vienna University of Technology, Austria
- Sorin Lerner, University of California, San Diego, USA
- Markus M|ller-Olm, Universitdt M|nster, Germany
- Xavier Rival, INRIA, Paris, France
- Bernhard Scholz, University of Sydney, Australia
- Kurt Wallnau, Carnegie Mellon University, Pittsburgh, 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 2009 please refer to our web site:


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


or e-mail to: zimmer at informatik.uni-halle.de


Submission Information and Proceedings
--------------------------------------


Papers should be submitted electronically in standard Postscript or
PDF via the electronic submission system which will be made available
via the COCV 09 web site. 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. As in previous years, the
proceedings of accepted papers will be published in the Electronic
Notes in Theoretical Computer Science (ENTCS) series, Elsevier
Science, Amsterdam, The Netherlands (pending). Preliminary
proceedings will be available at the workshop. Selected papers will
be considered for publication in a special issue of an appropriate
journal. The specific publication venue has not yet been decided
on. These submissions will pass through a second round of
peer-reviewing.


Summary of Key Dates
--------------------
Abstract Submission Deadline: December 8, 2008
Full Paper Submission Deadline: December 15, 2008
Notification of Acceptance/Rejection: January 16, 2009
Final versions due to February 4, 2009
Workshop: March 22, 2009


COCV 2009 Home Page:
--------------------
http://www.complang.tuwien.ac.at/cocv2009/cocv2009.html

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