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 contactfm2019@inesctec.pt

.

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
PPDP 2019PPDP 2019PPDP 2019FRAMA-C-IoTFMBC 2019
AFFORD 2019RV 2019RV 2019RV 2019RV 2019
OVT 2019UTP 2019SAS 2019SAS 2019SAS 2019
DataMod 2019DataMod 2019TAP 2019TAP 2019TAP 2019
F-IDE 2019FM4BioMedVECoS 2019KeYmaeraXHFM 2019
FMIS 2019NSAD 2019DALI 2019MLFVALLOY
FMTea 2019SASB 2019RPLA 2019SRV
REFINE 2019TAPAS 2019
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.