<!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>* 7th
International
Symposium<BR>*
on<BR>* Automated
Technology for Verification and
Analysis<BR>*
<BR>* **CALL FOR
WORKSHOP PROPOSALS**</FONT></DIV>
<DIV><FONT face=Arial
size=2>*
<BR></FONT><FONT face=Arial
size=2>* 11-13
October 2009, Macao SAR,
China<BR>*
<BR>* <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>*
<BR>*********************************************************************<BR></FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </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 </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 programming
are </FONT></DIV>
<DIV><FONT face=Arial size=2>especially welcome.</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><FONT face=Arial size=2>The ATVA organisers offer:</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </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> reservation </FONT><FONT face=Arial
size=2>management and arrangement of coffee </FONT></DIV>
<DIV><FONT face=Arial size=2> 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> webpages </FONT><FONT face=Arial
size=2>and help in publicising the workshops</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV><FONT face=Arial size=2>
<DIV><BR>We expect workshop proposals to include:<BR></DIV>
<DIV> </DIV>
<DIV>- Workshop title and a short scientific summary of its topic<BR>- Proposed
date (and duration) and the expected number</DIV>
<DIV> of participants<BR>- Organizing committee and potential invited
speakers<BR>- Procedures for participant and paper selection and plan</DIV>
<DIV> for proceedings publication.</FONT></DIV>
<DIV><FONT face=Arial size=2></FONT> </DIV>
<DIV><FONT face=Arial size=2></FONT> </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**. </FONT><FONT face=Arial
size=2>Decision and notification will be </FONT></DIV>
<DIV><FONT face=Arial size=2>given </FONT><FONT face=Arial size=2>within a
fortnight.</FONT></DIV>
<DIV><FONT face=Arial size=2><BR> </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> </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>