[ecoop-info] CFP: COCV 2008, Budapest, Hungary, 5 April 2008

[Jens Knoop]

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

                 7th International Workshop on
       Compiler Optimization Meets Compiler Verification

                           COCV 2008

                       Budapest, Hungary
                         April 5, 2008 

  http://www.complang.tuwien.ac.at/cocv2008/cocv2008.html
-------------------------------------------------------------------
                    In conjunction with the
               11th European Joint Conferences on 
                Theory and Practice of Software
                          ETAPS 2008
                      Budapest, Hungary 
                    March 29 - April 6, 2008
                   http://etaps08.mit.bme.hu/
===================================================================

IMPORTANT DATES 
---------------
Submission deadline: 
    Abstract:   December 7, 2007
    Full Paper: December 14, 2007
Notification: January 25, 2008
Final versions due to February 22, 2008
Workshop: April 5, 2008

Workshop Description 
--------------------

COCV workshop provides a forum for researchers and practitioners
working on optimizing and verifying compilation, and on related fields
such as translation validation, certifying compilation and embedded
systems with a special emphasis on hardware verification, formal
synthesis methods, correctness aspects in HW/SW co-design, formal
verification of hardware/software systems, and practical and
industrial applications of formal techniques 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.

Organizers
----------
 - Rolf Drechsler, University of Bremen, Germany
     drechsle at informatik.uni-bremen.de
 - Sabine Glesner, Berlin University of Technology, Germany
     glesner at cs.tu-berlin.de 
 - 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
-----------------  
 - Roderick Bloem, Technical University of Graz, Austria
 - Rolf Drechsler, University of Bremen, Germany
 - Sabine Glesner, Berlin University of Technology, Germany
 - Alan Hu, University of British Columbia, Vancouver, Canada
 - Jens Knoop, Vienna University of Technology, Austria  
 - Robert Morgan, IBM, USA 
 - Bernhard Scholz, SUN, Brisbane, 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 2008 please refer to our web site:

  http://www.complang.tuwien.ac.at/cocv2008/cocv2008.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. Email 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 
--------------------
Submission deadline: 
    Abstract:   December 7, 2007
    Full Paper: December 14, 2007
Notification: January 25, 2008
Final versions due to February 22, 2008
Workshop: April 5, 2008

COCV 2008 Home Page:
--------------------
http://www.complang.tuwien.ac.at/cocv2008/cocv2008.html