Skip to content
Menu
  • FM Week
  • Attending
    • Call for Participation
    • Registration
    • FAQ
    • Accommodation
    • Venue
    • Porto
    • Getting to Porto
    • Weather Forecast
  • Program
    • Final Programs
    • Accepted Papers
    • Journal-First Track
    • FM’19 Tool Exhibition
  • Dates
  • Calls
    • Calls for Papers
  • Sponsor FM’19
  • Invited Speakers
  • About
    • Program Committee
    • Journal-First Track
    • i-Day
    • Doctoral Symposium
    • Workshops and Tutorials
    • Organising Committee
    • Past FM Symposia
    • Organisation
    • 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·
September 13, 2019

❓Do you think you know everything about the events and programmes of FM'19?🤔
If not, you should watch our new video! Even if you know everything, you should watch it anyway!⬇️
https://t.co/knHemX7Bz4
#formalmethods19 #Porto #fm19program

Reply on Twitter 1172535223218782210Retweet on Twitter 1172535223218782210Like on Twitter 11725352232187822102Twitter 1172535223218782210
formalmethods19Formal Methods 2019@formalmethods19·
September 13, 2019

FM Week 🆕 The Final Program of ➡️ DataMod 2019 ⬅️ is out: https://t.co/ntfXRmaUqz 😀 For all Final Programs already available please visit: https://t.co/22tChW0Q6I #formalmethods @FormalMtds

Reply on Twitter 1172422842421350401Retweet on Twitter 11724228424213504013Like on Twitter 11724228424213504013Twitter 1172422842421350401
formalmethods19Formal Methods 2019@formalmethods19·
September 12, 2019

FM Week 🆕 The Final Program of ➡️ REFINE 2019 ⬅️ is out: https://t.co/Oitwu5UysK 😀 For all Final Programs already available please visit: https://t.co/22tChW0Q6I #formalmethods @FormalMtds

Reply on Twitter 1172107002056728577Retweet on Twitter 1172107002056728577Like on Twitter 11721070020567285772Twitter 1172107002056728577
formalmethods19Formal Methods 2019@formalmethods19·
September 10, 2019

It's time to talk about the FM Tea 2019! ✋The pitch of this event is available here! ⬇️
#formalmethods19 #twitterchallenge #Porto

Reply on Twitter 1171469689660170245Retweet on Twitter 11714696896601702452Like on Twitter 11714696896601702455Twitter 1171469689660170245
Copyright © 2019 – OnePress theme by FameThemes