Formal Methods 2019 | Meetings In Portugal

Co-financed by:

Return to research results

From: 23 Oct'19

To: 24 Oct'19

Porto e Norte

Alfândega Porto Congress Centre;

Every 10 years, the Symposium on Formal Methods organised by Formal Methods Europe takes the form of a World Congress.

Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, formal methods communities from all over the world will again have the opportunity to meet at the FM’19 World Congress, coinciding with the 23rd symposium of the series.

This year's edition will take place in Porto (Alfândega Porto Congress Center). FM'19 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.

Additional info: http://formalmethods2019.inesctec.pt/

Testimonials

We organized a prestigious two-week residential School for postgraduate students using the Évora Hotel’s conference facilities and full-board accommodation. The good conference facilities, comfortable accommodation, and leisure facilities of the hotel were much appreciated by the participants. The managers of the hotel were extremely helpful and responsive to our numerous requests, and we enjoyed working with them.

Kate Ross, CERNE

Évora Hotel has proved to be an excellent choice for ENEG 2017. I highlight the privileged location, the versatility of spaces and the Évora Hotel team. These factors contributed significantly to the event's success. The professionalism and dedication of the entire team are reference models.

Ana Antão, APDA

From unique venues made available to us, to the organisational and production aspects of a 3-day-festival, all local partners supported us to the maximum extent showing the best that this country has to offer to the meeting industry."

Salvatore Sagone, founder & president of Bea World Festival

(…)This has been absolutely beautiful as a venue. (…) It’s like an amazing feast - feast of food, great networking opportunities and great data and content. (…)

Andy Brown, in I-COM Global Summit (Porto, abril 2017)

(…) Many thanks for a very well organized, inspiring and enjoyable conference! (…)

Gisela Böhm- Professor (Institutt for samfunnspsykologi - Det psykologiske fakultet), in 26th SRA-E annual conference (Lisboa, junho 2017)