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

FACS 2017   14th International Conference on Formal Aspects of Component Software
HVC 2017   Haifa Verification Conference
SBMF 2017   20th Brazilian Symposium on Formal Methods
NSAD 2017   Numerical and Symbolic Abstract Domains
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
ICTSS 2017   International Conference on Testing Software and Systems
FCST 2017   5th International Conference on Foundations of Computer Science & Technology
The 15th Overture Workshop 2017   The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering
Correctness 2017   First International Workshop on Software Correctness for HPC Applications
EXPRESS/SOS 2017   Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics