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

FM 2021   Formal Methods 2021
ESOP 2021   30th European Symposium on Programming
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
F-IDE 2021   6th Workshop on Formal Integrated Development Environment
FormaliSE 2021   9th International Conference on Formal Methods in Software Engineering
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
CPP 2021   Certified Programs and Proofs
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
WIIS 2020   Workshop on Intelligent Information Systems
PSSV 2020   XI Workshop Program Semantics, Specification and Verification