{"id":2745,"date":"2019-08-21T11:18:10","date_gmt":"2019-08-21T11:18:10","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2745"},"modified":"2020-03-25T19:33:13","modified_gmt":"2020-03-25T19:33:13","slug":"final-programs","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/final-programs\/","title":{"rendered":"Overall FM’19 Program"},"content":{"rendered":"

\"\"\u27a1\ufe0f OVERALL PROGRAM of the FM’19 CONGRESS<\/strong> – please browse the table below. \u2b05\ufe0f<\/p>\n

The final programs of the following FM’19 <\/strong> events, as generated by EasyChair’s smart program technology<\/a>,  are available from:<\/p>\n

<\/p>\n
<\/div>\n

AFFORD<\/strong> (Oct 7)<\/a> | DS<\/strong> (Oct 7)<\/a> | DataMod<\/strong> (Oct 7-8)<\/a> | F-IDE<\/strong> (Oct 7)<\/a> | FM<\/strong> (Oct 9-11)<\/a> | FMAS<\/strong> (Oct 11)<\/a> | FMBC<\/strong> (Oct 11)<\/a> | FMIS<\/strong> (Oct 7)<\/a> | FMTea<\/strong> (Oct 7)<\/a> | HFM<\/strong> (Oct 11)<\/a> | LOPSTR<\/strong> (Oct 8-10)<\/a> | MPC<\/strong> (Oct 7-9)<\/a> | NSAD<\/strong> (Oct 8)<\/a> | OVT<\/strong> (Oct 7)<\/a> | OpenCERT<\/strong> (Oct 7)<\/a> | PPDP<\/strong> (Oct 7-9)<\/a> | REFINE<\/strong> (Oct 7)<\/a> | RPLA<\/strong> (Oct 9)<\/a> | RV<\/strong> (Oct 8-11)<\/a> | SAS<\/strong> (Oct 9-11)<\/a> | SG65<\/strong> (Oct 8)<\/a> | TAP<\/strong> (Oct 9-11)<\/a> | TAPAS<\/strong> (Oct 8)<\/a> | UTP<\/strong> (Oct 8)<\/a> | VECoS<\/strong> (Oct 9)<\/a> | i-Day<\/strong> (Oct 11)<\/a><\/p>\n

<\/center>
\nThe table below records where<\/strong> and when<\/strong> all sessions<\/strong> of the events of the FM Week<\/strong> of the FM’19<\/strong> world congress will take place.<\/p>\n

Legend \"Porto (cf. the map aside):<\/p>\n