[FM-India] AFM'08 Workshop at CAV 2008
Supratik Chakraborty
supratik at cse.iitb.ac.in
Thu May 22 00:30:51 IST 2008
For all those interested in automated formal methods:
AFM08 (Automated Formal Methods) will be held on Monday 14 July 2008
at Princeton
in association with the 20th International Conference on Computer Aided
Verification (CAV 2008)
This will be the third in the Automated Formal Methods (AFM) workshop
series, following on from AFM06 and AFM07. AFM functions both as a
user's meeting for the SRI tools PVS, SAL (with HybridSAL), and Yices,
and as a general workshop for those interested in state of the art
automation for formal methods.
All those interested in submitting papers (deadline: May 25, 2008) and
even otherwise, please visit
http://fm.csl.sri.com/AFM08. If there are any questions/clarifications,
I'd be happy to answer them.
Best regards,
Supratik Chakraborty
More information about the FMIndia
mailing list