posted by organizer: mfgl || 3036 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
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
VLSIA 2019   5th International Conference on VLSI and Applications
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
ICISS--ACM, Ei and Scopus 2020   ACM--2020 3rd International Conference on Information Science and System (ICISS 2020)--Ei Compendex, Scopus
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons