Skip to content
Menu
  • FM Week
  • Important Dates
  • Calls
    • Call for Papers (FM 2019 Symposium)
    • Call for Papers (EFM 2019)
    • Call for Papers (F-IDE 2019)
    • Call for Papers (FMBC 2019)
    • Call for Papers (FMIS 2019)
    • Call for Papers (HFM 2019)
    • Call for Papers (MPC 2019)
    • Call for Papers (PPDP 2019)
    • Call for Papers (RPLA 2019)
    • Call for Papers (RV 2019)
    • Call for Papers (TAP 2019)
    • Call for Papers (VECoS 2019)
    • Call for Workshops and Tutorial Proposals (closed)
  • Committees
    • Program Committee
    • Organising Committee
    • i-Day
    • Doctoral Symposium
    • Workshops and Tutorials
  • Sponsor FM’19
  • Venue
    • 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 Arrangements Chairs

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

Tweets

formalmethods19Formal Methods 2019@formalmethods19·
December 11, 2018

Reversibility, which is attracting increasing interest in CS, is the topic of the #RPLA 2019 workshop of @formalmethods19. Welcome to the FM Week! 😃👌
https://t.co/1crJVostKe
#formalmethods #reversiblecomputing

Reply on TwitterRetweet on TwitterLike on TwitterTwitter
formalmethods19Formal Methods 2019@formalmethods19·
December 10, 2018

🆕 The 17th Overture Workshop (#OVT 2019) will be part of the FM Week of #formalmethods19. Details in https://t.co/7l2LMWjOYn! 👌🔝
#formalmethods #formalmethods19 #Oporto

Reply on TwitterRetweet on Twitter1Like on Twitter3Twitter
formalmethods19Formal Methods 2019@formalmethods19·
December 10, 2018

📢 Consider submitting your work! Porto is waiting for you!

Reply on TwitterRetweet on Twitter2Like on Twitter1Twitter
Retweet on TwitterFormal Methods 2019 Retweeted
eskang09Eunsuk Kang@eskang09·
December 10, 2018

We are holding an Alloy & Electrum workshop at the Formal Methods Week 2019! It will be a fun & interactive introduction to lightweight formal modeling and analysis -- please join us in Porto! :D https://t.co/7lrnGnAteA

Reply on TwitterRetweet on Twitter3Like on Twitter8Twitter
Copyright © 2018 – OnePress theme by FameThemes