Skip to content
Menu
  • FM Week
    • Multimedia
    • Awards
    • Events and on-line proceedings
  • Attending
    • Registration
    • Attendee Guide
    • Social Program
    • Venue
    • Conference announcements
    • Accommodation
    • Porto
    • Getting to Porto
    • Weather Forecast
    • FAQ
  • Program
    • Overall FM’19 Program
    • Invited Speakers
    • Accepted Papers
    • Journal-First Track
    • FM’19 Tool Exhibition
  • News
  • Green FM’19
  • FM’19 Sponsors
  • About
    • Program Committee
    • Organizing Committee
    • Workshops and Tutorials
    • Doctoral Symposium
    • i-Day
    • Dates
    • Calls
      • Calls for Papers
      • Call for Participation
    • Past FM Symposia
    • Organization
    • Contacts

Contacts

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

Local Organisers

  • Catarina Fernandes, Paula Rodrigues and Rita Costa | contactfm2019@inesctec.pt

General Chair

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

Tweets

formalmethods19Formal Methods 2019@formalmethods19·
January 3, 2020

FM'19 videos 📼 We are happy to announce that the videos of the keynote and invited talks of FM'19 events are appearing at the FME Youtube channel! ➡️ http://bit.ly/2QnsYLH
There is more to come. Stay tuned! 🔝
#formalmethods19 #formalmethods #Porto

Reply on Twitter 1213142772921913346Retweet on Twitter 12131427729219133463Like on Twitter 121314277292191334613Twitter 1213142772921913346
formalmethods19Formal Methods 2019@formalmethods19·
December 21, 2019

Season's greetings from the FM’19 team! 🎄🎅
#formalmethods19

Reply on Twitter 1208476241734635520Retweet on Twitter 1208476241734635520Like on Twitter 12084762417346355204Twitter 1208476241734635520
formalmethods19Formal Methods 2019@formalmethods19·
December 20, 2019

Our volunteers are the best! 🔝 Thank you!
#formalmethods19 #Porto #volunteers

Reply on Twitter 1208046040387145731Retweet on Twitter 12080460403871457316Like on Twitter 120804604038714573117Twitter 1208046040387145731
formalmethods19Formal Methods 2019@formalmethods19·
December 19, 2019

FM'19 on the news! 👌
Read more! https://bit.ly/2rdiLaY
#formalmethods19
@FormalMtds @INESCTEC

Reply on Twitter 1207694553328869376Retweet on Twitter 1207694553328869376Like on Twitter 12076945533288693762Twitter 1207694553328869376
Copyright © 2020 – OnePress theme by FameThemes