3rd Congress on Formal Methods

The FM'19 World Congress on Formal Methods will take place at the Alfandega do Porto Congress Center, Porto, October 7-11, 2019, under the motto "The Next 30 Years". Further to the Industry day, Tool Exhibition, Doctoral Symposium (and a social event on Oct 10), FM'19 involves more than 30 parallel events (symposia, conferences, workshops and tutorials) spreading over many FM related areas.

Date and Venue

Start Date
End Date