Skip to content
Menu
  • FM Week
  • Dates
  • Calls
  • Committees
    • Program Committee
    • Organising Committee
    • i-Day
    • Doctoral Symposium
    • Workshops and Tutorials
    • Journal-First Track
  • Sponsor FM’19
  • Invited Speakers
  • Venue
    • Accommodation
    • Alfandega Porto Congress Centre
    • Porto
    • Getting to Porto
    • Weather Forecast
  • About
    • Past FM Symposia
    • Organisation
    • Contacts

Contacts

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

General Chair

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

Local Organisers

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

Tweets

formalmethods19Formal Methods 2019@formalmethods19·
February 12, 2019

For a gentle introduction to the use of machine learning in #FormalVerification pay attention to the ML + FV = ♥! - a 1/2 day tutorial of the FM Week of @formalmethods19! 😀 https://t.co/QK6CWHzUX2
#formalmethods @machine_ml @FormalMtds

Reply on TwitterRetweet on Twitter6Like on Twitter9Twitter
formalmethods19Formal Methods 2019@formalmethods19·
February 7, 2019

Refinement, one of the cornerstones of #formalmethods, is the central topic of the 19th Refinement Workshop affiliated with @formalmethods19. Welcome to the FM Week! 😀
Details in https://t.co/3PBEt6IX7y! @FormalMtds

Reply on TwitterRetweet on Twitter2Like on Twitter4Twitter
formalmethods19Formal Methods 2019@formalmethods19·
February 5, 2019

Accommodation page has now been launched. Reserve your room for @formalmethods19 now! See you in #Porto! 🌍🎫
https://t.co/vHB4xbq1q9
#formalmethods19 #accommodation

Reply on TwitterRetweet on TwitterLike on Twitter1Twitter
formalmethods19Formal Methods 2019@formalmethods19·
February 2, 2019

The @formalmethods19 is on @YouTube 😃📹! https://t.co/BcifDNEDRT
#formalmethods @FormalMtds

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