Formal Methods in India


Upcoming Events:

Past Events:

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.

This page is being maintained by Madhavan Mukund.