{"id":2991,"date":"2019-10-01T11:00:47","date_gmt":"2019-10-01T11:00:47","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2991"},"modified":"2020-12-16T17:31:22","modified_gmt":"2020-12-16T17:31:22","slug":"fm19-attendee-guide","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/fm19-attendee-guide\/","title":{"rendered":"FM’19 Attendee Guide"},"content":{"rendered":"\n

Welcome to FM’19<\/strong>!

On \"jno\" behalf of the Organizing Committee of the FM’19<\/strong> Congress, I would like to thank all who are already attending and wish those who are travelling a pleasant trip to Porto. FM’19<\/strong> has 600+ registered participants coming from 40+ countries to present 381 papers in 34 parallel events. We thank all 44 speakers for accepting the invitation to collaborate with FM’19<\/strong> and in particular all sponsors for their generous support. Let us have three more days of intense and healthy exchange of ideas on the banks of the Douro River. Let’s enjoy FM’19<\/strong>!
<\/p>\n\n\n\n

The mission of <\/em>FM’19<\/strong> is to share knowledge about Formal Methods and related scientific subjects in a 5 day series of 9 conferences, 16 workshops, 7 tutorials, 1 symposium and 1 industry day. <\/em><\/p><\/blockquote>\n\n\n\n

This is your attendee guide. <\/strong>It contains all the information you need about the congress. It also includes the list of people you should reach out to in case you need anything, special offers for attendees and a city guide to help you explore Porto. The attendee guide will be frequently updated as we the start of the event gets nearer.

This attendee guide includes information about:
<\/strong>– Location and Venues
– Schedule and Program
– Check-in and Helpdesk
– Getting Around
– Meals
– Weather Forecast
– Social Program
– Green FM’19
– Slack Workspace and Contacts
– Porto City Guide<\/p>\n\n\n\n

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

LOCATION AND VENUES
FM\u201919<\/strong> will be held in Porto, Portugal. The various events of the congress will be distributed by three different venues. The Social Event will include a boat ride on the Douro river and a banquet at the Real Companhia Velha<\/em> wine house.
Attendees will also have access to a city guide where they can find suggestions of places to visit in Porto. <\/p>\n\n\n\n

\n