posted by organizer: mfgl || 1530 views || tracked by 1 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
ASE 2019   Automated Software Engineering
ISSRE 2019   The 30th International Symposium on Software Reliability Engineering (ISSRE) - IEEE
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
SEFM 2019   Software Engineering and Formal Methods
CONISOFT 2019   IEEE 7th International Conference on Software Engineering Research and Innovation
EI-CSECI 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
DataMod 2019   8th International Symposium “From Data to Models and Back (DataMod)”
SEFM 2019   17th International Conference on Software Engineering and Formal Methods