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
    • FM’19 Tool Exhibition
  • Invited Speakers
  • Green FM’19
  • FM’19 Sponsors
  • About
    • FM 2019 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 questions, please 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 – now shared with FM’21 🙂

formalmethods21Formal Methods 2021@formalmethods21·
January 12, 2021

Interested in organizing a workshop, tutorial, or similar events #formalmethods21 #fm21? The deadline for proposal submissions is fast approaching, on Feb 15! 👉 http://lcs.ios.ac.cn/fm2021/index.php/call-for-workshops-and-tutorials/

Reply on Twitter 1348992633478250498Retweet on Twitter 13489926334782504983Like on Twitter 13489926334782504984Twitter 1348992633478250498
formalmethods21Formal Methods 2021@formalmethods21·
January 2, 2021

Happy New Year from the FM 2021 team! The abstract submission is roughly 5 months away. Please plan to submit your best work! https://bit.ly/2X2NZxA #formalmethods #fm21 @FormalMtds

Reply on Twitter 1345512927487471616Retweet on Twitter 13455129274874716165Like on Twitter 13455129274874716169Twitter 1345512927487471616
formalmethods21Formal Methods 2021@formalmethods21·
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
formalmethods21Formal Methods 2021@formalmethods21·
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
Copyright © 2021 – OnePress theme by FameThemes