posted by user: jyotirmoy || 1705 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 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
SEFM 2019   Software Engineering and Formal Methods
EMNLP-IJCNLP 2019   Conference on Empirical Methods in Natural Language Processing & International Joint Conference on Natural Language Processing 2019
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
VSTTE 2019   Verified Software: Theories, Tools and Experiments
FACJ-SI-Robotics 2019   Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ)
CMSB 2019   17th International Conference on Computational Methods in Systems Biology