[FM-India] ATVA 2012: Call for papers

[Supratik Chakraborty]

Apologies for a typo in one of the URLs given in the CFP posted earlier.
The URL for the conference is www.iarcs.org.in/atva2012/

Best regards,
   Supratik

On Thursday 26 January 2012 07:59 AM, Supratik Chakraborty wrote:
> CALL FOR PAPERS
> ===============
>
> 10th International Symposium on Automated Technology
> for Verification and Analysis (ATVA 2012)
> October 3-6, 2012
> Thiruvananthapuram (Trivandrum), India
>
> http://www.iarcs.org.in/atva2012/
<snip>


> For further information and instructions about submission,
> please refer to the conference website (http://www.iarcs.org/atva2012).
The URL in the above line should have read http://www.iarcs.org.in/atva2012/