|
The deadline is in **10 days** (i.e. 15th March)
... *********************************************************************
* 7th International Symposium * on * Automated Technology for Verification and Analysis * * **CALL FOR WORKSHOP PROPOSALS** *
********************************************************************* You are cordially invited to submit proposals for
organising
associated workshops with the ATVA 2009 conference
(http://www.iist.unu.edu/atva09).
The available dates for
workshops are from **11th to 13th** October 2009,
i.e.
before the conference. The workshop topics should be generally in line
with the interests of ATVA community,
i.e. theoretical and practical aspects of automated analysis
, verification and synthesis. Research topics in emerging
application fields like pervasive computing,
security,
biological systems and multicore programming
are
especially welcome.
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.
Workshop proposals should be submitted no later
than
**March 15, 2009**. Decision and notification will be
given within a
fortnight.
Proposal submission and further enquiries should be
addressed to:
Dr. Xu Wang (wx AT iist.unu.edu)
ATVA Workshop Chair
*************************************************************************** |