posted by organizer: mfgl || 2709 views || tracked by 3 users: [display]

EFM 2019 : 1st International Workshop on Empirical Formal Methods

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/efm19/
 
When Oct 7, 2019 - Oct 11, 2019
Where Porto, PT
Submission Deadline Jun 30, 2019
Notification Due Jul 31, 2019
Final Version Due Sep 2, 2019
Categories    formal methods   empirical research   software engineering   systems engineering
 

Call For Papers

Please, visit our workshop website for further details about the CfP and the event.

Related Resources

EMNLP-IJCNLP 2019   Conference on Empirical Methods in Natural Language Processing & International Joint Conference on Natural Language Processing 2019
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
IEEE-5G-Security 2020   IEEE Communications Magazine Feature Topic “5G Security: Can 5G Be Verifiably Secure?”
DMA 2020   6th International Conference on Data Mining and Applications
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
CMSB 2019   17th International Conference on Computational Methods in Systems Biology
SOFEA 2019   5th International Conference on Software Engineering and Applications
FACS 2019   Formal Aspects of Component Software