{"id":200,"date":"2018-07-13T10:02:17","date_gmt":"2018-07-13T10:02:17","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=200"},"modified":"2019-10-03T18:53:26","modified_gmt":"2019-10-03T18:53:26","slug":"important-dates","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/important-dates\/","title":{"rendered":"Important Dates"},"content":{"rendered":"

This page aggregates the important dates<\/strong> of all events \"Porto associated to the FM\u201919 World Congress<\/strong>.<\/p>\n

Check your timings in the table below, which you can sort<\/strong> and search<\/strong> at your convenience.<\/p>\n

Please note that this is a dynamic<\/em> table \u2013 new dates are added \/ updated as soon as they become available or removed when they are over:<\/p>\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\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t
Event<\/strong><\/th>Date<\/strong><\/th>Action<\/strong><\/th>\n<\/tr>\n<\/thead>\n
FM 2019<\/strong><\/a><\/strong><\/td>2018-11-16<\/td>Call for workshop & tutorial proposals<\/td>\n<\/tr>\n
HFM 2019<\/strong><\/a><\/strong><\/td>2018-12-31<\/td>Call for papers<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-03-28<\/td>Abstract Submission<\/td>\n<\/tr>\n
TAP 2019<\/strong><\/a><\/strong><\/td>2019-03-28<\/td>Abstract<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-04-11<\/td>Full Paper Submission<\/td>\n<\/tr>\n
TAP 2019<\/strong><\/a><\/strong><\/td>2019-04-11<\/td>Paper<\/td>\n<\/tr>\n
SAS 2019<\/strong><\/a><\/strong><\/td>2019-04-22<\/td>Abstract Submission<\/td>\n<\/tr>\n
SAS 2019<\/strong><\/a><\/strong><\/td>2019-04-25<\/td>Artifact Submission<\/td>\n<\/tr>\n
SAS 2019<\/strong><\/a><\/strong><\/td>2019-04-25<\/td>Paper Submission (new date)<\/td>\n<\/tr>\n
TAP 2019<\/strong><\/a><\/strong><\/td>2019-04-25<\/td>Paper submission (new date)<\/td>\n<\/tr>\n
HFM 2019<\/strong><\/a><\/strong><\/td>2019-04-30<\/td>Submissions<\/td>\n<\/tr>\n
VECoS 2019<\/strong><\/a><\/strong><\/td>2019-04-30<\/td>Abstract Submission<\/td>\n<\/tr>\n
i-Day 2019<\/strong><\/a><\/strong><\/td>2019-05-03<\/td>Abstract submission<\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/strong><\/td>2019-05-04<\/td>Title and abstract registration (new date)<\/td>\n<\/tr>\n
MPC 2019<\/strong><\/a><\/strong><\/td>2019-05-07<\/td>Abstract Submission (AoE) (extended)<\/td>\n<\/tr>\n
MPC 2019<\/strong><\/a><\/strong><\/td>2019-05-10<\/td>Full Paper Submission (AoE) (extended)<\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/strong><\/td>2019-05-10<\/td>Paper submission (new date)<\/td>\n<\/tr>\n
VECoS 2019<\/strong><\/a><\/strong><\/td>2019-05-19<\/td>Submission of papers (new date)<\/td>\n<\/tr>\n
i-Day 2019<\/strong><\/a><\/strong><\/td>2019-05-19<\/td>Full paper submission deadline (extended)<\/td>\n<\/tr>\n
RV 2019<\/strong><\/a><\/strong><\/td>2019-05-21<\/td>Abstract deadline (new date)<\/td>\n<\/tr>\n
RV 2019<\/strong><\/a><\/strong><\/td>2019-05-21<\/td>Submission deadline (new date)<\/td>\n<\/tr>\n
SAS 2019<\/strong><\/a><\/strong><\/td>2019-05-31<\/td>Author Response (until June 3)<\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/strong><\/td>2019-06-10<\/td>Rebuttal period (48 hours) (new date)<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-06-11<\/td>Notification<\/td>\n<\/tr>\n
MPC 2019<\/strong><\/a><\/strong><\/td>2019-06-14<\/td>Notification<\/td>\n<\/tr>\n
SAS 2019<\/strong><\/a><\/strong><\/td>2019-06-14<\/td>Notification<\/td>\n<\/tr>\n
i-Day 2019<\/strong><\/a><\/strong><\/td>2019-06-14<\/td>Notification<\/td>\n<\/tr>\n
FMTea 2019<\/strong><\/a><\/strong><\/td>2019-06-15<\/td>Submission of papers (new date)<\/td>\n<\/tr>\n
DS 2019<\/strong><\/a><\/strong><\/td>2019-06-18<\/td>Submission deadline (new date)<\/td>\n<\/tr>\n
VECoS 2019<\/strong><\/a><\/strong><\/td>2019-06-18<\/td>Notification of acceptance<\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/strong><\/td>2019-06-20<\/td>Author notification (new date)<\/td>\n<\/tr>\n
DataMod 2019<\/strong><\/a><\/strong><\/td>2019-06-24<\/td>Abstract submission deadline (extended)<\/td>\n<\/tr>\n
LOPSTR 2019<\/strong><\/a><\/strong><\/td>2019-06-25<\/td>Abstract submission (extended)<\/td>\n<\/tr>\n
TAP 2019<\/strong><\/a><\/strong><\/td>2019-06-25<\/td>Notification (new date)<\/td>\n<\/tr>\n
VECoS 2019<\/strong><\/a><\/strong><\/td>2019-06-25<\/td>Final version<\/td>\n<\/tr>\n
DALI 2019<\/strong><\/a><\/strong><\/td>2019-06-28<\/td>Paper Submission (extended)<\/td>\n<\/tr>\n
DataMod 2019<\/strong><\/a><\/strong><\/td>2019-06-30<\/td>Full paper submission (extended)<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-06-30<\/td>Tool Exhibition proposal submission<\/td>\n<\/tr>\n
FMBC 2019<\/strong><\/a><\/strong><\/td>2019-06-30<\/td>Abstract submission (extended)<\/td>\n<\/tr>\n
HFM 2019<\/strong><\/a><\/strong><\/td>2019-06-30<\/td>Notification of acceptance<\/td>\n<\/tr>\n
LOPSTR 2019<\/strong><\/a><\/strong><\/td>2019-06-30<\/td>Paper\/Extended abstract submission (AoE, UTC-12)<\/td>\n<\/tr>\n
FMIS 2019<\/strong><\/a><\/strong><\/td>2019-07-01<\/td>Paper Submission (24h00 AoH) (extended)<\/td>\n<\/tr>\n
RV 2019<\/strong><\/a><\/strong><\/td>2019-07-01<\/td>Notification (new date)<\/td>\n<\/tr>\n
F-IDE 2019<\/strong><\/a><\/strong><\/td>2019-07-02<\/td>Abstract submission (extended)<\/td>\n<\/tr>\n
DS 2019<\/strong><\/a><\/strong><\/td>2019-07-05<\/td>Notification<\/td>\n<\/tr>\n
AFFORD 2019<\/strong><\/a><\/strong><\/td>2019-07-07<\/td>Paper Submission (extended)<\/td>\n<\/tr>\n
FMAS 2019<\/strong><\/a><\/strong><\/td>2019-07-07<\/td>Submission (extended)<\/td>\n<\/tr>\n
FMBC 2019<\/strong><\/a><\/strong><\/td>2019-07-07<\/td>Paper submission (extended)<\/td>\n<\/tr>\n
OpenCERT 2019<\/strong><\/a><\/strong><\/td>2019-07-08<\/td>Paper Submission deadline (extended)<\/td>\n<\/tr>\n
F-IDE 2019<\/strong><\/a><\/strong><\/td>2019-07-09<\/td>Paper submission (extended)<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-07-09<\/td>Camera Ready<\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/strong><\/td>2019-07-09<\/td>Abstracts<\/td>\n<\/tr>\n
MPC 2019<\/strong><\/a><\/strong><\/td>2019-07-12<\/td>Camera Ready<\/td>\n<\/tr>\n
SASB 2019<\/strong><\/a><\/strong><\/td>2019-07-14<\/td>Submission deadline (extended)<\/td>\n<\/tr>\n
i-Day 2019<\/strong><\/a><\/strong><\/td>2019-07-14<\/td>Camera-ready papers submitted<\/td>\n<\/tr>\n
FMTea 2019<\/strong><\/a><\/strong><\/td>2019-07-15<\/td>Notifications to authors (new date)<\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/strong><\/td>2019-07-15<\/td>Final paper version<\/td>\n<\/tr>\n
REFINE 2019<\/strong><\/a><\/strong><\/td>2019-07-15<\/td>Paper submission (extended)<\/td>\n<\/tr>\n
NSAD 2019<\/strong><\/a><\/strong><\/td>2019-07-18<\/td>Submission deadline (extended)<\/td>\n<\/tr>\n
TAP 2019<\/strong><\/a><\/strong><\/td>2019-07-18<\/td>Camera-Ready submission (new date)<\/td>\n<\/tr>\n
TAPAS 2019<\/strong><\/a><\/strong><\/td>2019-07-18<\/td>Submission deadline (extended)<\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/strong><\/td>2019-07-23<\/td>Full Papers (extended)<\/td>\n<\/tr>\n
LOPSTR 2019<\/strong><\/a><\/strong><\/td>2019-07-24<\/td>Notification<\/td>\n<\/tr>\n
RPLA 2019<\/strong><\/a><\/strong><\/td>2019-07-28<\/td>Paper submission deadline (firm)<\/td>\n<\/tr>\n
AFFORD 2019<\/strong><\/a><\/strong><\/td>2019-07-31<\/td>Paper Notification<\/td>\n<\/tr>\n
DataMod 2019<\/strong><\/a><\/strong><\/td>2019-07-31<\/td>Notification to authors<\/td>\n<\/tr>\n
SASB 2019<\/strong><\/a><\/strong><\/td>2019-07-31<\/td>Notification of acceptance<\/td>\n<\/tr>\n
DALI 2019<\/strong><\/a><\/strong><\/td>2019-08-04<\/td>Notification (new date)<\/td>\n<\/tr>\n
FMAS 2019<\/strong><\/a><\/strong><\/td>2019-08-07<\/td>Notification (extended)<\/td>\n<\/tr>\n
FMBC 2019<\/strong><\/a><\/strong><\/td>2019-08-07<\/td>Author notification (newdate)<\/td>\n<\/tr>\n
REFINE 2019<\/strong><\/a><\/strong><\/td>2019-08-09<\/td>Notification (extended)<\/td>\n<\/tr>\n
AFFORD 2019<\/strong><\/a><\/strong><\/td>2019-08-15<\/td>Camera Ready<\/td>\n<\/tr>\n
FMTea 2019<\/strong><\/a><\/strong><\/td>2019-08-15<\/td>Proceedings version ready (new date)<\/td>\n<\/tr>\n
NSAD 2019<\/strong><\/a><\/strong><\/td>2019-08-15<\/td>Notification of acceptance (extended)<\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/strong><\/td>2019-08-15<\/td>Notifications<\/td>\n<\/tr>\n
TAPAS 2019<\/strong><\/a><\/strong><\/td>2019-08-15<\/td>Notification of acceptance (extended)<\/td>\n<\/tr>\n
OpenCERT 2019<\/strong><\/a><\/strong><\/td>2019-08-16<\/td>Accept\/Reject Notification<\/td>\n<\/tr>\n
F-IDE 2019<\/strong><\/a><\/strong><\/td>2019-08-20<\/td>Notification<\/td>\n<\/tr>\n
FMIS 2019<\/strong><\/a><\/strong><\/td>2019-08-20<\/td>Notification (extended deadline)<\/td>\n<\/tr>\n
RPLA 2019<\/strong><\/a><\/strong><\/td>2019-08-25<\/td>Author notification (new date)<\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/strong><\/td>2019-08-27<\/td>Camera ready version of papers<\/td>\n<\/tr>\n
LOPSTR 2019<\/strong><\/a><\/strong><\/td>2019-08-30<\/td>Final paper version (for electronic pre-proceedings)<\/td>\n<\/tr>\n
SASB 2019<\/strong><\/a><\/strong><\/td>2019-08-31<\/td>Final version due<\/td>\n<\/tr>\n
FMAS 2019<\/strong><\/a><\/strong><\/td>2019-09-01<\/td>Final Version due<\/td>\n<\/tr>\n
HFM 2019<\/strong><\/a><\/strong><\/td>2019-09-01<\/td>Presentations<\/td>\n<\/tr>\n
DALI 2019<\/strong><\/a><\/strong><\/td>2019-09-02<\/td>Camera Ready<\/td>\n<\/tr>\n
DataMod 2019<\/strong><\/a><\/strong><\/td>2019-09-02<\/td>Pre-proceedings final version due<\/td>\n<\/tr>\n
FMBC 2019<\/strong><\/a><\/strong><\/td>2019-09-02<\/td>Camera-ready due<\/td>\n<\/tr>\n
FMIS 2019<\/strong><\/a><\/strong><\/td>2019-09-02<\/td>Camera Ready<\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/strong><\/td>2019-09-02<\/td>Pre-proceedings due<\/td>\n<\/tr>\n
REFINE 2019<\/strong><\/a><\/strong><\/td>2019-09-02<\/td>Proceedings version ready<\/td>\n<\/tr>\n
F-IDE 2019<\/strong><\/a><\/strong><\/td>2019-09-03<\/td>Camera-ready version<\/td>\n<\/tr>\n
NSAD 2019<\/strong><\/a><\/strong><\/td>2019-09-08<\/td>Final version due (extended)<\/td>\n<\/tr>\n
RPLA 2019<\/strong><\/a><\/strong><\/td>2019-09-08<\/td>Camera ready version (new date)<\/td>\n<\/tr>\n
TAPAS 2019<\/strong><\/a><\/strong><\/td>2019-09-08<\/td>Final version due<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-09-10<\/td>Deadline for Early Registration (AoE)<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-10-05<\/td>Deadline for Late Registration (AoE)<\/td>\n<\/tr>\n
AFFORD 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Workshop Date<\/td>\n<\/tr>\n
DS 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>FM Doctoral Symposium<\/td>\n<\/tr>\n
DataMod 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Symposium<\/td>\n<\/tr>\n
F-IDE 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Workshop date<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Tool Exhibition<\/td>\n<\/tr>\n
FMIS 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Workshop<\/td>\n<\/tr>\n
FMTea 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>FMTea19 in Porto<\/td>\n<\/tr>\n
MPC 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Conference<\/td>\n<\/tr>\n
PPDP 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Symposium<\/td>\n<\/tr>\n
REFINE 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Workshop<\/td>\n<\/tr>\n
VECoS 2019<\/strong><\/a><\/strong><\/td>2019-10-07<\/td>Conference<\/td>\n<\/tr>\n
LOPSTR 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Conference<\/td>\n<\/tr>\n
NSAD 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Workshop<\/td>\n<\/tr>\n
OVT 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Workshop<\/td>\n<\/tr>\n
OpenCERT 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Workshop<\/td>\n<\/tr>\n
RV 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Conference<\/td>\n<\/tr>\n
SASB 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Workshop<\/td>\n<\/tr>\n
TAPAS 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Workshop<\/td>\n<\/tr>\n
UTP 2019<\/strong><\/a><\/strong><\/td>2019-10-08<\/td>Symposium<\/td>\n<\/tr>\n
DALI 2019<\/strong><\/a><\/strong><\/td>2019-10-09<\/td>Workshop<\/td>\n<\/tr>\n
FM 2019<\/strong><\/a><\/strong><\/td>2019-10-09<\/td>Symposium<\/td>\n<\/tr>\n
RPLA 2019<\/strong><\/a><\/strong><\/td>2019-10-09<\/td>Workshop<\/td>\n<\/tr>\n
SAS 2019<\/strong><\/a><\/strong><\/td>2019-10-09<\/td>Symposium<\/td>\n<\/tr>\n
TAP 2019<\/strong><\/a><\/strong><\/td>2019-10-09<\/td>Conference<\/td>\n<\/tr>\n
FMAS 2019<\/strong><\/a><\/strong><\/td>2019-10-11<\/td>Workshop<\/td>\n<\/tr>\n
FMBC 2019<\/strong><\/a><\/strong><\/td>2019-10-11<\/td>Workshop<\/td>\n<\/tr>\n
FMBC 2019<\/strong><\/a><\/strong><\/td>2019-10-11<\/td>Post-proceedings due (tentative)<\/td>\n<\/tr>\n
i-Day 2019<\/strong><\/a><\/strong><\/td>2019-10-11<\/td>FM Industry Day<\/td>\n<\/tr>\n
FMIS 2019<\/strong><\/a><\/strong><\/td>2019-11-11<\/td>Submission of paper revision for LNCS publication (tentative)<\/td>\n<\/tr>\n
SASB 2019<\/strong><\/a><\/strong><\/td>2019-11-15<\/td>Post-proceedings due<\/td>\n<\/tr>\n
TAPAS 2019<\/strong><\/a><\/strong><\/td>2019-11-15<\/td>Post-proceedings due<\/td>\n<\/tr>\n
HFM 2019<\/strong><\/a><\/strong><\/td>2019-12-31<\/td>Proceedings papers<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n","protected":false},"excerpt":{"rendered":"

This page aggregates the important dates of all events associated to the FM\u201919 World Congress. Check your timings in the table below, which you can sort and search at your …<\/p>\n","protected":false},"author":2,"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\/200"}],"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\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=200"}],"version-history":[{"count":89,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/200\/revisions"}],"predecessor-version":[{"id":3492,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/200\/revisions\/3492"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=200"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}