Formal Methods in India

Formal Methods in India

Upcoming Events:

Formal Methods Update Meeting
VIT University, Vellore, 12-14 Jul 2011.

FSTTCS 2011 (cfp)
IIT Bombay, 12-14 Dec 2011.

Important Dates:
Deadline for Submission:                      6 July 2011
Notification to Authors:                 5 September 2011
Final Version of Accepted Papers due on:   5 October 2011

Recent Events:

FSTTCS 2010
Chennai, 15-18 Dec 2010.
Formal Methods Update Meeting DA-IICT, Gandhinagar, 15-17 Jul 2010.
TECS Week 2010, Formal methods in software verification, testing and debugging
TRDDC Pune, 4-10 Jan 2010.
FSTTCS '09
Kanpur, 13-15 Dec 2009.
Formal Methods Update 2009
IIT Roorkee, 13-15 Jul 2009.

This page is dedicated to activities in the area of Formal Methods in Program Design being undertaken in India. We (will) also maintain links to similar such pages around the world and to other interesting information.

Subscribe to the FMIndia mailing list.
View the list archives.

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.