Skip to content
Menu
  • FM Week
  • Dates
  • Calls
  • 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!

General Chair

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

Local Organisers

  • Bárbara Veloso, Catarina Fernandes and Paula Rodrigues | contactfm2019@inesctec.pt

Tweets

formalmethods19Formal Methods 2019@formalmethods19·
April 19, 2019

Two more deadlines, within a week, of events hosted by @formalmethods: ➡️ MPC 2019 and ➡️ PPDP 2019. Keep checking your 🗓️ dates at https://t.co/YkxoTIvZjn. @FormalMtds #formalmethods #computerscience #DeclarativeProgramming

Reply on Twitter 1119264117972451329Retweet on Twitter 1119264117972451329Like on Twitter 1119264117972451329Twitter 1119264117972451329
formalmethods19Formal Methods 2019@formalmethods19·
April 18, 2019

Gentle reminder of three submission deadlines, within a week, of events hosted by FM'19: ➡️ RV 2019, ➡️ SAS 2019 and ➡️ TAP 2019 (new dates) - all CFPs available from https://t.co/jQCc7ezAUp. @FormalMtds #formalmethods #softwaretesting #programanalysis #formalverification

Reply on Twitter 1118880422291746817Retweet on Twitter 11188804222917468172Like on Twitter 11188804222917468172Twitter 1118880422291746817
formalmethods19Formal Methods 2019@formalmethods19·
April 17, 2019

➡️ Porto, the host city of @formalmethods19, is one of the 12 cities that ✅ signed the European Pact to reduce at least 40% carbon emissions by 2030🙂. More about this in https://t.co/r6RZB9g4hv @FormalMtds #formalmethods

Reply on Twitter 1118450841160175616Retweet on Twitter 11184508411601756162Like on Twitter 11184508411601756161Twitter 1118450841160175616
Retweet on TwitterFormal Methods 2019 Retweeted
OanaMAndreiOana Andrei@OanaMAndrei·
April 15, 2019

#CfP Workshop on #FormalMethods for #InteractiveSystems #FMIS2019 #FMIS co-located with @formalmethods19 @FormalMtds in Porto

📝Paper submission: 21 June
📬Notification: 31 July
📸Camera-ready: 2 Sept
🤝Workshop: 7 Oct
📄Special issue: TBA

More details: https://t.co/jwzKCdX8t6

Reply on Twitter 1117757066494578688Retweet on Twitter 11177570664945786886Like on Twitter 11177570664945786885Twitter 1117757066494578688
Copyright © 2019 – OnePress theme by FameThemes