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

ICFEM 2017   19th International Conference on Formal Engineering Methods
FMCAD 2017   Formal Methods in Computer-Aided Design
FACS 2017   14th International Conference on Formal Aspects of Component Software
FCT 2017   Fundamentals of Computation Theory
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
VSTTE 2017   9th Working Conference on Verified Software: Theories, Tools, and Experiments
LearnAut 2017   Learning and Automata - LICS 2017 Workshop
SETTA 2017   3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications
ICE 2017   10th Interaction and Concurrency Experience
CfP - CONCUR 2017   Call for Papers - 28th International Conference on Concurrency Theory