Formal Methods in India
Formal Methods Update Meeting 2014
Indian Institute of Technology, Kharagpur, July 28-30, 2014
Guwahati, December 10-14 2013.
Formal Methods Update Meeting 2013
Indian Institute of Technology Delhi, July 27-28, 2013
Making Formal Verification Scalable and Useable
Chennai Mathematical Institute, January 9-10 2013.
Hyderabad, December 15-17 2012.
Thiruvananthapuram, October 3-6 2012.
Formal Methods Update Meeting 2012
Chennai Mathematical Institute, July 19-21 2012.
Mumbai, December 12-14 2011.
Formal Methods Update Meeting 2011
VIT Vellore, July 12-14 2011.
Chennai, December 15-18 2010.
Formal Methods Update Meeting 2010
DA-IICT, Gandhinagar, July 15-17 2010.
TECS Week 2010, Formal methods in software verification, testing and debugging
TRDDC Pune, January 4-10 2010.
Kanpur, December 13-15 2009.
Formal Methods Update 2009
IIT Roorkee, July 13-15 2009.
This page is dedicated to activities in the area of Formal Methods being undertaken in India.
The scope of this page is rather broad ranging from highly theoretical
work on logics and models of programs to practical notations, methods
and tools for program analysis as well as case studies in using formal
methods. If you use/work on Formal Methods and are in India, we
suggest that you subscribe to our mailing list.
To contribute to this site, please contact madhavan [at] cmi (dot) ac (dot)
in. And, please include "
[FMI] " in the subject line.
This page is being maintained by Madhavan Mukund.