Formal Methods in India
Formal Methods Update Meeting 2015
Indian Institute of Science, Bangalore, July 16-17, 2015
Bangalore, December 16-18 2015.
Deadline for Submission: 13 July 2015
Notification to Authors: 14 September 2015
Final Version of Accepted Papers due on: 16 October 2015
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Tata Institute of Fundamental Research, Mumbai, January 12-18, 2015
New Delhi, December 15-17 2014.
CSI SIG-FM National Workshop / Conference on Formal Methods - NCFM
Indian Institute of Science, Bangalore, October 15-17, 2014
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.