Skip to content
Menu
  • Call for Papers
  • Important Dates
  • Committees
    • Program Committee
    • Organizing Committee
    • i-Day
    • Doctoral Symposium
    • Workshops and Tutorials
  • Venue
    • Alfandega do Porto
    • Porto
    • Getting to Porto
  • FM Week
  • About
    • Past FM Conferences
    • Organization
    • Contacts

Contacts

If you have any doubt, do not hesitate to contact us!

 

General Chair

  • José Nuno Oliveira | jose.n.oliveira@inesctec.pt

 

Local Arrangements Chairs

  • Catarina Fernandes | catarina.l.fernandes@inesctec.pt
  • Paula Rodrigues | paula.c.rodrigues@inesctec.pt

Tweets

formalmethods19Formal Methods 2019@formalmethods19·
October 15, 2018

#TAP2019 – Welcome to the FM Week! 👏
We are ready to receive you alongside #MPC, #SAS, #VEcOS and there more events to join! https://t.co/IRdoBeCLnb
#Porto is waiting for you!

Reply on TwitterRetweet on Twitter2Like on Twitter1Twitter
formalmethods19Formal Methods 2019@formalmethods19·
October 12, 2018

🆕 The call for papers for @formalmethods19 is out! Please check the important dates and consider submitting your work! #Porto is waiting for you! https://t.co/Of82x7nFJL
#CFP #fm2019 #Oporto #formalmethhods

Reply on TwitterRetweet on Twitter4Like on Twitter5Twitter
Copyright © 2018 – OnePress theme by FameThemes