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

TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
FACJ-SI-Robotics 2019   Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ)
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
ACSD 2019   19th International Conference on Application of Concurrency to System Design