posted by user: jyotirmoy || 975 views || tracked by 5 users: [display]

FM 2016 : Formal Methods Europe


When Nov 7, 2016 - Nov 11, 2016
Where Cyprus
Submission Deadline TBD

Call For Papers


Related Resources

FM 2016   21st International Symposium on Formal Methods
ICFEM 2017   19th International Conference on Formal Engineering Methods
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
FormaliSE 2017   FME Workshop on Formal Methods in Software Engineering
ACSD 2017   Application of Concurrency to System Design
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
DATE 2017   Design, Automation, and Test in Europe
NFM 2017   The 9th NASA Formal Methods Symposium