Formal Methods Update Meeting 2019
The Formal Methods Update Meeting 2019 will take place in
IIT Hyderabad during 10–11 July, 2019.
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.
Everybody interested in the use of Formal Methods in Program Design and
Verification and Theoretical Computer Science is welcome to join.
If you are interested in participating, please register online via
the "Register" link.
The last date to register for FM Update Meeting 2019 is Sunday, 7 July, 2019.
If you would like to give a talk please email your title and abstract to
fmupdate19@iith.ac.in.
