Call for Workshop Proposals (Download the call for workshop proposals in pdf format.) 11-13 October 2009, Macao SAR, China (associated with ATVA 2009 - 7th International Symposium on Automated Technology for Verification and Analysis) ATVA Website: http://www.iist.unu.edu/atva09/ You are cordially invited to submit proposals for organising associated workshops with the conference. The available dates for workshops are from 11th to 13th October 2009, i.e. before the conference. The ATVA organisers offer Workshop rooms and equipment for presentation Local organisation including registration service, hotel reservation management and arrangement of coffee breaks and lunches Discount on main conference registrations Links from the conference webpages to workshop webpages and help in publicising the workshops We expect workshop proposals to include: Workshop title and a short scientific summary of its topic Proposed date (and duration) and the expected number of participants Organizing committee and potential invited speakers Procedures for participant and paper selection and plan for proceedings publication. Submission deadline for workshop proposals: March 15th, 2009 Notification: March 29, 2009 Proposals submission and further enquiries should be addressed to: Dr. Xu Wang ATVA Workshop Chair