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

FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
CAV 2020   Computer Aided Verification
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
IJCAR 2020   10th International Joint Conference on Automated Reasoning
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
CREST 2020   5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
CPP 2020   Certified Programs and Proofs
TACAS 2020   Tools and Algorithms for Construction and Analysis of Systems
NFM 2020   12th NASA Formal Methods Symposium
LiVe 2020   4th Workshop on Learning in Verification