Category:Formal methods

From Openresearch
Jump to: navigation, search
Formal methods
Editor: Become editor of this category

Top conference series

AcronymTitleCORE2017Avg. acc. rate
IFMInternational Conference on Integrated Formal Methods31.8

Upcoming conferences

AcronymNameCityCountrySubmissions dueStartEnd
IFM 202016th International Conference on Integrated Formal MethodsLuganoSwitzerlandJun 22Nov 16Nov 20

Conferences   [Cal. 2016]

IFM 2020 (Lugano, 16 November 2020)

Event Series


  more …


  more …


  more …


  more …

Publication Calls

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …