Formal Methods in India


Upcoming Events:

Recent Events:

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.

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.