posted by organizer: mfgl || 3335 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

SEFM 2020   Software Engineering and Formal Methods
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
CDC 2020   Conference on Decision and Control
IJCAR 2020   10th International Joint Conference on Automated Reasoning
ACM--ICCTA--Ei Compendex, Scopus 2020   ACM--2020 6th International Conference on Computer and Technology Applications (ICCTA 2020)--Ei Compendex, Scopus
CAV 2020   Computer Aided Verification
NFM 2020   12th NASA Formal Methods Symposium
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering