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

FM 2016 : Formal Methods Europe

FacebookTwitterLinkedInGoogle

Link: http://www.fmeurope.org/?p=527
 
When Nov 7, 2016 - Nov 11, 2016
Where Cyprus
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

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