COCV 2009 will be held in
conjunction with the 12th European Joint Conferences on
Theory and Practice of Software (ETAPS 2009) in York,
England, in March 2009. The 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.
Previous
workshops, COCV 2002, COCV 2003, COCV 2004, COCV 2005,
COCV 2006,
COCV 2007, and
COCV 2008,
have been held in affiliation with ETAPS 2002 in Grenoble, France,
ETAPS
2003 in Warsaw, Poland, ETAPS 2004 in
Barcelona, Spain, ETAPS
2005 in Edinburgh, Scotland,
ETAPS 2006 in
Vienna, Austria, ETAPS
2007 in Braga, Portugal,
and ETAPS
2008 in Budapest, Hungary.