posted by organizer: mfgl || 3643 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
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
FM 2021   Formal Methods 2021
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
CAV 2021   33rd International Conference on Computer-Aided Verification
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
ESOP 2021   30th European Symposium on Programming
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
NFM 2021   13th NASA Formal Methods Symposium
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods