posted by user: jyotirmoy || 935 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
NFM 2017   The 9th NASA Formal Methods Symposium
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
FSEN 2017   Fundamentals of Software Engineering
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
DATE 2017   Design, Automation, and Test in Europe
MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
ICPRAM 2017   International Conference on Pattern Recognition Applications and Methods