Skip to content
Menu
  • FM Week
    • Multimedia
    • Awards
    • Events and on-line proceedings
  • Attending
    • Registration
    • Attendee Guide
    • Social Program
    • Venue
    • Conference announcements
    • Accommodation
    • Porto
    • Getting to Porto
    • Weather Forecast
    • FAQ
  • Program
    • Overall FM’19 Program
    • Invited Speakers
    • Accepted Papers
    • Journal-First Track
    • FM’19 Tool Exhibition
  • News
  • Green FM’19
  • FM’19 Sponsors
  • About
    • 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 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·
November 6, 2019

🔍The lost and found products during of the FM’19's event are in our possession!
Some of the products are:
👉Sunglasses
👉Pen drive
👉Men’s scarf
If you lost something of this list, make sure you contact us! 📩

Reply on Twitter 1192132116991160321Retweet on Twitter 1192132116991160321Like on Twitter 11921321169911603211Twitter 1192132116991160321
formalmethods19Formal Methods 2019@formalmethods19·
November 4, 2019

Are you still interested in the Tony Hoare's talk that took place at FM'19? 😃
The talk is acessible everywhere and anytime. It's just a click away! ⬇️
http://youtu.be/alUex-ZtZvE
#formalmethods19 #Porto #formalmethods #Congress

Reply on Twitter 1191364131464601602Retweet on Twitter 11913641314646016021Like on Twitter 11913641314646016025Twitter 1191364131464601602
formalmethods19Formal Methods 2019@formalmethods19·
October 28, 2019

It feels like it was yesterday! 🔙 See you next edition!
➡️ https://youtu.be/HXbFdziSqKc
#formalmethods19 #Porto #formalmethods #Congress

Reply on Twitter 1188825154626953217Retweet on Twitter 11888251546269532171Like on Twitter 11888251546269532175Twitter 1188825154626953217
Retweet on TwitterFormal Methods 2019 Retweeted
INESCTECINESC TEC@INESCTEC·
October 25, 2019

The FM’19 – 3rd World Congress on Formal Methods, an event that gathers the worldwide computer experts, took place in Porto between 7 and 11 October. ✍️More info at: https://bit.ly/32QLDDq

Reply on Twitter 1187738441519452170Retweet on Twitter 11877384415194521701Like on Twitter 11877384415194521704Twitter 1187738441519452170
Copyright © 2019 – OnePress theme by FameThemes