[FM-India] ATVA 2012: Call for papers
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/
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
> 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