posted by user: jyotirmoy || 1142 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

MEMOCODE 2017   15th ACM/IEEE International Conference on Formal Methods and Models for System Design
FACS 2017   14th International Conference on Formal Aspects of Component Software
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
HVC 2017   Haifa Verification Conference
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
SBMF 2017   20th Brazilian Symposium on Formal Methods
ICTSS 2017   International Conference on Testing Software and Systems
SR 2017   Fifth International Workshop on Strategic Reasoning
NSAD 2017   Numerical and Symbolic Abstract Domains
FCST 2017   5th International Conference on Foundations of Computer Science & Technology