Skip to content
Menu
  • FM Week
  • Attending
    • Call for Participation
    • Registration
    • FAQ
    • Accommodation
    • Venue
    • Porto
    • Getting to Porto
    • Weather Forecast
  • Accepted
    • 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·
August 16, 2019

FM Week News 🆕 - The Final Program of ➡️ UTP 2019 ⬅️ is out, please see https://t.co/bm7gE5zwef 😀 - also accessible from https://t.co/IRdoBeCLnb.
#computerscience #formalmethods @FormalMtds

Reply on Twitter 1162425266716717068Retweet on Twitter 1162425266716717068Like on Twitter 1162425266716717068Twitter 1162425266716717068
formalmethods19Formal Methods 2019@formalmethods19·
August 15, 2019

FM Week News 🆕 - The Final Program of ➡️ FMAS 2019 ⬅️ is out, please see https://t.co/4MksJo0C0f 😀 (Also accessible from https://t.co/IRdoBeCLnb.) #FMAS2019 @formalmethods19 #formalmethods @FormalMtds

Reply on Twitter 1161965028716797954Retweet on Twitter 11619650287167979541Like on Twitter 1161965028716797954Twitter 1161965028716797954
Retweet on TwitterFormal Methods 2019 Retweeted
MattLuckcuckMatt Luckcuck@MattLuckcuck·
August 14, 2019

Accepted Papers and Registration info for #FMAS2019 is now on our website (https://t.co/yMrUU3x6mL) !

If you're interested in #FormalMethods and #AutonomousSystems then register for our workshop @formalmethods19

Paper Titles to follow

@LivUni_AVLab
@FormalMtds

Reply on Twitter 1161616003694022656Retweet on Twitter 11616160036940226562Like on Twitter 11616160036940226565Twitter 1161616003694022656
formalmethods19Formal Methods 2019@formalmethods19·
August 14, 2019

FM Week news update: 🆕 260+ papers already accepted by @formalmethods19 events, involving 580+ authors - https://t.co/bw6wpwX2ol 😀 - and more to come. Stay tuned!
@FormalMtds #formalmethods #formalverification #softwaretesting #programanalysis #computerscience

Reply on Twitter 1161611583849717760Retweet on Twitter 11616115838497177602Like on Twitter 11616115838497177608Twitter 1161611583849717760
Copyright © 2019 – OnePress theme by FameThemes