posted by organizer: mfgl || 3525 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
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
IEEE-CVIV 2020-Ei/Scopus 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
JSE 2020   9th International Conference on Software Engineering and Applications
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
CPP 2021   Certified Programs and Proofs