[FM-India] ATVA 2012: Call for papers

Supratik Chakraborty supratik at cse.iitb.ac.in
Thu Jan 26 08:11:47 IST 2012

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,

On Thursday 26 January 2012 07:59 AM, Supratik Chakraborty wrote:
> ===============
> 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/

> 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/

More information about the FMIndia mailing list