[FM-India] ACM India Blog on FM

[Madhavan Mukund]

----- 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:

https://docs.google.com/forms/d/e/1FAIpQLScPRfnT9dxwyEknCO4AiaU6_rnrw7pTzXKb62N8etKzRMlcPA/viewform?usp=sf_link.

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

Looking forward to interesting interactions through these Blogs.

Venky

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 -----