[TYPES/announce] ATVA 2009: Call for Workshop Proposals

Wang Xu wx at iist.unu.edu
Mon Dec 15 21:32:44 EST 2008


*********************************************************************
*                 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
UNU-IIST, Macau
***************************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20081215/f196e044/attachment-0001.htm


More information about the Types-announce mailing list