Skip to content
Menu
  • FM Week
  • Dates
  • Calls
    • Calls for Papers
    • FM’19 Tool Exhibition
  • 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!

Local Organisers

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

General Chair

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

Tweets

formalmethods19Formal Methods 2019@formalmethods19·
June 19, 2019

Interested in the challenges of systems biomedicine? The FM4BioMed workshop & tutorial at @formalmethods19 has just set up its webpage: 🆕 https://t.co/gy6t10UROE
#formalmethods @FormalMtds #biomedicine #computationalmedicine

Reply on Twitter 1141430634163818496Retweet on Twitter 1141430634163818496Like on Twitter 1141430634163818496Twitter 1141430634163818496
Retweet on TwitterFormal Methods 2019 Retweeted
DataMod19DataMod'19 - From Data to Models and Back 2019@DataMod19·
June 19, 2019

⚠️Deadline extension for submitting your work to @DataMod19❗️#CFP

✔️Abstract submission: 24 June
✔️Full paper submission: 30 June

@formalmethods19
#formalmethods
@FormalMtds

Reply on Twitter 1141272737966673920Retweet on Twitter 11412727379666739204Like on Twitter 11412727379666739204Twitter 1141272737966673920
formalmethods19Formal Methods 2019@formalmethods19·
June 18, 2019

Start planning to attend @formalmethods19 and visit this peaceful and beautiful country! The FM'19 call for participation will be launched soon.

Reply on Twitter 1141048397211865090Retweet on Twitter 11410483972118650901Like on Twitter 1141048397211865090Twitter 1141048397211865090
formalmethods19Formal Methods 2019@formalmethods19·
June 18, 2019

Have you already visited our Invited Speakers' webpage? There you can find who will be the keynote speakers of this world congress! 🌎 Tony Hoare will be one of them! 🔝
Check all ➡️ https://t.co/QA2NI4dfi0

Reply on Twitter 1141021965840527361Retweet on Twitter 1141021965840527361Like on Twitter 1141021965840527361Twitter 1141021965840527361
Copyright © 2019 – OnePress theme by FameThemes