[FM-India] ACM India Blog on FM

Madhavan Mukund madhavan at cmi.ac.in
Wed Aug 28 11:29:18 IST 2019

----- Forwarded message from R Venky <r.venky at tcs.com> -----

Date: Wed, 28 Aug 2019 11:23:24 +0530
From: R Venky <r.venky at tcs.com>
Subject: FMI - Blogs on FM

ACM India is happy to announce a series of blogs in the areas of Formal 
Methods (https://acm-fm-blog.blogspot.com/ ). We invite you to visit the 
site and subscribe to it. The objective of these blogs is to provide a 
platform for theoreticians and practitioners in the areas of formal 
methods and theory B to share ideas and opinions leading to better 
networking, and attracting fresh researchers.

You are also invited to contribute by filling up this form:


It may take at most a week for your blog to appear as it is 

Looking forward to interesting interactions through these Blogs.


Venkatesh R
Tata Consultancy Services
Ph:- +91 20 6608 6304
Buzz:- 420 6304
Fax:- +91 20 6608 6399
Mailto: r.venky at tcs.com
Website: http://www.tcs.com

----- End forwarded message -----

More information about the FMIndia mailing list