[TYPES/announce] Final Call for Workshop Proposals: ATVA 2009
Wang Xu
wx at iist.unu.edu
Wed Mar 4 04:34:39 EST 2009
The deadline is in **10 days** (i.e. 15th March) ...
*********************************************************************
* 7th International Symposium
* on
* Automated Technology for Verification and Analysis
*
* **CALL FOR WORKSHOP PROPOSALS**
*
* 11-13 October 2009, Macao SAR, China
*
* http://www.iist.unu.edu/atva09/callforworkshop.html
*
*********************************************************************
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
***************************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20090304/6348245c/attachment.htm
More information about the Types-announce
mailing list