Skip to content
Menu
  • FM Week
    • Multimedia
    • Awards
    • Events and on-line proceedings
    • News
  • Attending
    • Registration
    • Attendee Guide
    • Social Program
    • Venue
    • Conference announcements
    • Accommodation
    • Porto
    • Getting to Porto
    • Weather Forecast
    • FAQ
  • Program
    • Overall FM’19 Program
    • Accepted Papers
    • Journal-First Track
    • FM’19 Tool Exhibition
  • Invited Speakers
  • 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·
August 18, 2020

➡️ The two LNCS volumes containing the Revised Selected Papers of the #formalmethods19 International Workshops are out, please see https://bit.ly/321nn29
A big thank you to FM'19 WS co-chairs Nelma Moreira and Emil Skerinski for such a fantastic job.
#formalmethods @FormalMtds

Reply on Twitter 1295784341663080448Retweet on Twitter 12957843416630804485Like on Twitter 129578434166308044810Twitter 1295784341663080448
formalmethods19Formal Methods 2019@formalmethods19·
April 24, 2020

We would like to thank you once again for making FM’19 a top scientific conference! 👏 A big thank you to all companies and institutions that sponsored this great event! See you soon in Beijing, China! Don’t miss it! 👉 http://bit.ly/3465wqE #formalmethods19 #formalmethods21

Reply on Twitter 1253597098790002688Retweet on Twitter 1253597098790002688Like on Twitter 1253597098790002688Twitter 1253597098790002688
formalmethods19Formal Methods 2019@formalmethods19·
April 23, 2020

We would like to remind you to watch the videos of the FM 2019 Symposium! 📹 And so to remember that amazing week when we were free to socialize, in the beautiful Ribeira of the city of Porto! 👌
➡️ http://bit.ly/2QnsYLH
#formalmethods19 #formalmethods #Porto

Reply on Twitter 1253362579352834048Retweet on Twitter 12533625793528340483Like on Twitter 12533625793528340489Twitter 1253362579352834048
formalmethods19Formal Methods 2019@formalmethods19·
March 21, 2020

#formalmethods

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