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

LICS 2018   Logic in Computer Science
HVC 2017   Haifa Verification Conference
IJESA 2017   International Journal of Embedded Systems and Applications
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
FMA 2018   Call for papers: 4th International Symposium Formal Methods in Architecture
SOFL+MSVL 2017   The 7th international workshop on SOFL+MSVL
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
ICFEM 2017   19th International Conference on Formal Engineering Methods