<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.6000.16762" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Arial size=2>
<DIV><FONT face=Arial 
size=2>*********************************************************************<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;7th 
International 
Symposium<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; on<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Automated 
Technology for Verification and 
Analysis<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; **CALL FOR 
WORKSHOP PROPOSALS**</FONT></DIV>
<DIV><FONT face=Arial 
size=2>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR></FONT><FONT face=Arial 
size=2>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;11-13 
October 2009, Macao SAR, 
China<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<A 
href="http://www.iist.unu.edu/atva09/callforworkshop.html">http://www.iist.unu.edu/atva09/callforworkshop.html</A></FONT></DIV>
<DIV><FONT face=Arial 
size=2>*&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<BR>*********************************************************************<BR></FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>You are cordially invited to submit proposals for 
organising </FONT></DIV>
<DIV><FONT face=Arial size=2>associated&nbsp;</FONT><FONT face=Arial 
size=2>workshops with the ATVA 2009 conference </FONT></DIV>
<DIV><FONT face=Arial size=2>(<A 
href="http://www.iist.unu.edu/atva09/callforworkshop.html">http://www.iist.unu.edu/atva09</A>). 
The </FONT><FONT face=Arial size=2>available dates for </FONT></DIV>
<DIV><FONT face=Arial size=2>workshops are from **11th to 13th** October 2009, 
i.e.<BR>before the conference. The workshop topics should </FONT><FONT 
face=Arial size=2>be </FONT></DIV>
<DIV><FONT face=Arial size=2>generally in </FONT><FONT face=Arial size=2>line 
with the interests of ATVA community, </FONT></DIV>
<DIV><FONT face=Arial size=2>i.e. theoretical and practical </FONT><FONT 
face=Arial size=2>aspects of automated analysis</FONT></DIV>
<DIV><FONT face=Arial size=2>, verification and synthesis. Research </FONT><FONT 
face=Arial size=2>topics in emerging </FONT></DIV>
<DIV><FONT face=Arial size=2>application fields like pervasive computing, 
security, </FONT></DIV>
<DIV><FONT face=Arial size=2>biological systems and multicore&nbsp;programming 
are </FONT></DIV>
<DIV><FONT face=Arial size=2>especially welcome.</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>The ATVA organisers offer:</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>- Workshop rooms and equipment for 
presentation</FONT><FONT face=Arial size=2><BR></FONT><FONT face=Arial size=2>- 
Local organisation including registration service, hotel </FONT></DIV>
<DIV><FONT face=Arial size=2>&nbsp; reservation&nbsp;</FONT><FONT face=Arial 
size=2>management and arrangement of coffee </FONT></DIV>
<DIV><FONT face=Arial size=2>&nbsp; breaks and lunches<BR></FONT><FONT 
face=Arial size=2>- Discount on main conference registrations<BR></FONT><FONT 
face=Arial size=2>- Links from the conference webpages to workshop </FONT></DIV>
<DIV><FONT face=Arial size=2>&nbsp; webpages&nbsp;</FONT><FONT face=Arial 
size=2>and help in publicising the workshops</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV><FONT face=Arial size=2>
<DIV><BR>We expect workshop proposals to include:<BR></DIV>
<DIV>&nbsp;</DIV>
<DIV>- Workshop title and a short scientific summary of its topic<BR>- Proposed 
date (and duration) and the expected number</DIV>
<DIV>&nbsp;&nbsp;of participants<BR>- Organizing committee and potential invited 
speakers<BR>- Procedures for participant and paper selection and plan</DIV>
<DIV>&nbsp;&nbsp;for&nbsp;proceedings publication.</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>Workshop proposals should be submitted no later 
than </FONT></DIV>
<DIV><FONT face=Arial size=2>**March 15, 2009**.&nbsp;</FONT><FONT face=Arial 
size=2>Decision and notification will be </FONT></DIV>
<DIV><FONT face=Arial size=2>given&nbsp;</FONT><FONT face=Arial size=2>within a 
fortnight.</FONT></DIV>
<DIV><FONT face=Arial size=2><BR>&nbsp;</DIV></FONT>
<DIV><FONT face=Arial size=2>Proposal submission and further enquiries should be 
</FONT></DIV>
<DIV><FONT face=Arial size=2>addressed to:<BR></DIV></FONT>
<DIV><FONT face=Arial size=2></FONT>&nbsp;</DIV>
<DIV><FONT face=Arial size=2>Dr. Xu Wang (wx AT iist.unu.edu)</FONT></DIV><FONT 
face=Arial size=2>
<DIV>ATVA Workshop Chair</DIV>
<DIV><BR>***************************************************************************<BR></DIV></FONT></FONT></DIV></BODY></HTML>