Planning to participate in the FM’19 World Congress on Formal Methods? This page is for you.

The overall schedule of the whole FM Week can be found below. Please have a look at the events that interest you in particular.

You will be able to register for such events only or for the full week. The fees, early/normal registration deadlines and other details can be found in the Registration Page.

Also have a look at the local information page and at the FM Week Social Event described below.

If you need more information, please do not hesitate to contact the organization at


FM Week Schedule

7 Oct8 Oct9 Oct10 Oct11 Oct
FM 2019FM 2019FM 2019
DS 2019LOPSTR 2019LOPSTR 2019LOPSTR 2019i-Day 2019
MPC 2019MPC 2019MPC 2019CbCFMAS 2019
AFFORD 2019RV 2019RV 2019RV 2019RV 2019
OVT 2019UTP 2019SAS 2019SAS 2019SAS 2019
DataMod 2019DataMod 2019TAP 2019TAP 2019TAP 2019
F-IDE 2019FM4BioMedVECoS 2019KeYmaeraXHFM 2019
FMTea 2019SASB 2019RPLA 2019SRV
OpenCERT 2019

NB: this schedule is still subject to (very minor) changes.


FM Week Social Program

The social program of FM’19 will be held on Thursday afternoon (Oct 10), after the FME Fellowship Award Ceremony. It will consist of a Rota do Douro cruise upstream, leading to a visit to a Port Wine cellar in Gaia (on other bank of the river), where there will be some Port wine tasting in a cocktail and finally the FM’19 congress banquet.

The banquet will take place at The Baron’s Hall and Gallery of Real Companhia Velha, a  Port wine company founded in 1756 by Royal Charter of King D.José I of Portugal.