=================================================================== 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 -------------------- 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. 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, Topsfield, MA, 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 ========================= END CFP COCV 2008 =========================