CFP: 9th Int. Workshop on Compiler Optimization Meets Compiler Verification (COCV 2010), Paphos, Cyprus

CALL FOR PAPERS 9th International Workshop on Compiler Optimization Meets Compiler Verification COCV 2010 Paphos, Cyprus March 27, 2010 http://www.complang.tuwien.ac.at/cocv2010 IMPORTANT DATES Abstract and Title: February 1, 2010 Full Paper Submission Deadline: February 8, 2010 Notification of Acceptance/Rejection: February 24, 2010 Final versions due to March 10, 2010 Workshop: March 27, 2010 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. Official Address and Organization For any questions related to COCV 2010 please refer to our web site: http://www.complang.tuwien.ac.at/cocv2010 or e-mail to the 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 Submission Information and Proceedings Papers should be submitted electronically in standard Postscript or PDF via the electronic submission system which is available via the COCV 2010 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 and Title: February 1, 2010 Full Paper Submission Deadline: February 8, 2010 Notification of Acceptance/Rejection: February 24, 2010 Final versions due to March 10, 2010 Workshop: March 27, 2010 COCV 2010 Home Page: http://www.complang.tuwien.ac.at/cocv2010