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

EFM 2019 : 1st International Workshop on Empirical Formal Methods


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
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
CONISOFT 2019   IEEE 7th International Conference on Software Engineering Research and Innovation
DMA 2020   6th International Conference on Data Mining and Applications
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
SOFEA 2019   5th International Conference on Software Engineering and Applications
CMSB 2019   17th International Conference on Computational Methods in Systems Biology
GridCom 2019   11th International Conference on Grid Computing
FACS 2019   Formal Aspects of Component Software