{"id":2363,"date":"2019-07-12T13:39:11","date_gmt":"2019-07-12T13:39:11","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2363"},"modified":"2019-09-18T15:48:32","modified_gmt":"2019-09-18T15:48:32","slug":"registration","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/registration\/","title":{"rendered":"Registration"},"content":{"rendered":"<p><img loading=\"lazy\" class=\" wp-image-563 alignright\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2019\/06\/fm19yellow.jpg\" alt=\"\" width=\"220\" height=\"220\">Welcome to the FM Week registration page!<\/p>\n<div style=\"margin-bottom: 1em;\"><span style=\"display: none;\">.<\/span><\/div>\n<p><strong>Registration periods<\/strong><\/p>\n<ul>\n<li><strong>Early<\/strong> &#8211; until <em>Sep 10<\/em> (AoE)<\/li>\n<li><strong>Late<\/strong> &#8211; from <em>Sep 11<\/em> until <em>5 Oct<\/em> (AoE)<\/li>\n<li><strong>On site<\/strong> &#8211; from <em>Oct 6<\/em> to <em>Oct 11<\/em> (AoE)<\/li>\n<\/ul>\n<p><strong>Not yet registered?<br \/>\n<\/strong><\/p>\n<ul>\n<li>Please click <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2221\">here<\/a> to see the <strong>FM Week<\/strong> overall <strong>schedule<\/strong>.<\/li>\n<li>Then please inspect the <strong>table<\/strong> below before proceeding to the <a href=\"https:\/\/www.weezevent.com\/fm-19\">Registration Platform<\/a>.<\/li>\n<li>All prices are in <strong>Euros<\/strong> (\u20ac).<\/li>\n<\/ul>\n<p><strong>Note 1: <\/strong>At least one <strong>author<\/strong> of each accepted <strong>paper<\/strong> in an <strong>FM\u201919<\/strong> event must be a registered participant in that event (<strong>Regular<\/strong> fee).<\/p>\n<p><strong>Note 2<\/strong>: each <i>conference<\/i> ticket grants access to all the events (conferences, workshops, tutorials and other events) occurring in the corresponding time span. Please be aware of <strong>overlapping<\/strong> events and do not purchase more tickets than necessary. You can also buy a <strong>Full Week<\/strong> ticket giving access to all events and to the FM Week social event.<br \/>\nIf you need help with your reservation, please do not hesitate to contact us at <a href=\"mailto:contactfm2019@inesctec.pt\">contactfm2019@inesctec.pt<\/a>.<\/p>\n<p><strong>Check out more information about the event below.&nbsp;<\/strong><\/p>\n<table style=\"border-collapse: collapse; border: 0.5px solid black;\" cellspacing=\"0\" cellpadding=\"1\">\n<tbody>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"12\" align=\"left\">FM WEEK<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>KIND<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>GROUP<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>EVENT(S)<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>EARLY Regular<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>EARLY Student<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>LATE Regular<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>LATE Student<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>ON SITE Regular<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>ON SITE Student<\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong>OBS<\/strong><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">FULL WEEK<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">All<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">All<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">780<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">585<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">975<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">780<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">1170<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">980<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><span style=\"font-size: 90%;\">Fee includes the FM Week social event<\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"4\" align=\"left\">CONFERENCES<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">1-Day Conference<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"https:\/\/www.cs.york.ac.uk\/circus\/utp2019\" target=\"_blank\" rel=\"noopener noreferrer\">UTP<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/vecos-world.org\/2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">VECoS<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">190<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">240<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">190<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">290<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">240<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"2\" align=\"left\">3-Day Conference<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"http:\/\/formalmethods2019.inesctec.pt\/\" target=\"_blank\" rel=\"noopener noreferrer\">FM<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/www.cs.unibo.it\/projects\/lopstr19\/\" target=\"_blank\" rel=\"noopener noreferrer\">LOPSTR<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/staticanalysis.org\/sas2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">SAS<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/tap.sosy-lab.org\/2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">TAP<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">570<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">430<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">710<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">570<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">860<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">710<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><span style=\"font-size: 90%;\"> Fee includes the FM Week social event; FME members with a \u20ac20 discount on the FM symposium <strong>regular<\/strong> fee<\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\" \" target=\"_blank\" rel=\"noopener noreferrer\">MPC<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/ppdp2019.macs.hw.ac.uk\/\" target=\"_blank\" rel=\"noopener noreferrer\">PPDP<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">480<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">360<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">600<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">480<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">720<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">600<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">4-Day Conference<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"https:\/\/www.react.uni-saarland.de\/rv2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">RV<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">690<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">515<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">860<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">690<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">1030<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">860<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><span style=\"font-size: 90%;\"> Fee includes the FM Week social event<\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"2\" align=\"left\">WORKSHOPS<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">1-Day Workshop<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"https:\/\/sites.google.com\/site\/affordworkshop\/\" target=\"_blank\" rel=\"noopener noreferrer\">AFFORD<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/workshop.dali.di.uminho.pt\/\" target=\"_blank\" rel=\"noopener noreferrer\">DALI<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/fideworkshop2019.inesctec.pt\/\" target=\"_blank\" rel=\"noopener noreferrer\">F-IDE<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/autonomy-and-verification-uol.github.io\/events\/fmas\" target=\"_blank\" rel=\"noopener noreferrer\">FMAS<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/sites.google.com\/view\/fmbc\/\" target=\"_blank\" rel=\"noopener noreferrer\">FMBC<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/sites.google.com\/view\/fmis2019\/home\" target=\"_blank\" rel=\"noopener noreferrer\">FMIS<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/fmtea.github.io\/\" target=\"_blank\" rel=\"noopener noreferrer\">FMTea<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/sites.google.com\/view\/hfm2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">HFM<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/staticanalysis.org\/nsad2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">NSAD<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/overturetool.org\/workshops\/17th-overture-workshop.html\" target=\"_blank\" rel=\"noopener noreferrer\">OVT<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/opencert.github.io\/\" target=\"_blank\" rel=\"noopener noreferrer\">OpenCERT<\/a><\/strong><br \/>\n<strong><a href=\"https:\/\/refinenet.github.io\/\" target=\"_blank\" rel=\"noopener noreferrer\">REFINE<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/www.informatik.uni-giessen.de\/rpla2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">RPLA<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/sat.inesc-id.pt\/sasb2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">SASB<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/staticanalysis.org\/tapas2019\/\" target=\"_blank\" rel=\"noopener noreferrer\">TAPAS<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">105<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">175<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">210<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">180<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">2-Day Workshop<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"http:\/\/pages.di.unipi.it\/datamod\/edition-2019\" target=\"_blank\" rel=\"noopener noreferrer\">DataMod<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">280<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">210<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">350<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">280<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">420<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">350<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"2\" align=\"left\">TUTORIALS<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">1\/2-Day Tutorial<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"https:\/\/github.com\/TUBS-ISF\/CorC\/wiki\/Tutorial-FM'19:-The-Correctness-by-Construction-Approach-to-Programming\" target=\"_blank\" rel=\"noopener noreferrer\">CbC<\/a><\/strong><br \/>\n<strong><a href=\"mailto:nikolay.kosmatov@cea.fr\" target=\"_blank\" rel=\"noopener noreferrer\">FRAMA-C-IoT<\/a><\/strong><br \/>\n<strong><a href=\"http:\/\/www.ls.cs.cmu.edu\/KeYmaeraX\/tutorial\/FM-2019.html\" target=\"_blank\" rel=\"noopener noreferrer\">KeYmaeraX<\/a><\/strong><br \/>\n(<strong><a href=\"mailto:Moussa.Amrani@unamur.be\" target=\"_blank\" rel=\"noopener noreferrer\">MLFV<\/a><\/strong> cancelled)<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">100<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">75<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">125<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">100<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">150<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">130<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">1-Day Tutorial<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"http:\/\/haslab.github.io\/TRUST\/tutorial.html\" target=\"_blank\" rel=\"noopener noreferrer\">ALLOY<\/a><\/strong><br \/>\n(<strong><a href=\"https:\/\/combio.org\/fm4biomed\/\" target=\"_blank\" rel=\"noopener noreferrer\">FM4BioMed<\/a><\/strong> cancelled)<br \/>\n<strong><a href=\"mailto:leucker@isp.uni-luebeck.de\" target=\"_blank\" rel=\"noopener noreferrer\">SRV<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">105<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">175<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">210<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">180<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"2\" align=\"left\">OTHER EVENTS<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"2\" align=\"left\">1-Day Event<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=361\" target=\"_blank\" rel=\"noopener noreferrer\">DS<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">105<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">175<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">210<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">180<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><span style=\"font-size: 90%;\">There is a number of grants available (please see the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=361\" target=\"_blank\" rel=\"noopener noreferrer\">DS<\/a> website)<\/span><\/td>\n<\/tr>\n<tr>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><strong><a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=353\" target=\"_blank\" rel=\"noopener noreferrer\">i-Day<\/a><\/strong><\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">190<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">140<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">240<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">190<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">290<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\">240<\/td>\n<td style=\"border-collapse: collapse; border: 0.4px solid black;\" colspan=\"1\" rowspan=\"1\" align=\"left\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><strong>Do you need an invitation letter to obtain VISA?<br \/>\n<\/strong><\/p>\n<p>Please get in touch with <a href=\"mailto:contactfm2019@inesctec.pt?Subject=FM'19: request for invitation letter (VISA)\">contactfm2019<\/a> as soon as possible. For <strong>Schengen Visa<\/strong> Information please visit this <a href=\"https:\/\/www.schengenvisainfo.com\/\">page.<\/a><\/p>\n<p><strong>Uncertain if you are ready to present your paper at the conference?<\/strong><\/p>\n<p>As mentioned in the note above, each paper must be accompanied by at least one fully paid registration (regular ticket) to the event, or hold a Full Week ticket. If you have any questions about the procedures, feel free to <a href=\"mailto:contactfm2019@inesctec.pt?Subject=FM'19: request for invitation letter (VISA)\">contact us<\/a>.<\/p>\n<p><strong>What is the Social Event?<\/strong><\/p>\n<p>The ticket for the Social Event includes a boat ride in the Douro River, a visit to the wine cellars in Gaia and the banquet dinner for one person. For the FM, SAS, RV, TAP, and LOPSTR attendees, a ticket is already included in the fee. Additional tickets can be purchased by the rest of the attendees of all events co-located with FM\u201919. This Social Event will be held in Real Companhia Velha, one of the most emblematic winemakers in Portugal, having celebrated this year 260 years of uninterrupted activity in the production of Port Wine.<\/p>\n<p><strong>Return &amp; Refund Policy<\/strong><\/p>\n<p>Once tickets are issued, they can not be replaced or refunded. Please ensure you have selected the proper ticket types before ordering and that you are in fact available to attend the event you are signing up for. Exceptions to this rule might be made by reason of <em>force majeure<\/em>, or due to extraordinary circumstances, which will be personally reviewed by our organizers through&nbsp;<a>contactfm2019@inesctec.pt<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Welcome to the FM Week registration page! . Registration periods Early &#8211; until Sep 10 (AoE) Late &#8211; from Sep 11 until 5 Oct (AoE) On site &#8211; from Oct &#8230;<\/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\/2363"}],"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=2363"}],"version-history":[{"count":43,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/2363\/revisions"}],"predecessor-version":[{"id":3071,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/2363\/revisions\/3071"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=2363"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}