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

FM 2018   22nd International Symposium on Formal Methods
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
LICS 2018   Logic in Computer Science
CONCUR 2018   29th International Conference on Concurrency Theory
HCI-Europe 2018   HCI-Europe - Human Computer Interaction
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
ISOLA 2018   8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
FACS 2018   15th International Conference on Formal Aspects of Component Software
RAMiCS 2018   Relational and Algebraic Methods in Computer Science