[FM-India] Formal Methods Update Meeting 2018

[Madhavan Mukund]

----- Forwarded message -----

Date: Mon, 4 Jun 2018 17:26:18 +0530
From: A Baskar <abaskar at goa.bits-pilani.ac.in>
To: fmindia at cmi.ac.in
Subject: Formal Methods Update Meeting 2018

Dear Colleagues,

The Formal Methods Update Meeting 2018 will take place in BITS Pilani
K K Birla Goa Campus during 19–21 July, 2018.

The FM Update Meeting is an informal event organized by the FM
community in India annually, with the aim of getting FM researchers
together to present and discuss topical developments in their areas of
interest.

The emphasis is usually on theory but presentations on the current
state of the practice or recent tools in the area are also encouraged.

The registration link is open now at http://fmindia.cmi.ac.in/update2018/.

Everybody interested in the use of Formal Methods in Program Design &
Verification and Theoretical Computer Science is welcome to join.

Regards,
Baskar.


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