About FM'19

FM'19 is the 3rd World Congress on Formal Methods and will be held in Porto, Portugal between 7 and 11 October. This world congress will be both an occasion to celebrate, and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds and schools to exchange their ideas and share their experience.

FAQ

For frequently asked questions please visit our website.
If you require any further assistance, feel free to contact us at contactfm2019@inesctec.pt. 

Note

Each conference ticket grants access to all events (conferences, workshops, tutorials and other events) occurring in its corresponding time span. Please be aware of the overlapping events and do not purchase more tickets than necessary. You can also buy a Full Week Ticket giving access to all events and to the FM Week Social Event.

In this event, some pictures will be captured for promotional purposes only. Therefore, your image may be taken and used by INESC TEC in publications like websites, newsletters or social network platforms. If you do not wish your image to be captured and used in such context, please let the photographer or the event organizers know about it using the email address contactfm2019@inesctec.pt.