Formal Methods Update Meeting 2023
The Formal Methods Update Meeting 2023 will be held as a physical meeting at
IIT Goa during the period 29 June–1 July, 2023.
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.
This meeting is sponsored by TCS Research and IARCS.