[ecoop-info] CFP COCV 2007, 25 March 2007, Braga, Portugal

[Jens Knoop]

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

                        CALL FOR PAPERS

                 6th International Workshop on
       Compiler Optimization Meets Compiler Verification

                           COCV 2007

                        Braga, Portugal
                         25 March 2007 

                http://pes.cs.tu-berlin.de/cocv2007/

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

                    In conjunction with the
               10th European Joint Conferences on
                Theory and Practice of Software
                          ETAPS 2007
                        Braga, Portugal
                    March 24 - April 1, 2007
                http://www.di.uminho.pt/etaps07/

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

IMPORTANT DATES
---------------
Submission deadline: December 8, 2006
Notification: January 13, 2007
Final versions due to February 16, 2007
Workshop: 25 March, 2007 

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

COCV 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.


Previous COCV workshops have taken place in 2002 in Grenoble, in 2003
in Warsaw, in 2004 in Barcelona, in 2005 in Edinburgh and in 2006 in
Vienna, always as a satellite event of the ETAPS conferences. More
information can be found at http://pes.cs.tu-berlin.de/cocv2007/.


Program Co-Chairs for COCV 2007
-------------------------------

    * Rolf Drechsler, University of Bremen, Germany
    * Sabine Glesner, Technical University of Berlin, Germany
    * Jens Knoop, Vienna University of Technology, Austria


Program Committee
----------------- 

    * Roderick Bloem, Technical University of Graz, Austria
    * Alessandro Cimatti, ITC-irst, Trento, Italy
    * Franjo Ivancic, NEC Laboratories America, USA  
    * Rainer Leupers, RWTH Aachen University, Germany
    * Robert Morgan, IBM, USA
    * Wolfgang Müller, Paderborn University/C-LAB, Germany
    * Wolf Zimmermann, Martin-Luther-Universität Halle-Wittenberg, Germany
    * Lenore Zuck, University of Illinois at Chicago, USA

Invited Talk
------------

The invited talk will be given by

Alan Hu, University of British Columbia, Canada


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

  http://pes.cs.tu-berlin.de/cocv2007/

or email to: glesner at cs dot tu-berlin dot de

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

Papers should be submitted electronically in standard Postscript or
PDF to Sabine Glesner (glesner at cs dot tu-berlin dot 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.  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. 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 for papers: December 8, 2007
    * Notification of acceptance/rejection: January 13, 2007
    * Final versions due: February 16, 2007
    * COCV'07 Workshop: 25 March, 2007 


COCV 2007 Home Page:
--------------------

http://pes.cs.tu-berlin.de/cocv2007/