Main menu

Skip to content
FMICS 2019 24th INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
  • Call for Papers
  • Programme
  • Keynotes
  • Industry Session
  • Accepted Papers
  • Registration
  • Committees

Accepted papers

Uncategorized

admin / June 13, 2019

We are pleased to announce the papers accepted for presentation at FMICS. See here for the complete list.

Post navigation

← Holger Hermanns confirmed as second keynote speaker
Registration is open →

Recent Posts

  • Best Paper Award for Matthias Volk, Norman Weik, Joost-Pieter Katoen and Nils Nießen
  • Conference proceedings online
  • Registration is open
  • Accepted papers
  • Holger Hermanns confirmed as second keynote speaker

Important Dates

19 April 1 May: Abstract submission
26 April 3 May: Paper submission
05 June: Notification
19 June: Camera ready due
30-31 August: Conference

Copyright © 2022 FMICS 2019. All Rights Reserved.

The Farben Basic Theme by bavotasan.com.