posted by organizer: mfgl || 3281 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 2020   Conference on Empirical Methods in Natural Language Processing
ICISS--ACM, Ei and Scopus 2020   ACM--2020 3rd International Conference on Information Science and Systems (ICISS 2020)--Ei Compendex, Scopus
SEFM 2020   Software Engineering and Formal Methods
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
IJCAR 2020   10th International Joint Conference on Automated Reasoning
CDC 2020   Conference on Decision and Control
CAV 2020   Computer Aided Verification
ICICT--Ei Compendex and Scopus 2020   2020 the 3rd International Conference on Information and Computer Technologies (ICICT 2020)--Ei Compendex and Scopus
AIFU 2020   6th International Conference on Artificial Intelligence and Applications