posted by organizer: mfgl || 3734 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 2021   Conference on Empirical Methods in Natural Language Processing
Spec.Issue on Social Informatics: Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
CONISOFT 2021   9th International Conference on Software Engineering Research and Innovation
FM 2021   Formal Methods 2021
IEEE ICVR--Ei, Scopus 2021   2021 IEEE 7th International Conference on Virtual Reality (ICVR 2021)--EI Compendex, Scopus
DTMN 2021   7th International Conference on Data Mining
CAV 2021   33rd International Conference on Computer-Aided Verification
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus
FMICS 2021   Formal Methods for Industrial Critical Systems
CBW 2021   2nd International Conference on Cloud, Big Data and Web Services