Formal Methods Update Meeting 2018 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. 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. If you would like to give a talk please email your title and abstract to update2018@iarcs.org.in.
This meeting is sponsored by TCS logo TCS Research