{"id":2221,"date":"2019-06-24T16:27:10","date_gmt":"2019-06-24T16:27:10","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2221"},"modified":"2020-12-16T17:58:56","modified_gmt":"2020-12-16T17:58:56","slug":"call-for-participation","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/call-for-participation\/","title":{"rendered":"Call for Participation"},"content":{"rendered":"

\"\"Planning to participate in the FM’19 World Congress on Formal Methods<\/strong>? This page is for you.<\/p>\n

The overall schedule of the whole FM Week<\/strong> can be found below. Please have a look at the events that interest you in particular.<\/p>\n

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

Also have a look at the local<\/a> information page and at the FM Week Social Event <\/strong>described below.<\/p>\n

If you need more information, please do not hesitate to contact the organization at contactfm2019@inesctec.pt<\/a><\/p>\n

.<\/span><\/div>\n

FM Week Schedule<\/h4>\n

\n\n\n\n\t\n\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t
7 Oct<\/strong><\/th>8 Oct<\/strong><\/th>9 Oct<\/strong><\/th>10 Oct<\/strong><\/th>11 Oct<\/strong><\/th>\n<\/tr>\n<\/thead>\n
<\/td><\/td>FM 2019<\/strong><\/a><\/td>FM 2019<\/strong><\/a><\/td>FM 2019<\/strong><\/a><\/td>\n<\/tr>\n
DS 2019<\/strong><\/a><\/td>LOPSTR 2019<\/strong><\/a><\/td>LOPSTR 2019<\/strong><\/a><\/td>LOPSTR 2019<\/strong><\/a><\/td>i-Day 2019<\/strong><\/a><\/td>\n<\/tr>\n
MPC 2019<\/strong><\/a><\/td>MPC 2019<\/strong><\/a><\/td>MPC 2019<\/strong><\/a><\/td>CbC<\/strong><\/a><\/td>FMAS 2019<\/strong><\/a><\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/td>PPDP 2019<\/strong><\/a><\/td>PPDP 2019<\/strong><\/a><\/td>FRAMA-C-IoT<\/strong><\/a><\/td>FMBC 2019<\/strong><\/a><\/td>\n<\/tr>\n
AFFORD 2019<\/strong><\/a><\/td>RV 2019<\/strong><\/a><\/td>RV 2019<\/strong><\/a><\/td>RV 2019<\/strong><\/a><\/td>RV 2019<\/strong><\/a><\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/td>UTP 2019<\/strong><\/a><\/td>SAS 2019<\/strong><\/a><\/td>SAS 2019<\/strong><\/a><\/td>SAS 2019<\/strong><\/a><\/td>\n<\/tr>\n
DataMod 2019<\/strong><\/a><\/td>DataMod 2019<\/strong><\/a><\/td>TAP 2019<\/strong><\/a><\/td>TAP 2019<\/strong><\/a><\/td>TAP 2019<\/strong><\/a><\/td>\n<\/tr>\n
F-IDE 2019<\/strong><\/a><\/td>FM4BioMed<\/strong><\/a> (cancelled)<\/td>VECoS 2019<\/strong><\/a><\/td>KeYmaeraX<\/strong><\/a><\/td>HFM 2019<\/strong><\/a><\/td>\n<\/tr>\n
FMIS 2019<\/strong><\/a><\/td>NSAD 2019<\/strong><\/a><\/td>DALI 2019<\/strong><\/a><\/td>MLFV<\/strong><\/a> (cancelled)<\/td>ALLOY<\/strong><\/a><\/td>\n<\/tr>\n
FMTea 2019<\/strong><\/a><\/td>SASB 2019<\/strong><\/a><\/td>RPLA 2019<\/strong><\/a><\/td><\/td>SRV<\/strong><\/a><\/td>\n<\/tr>\n
REFINE 2019<\/strong><\/a><\/td>TAPAS 2019<\/strong><\/a><\/td><\/td><\/td><\/td>\n<\/tr>\n
OpenCERT 2019<\/strong><\/a><\/td><\/td><\/td><\/td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
\nNB: this schedule is subject to (very minor) changes. The tutorials on Oct-10 <\/strong>take place in the morning.<\/p>\n
.<\/span><\/div>\n","protected":false},"excerpt":{"rendered":"

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 …<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/2221"}],"collection":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=2221"}],"version-history":[{"count":35,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/2221\/revisions"}],"predecessor-version":[{"id":3871,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/2221\/revisions\/3871"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=2221"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}