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·
March 21, 2020

#formalmethods

Reply on Twitter 1241453524283777024Retweet on Twitter 1241453524283777024Like on Twitter 1241453524283777024Twitter 1241453524283777024
formalmethods19Formal Methods 2019@formalmethods19·
March 21, 2020

#formalmethods

Reply on Twitter 1241452850825355271Retweet on Twitter 1241452850825355271Like on Twitter 12414528508253552711Twitter 1241452850825355271
formalmethods19Formal Methods 2019@formalmethods19·
March 21, 2020

#formalmethods

Reply on Twitter 1241452684407955456Retweet on Twitter 1241452684407955456Like on Twitter 12414526844079554561Twitter 1241452684407955456
formalmethods19Formal Methods 2019@formalmethods19·
March 21, 2020

#formalmethods

Reply on Twitter 1241452160535101440Retweet on Twitter 12414521605351014401Like on Twitter 12414521605351014404Twitter 1241452160535101440
Copyright © 2020 – OnePress theme by FameThemes