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


Fora

  more …

Projects

  more …

Organizations

  more …

Journals

  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 …