posted by organizer: mfgl || 3833 views || tracked by 3 users: [display]

EFM 2019 : 1st International Workshop on Empirical Formal Methods


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   IEEE 9th International Conference on Software Engineering Research and Innovation
CST 2021   8th International Conference on Foundations of Computer Science & Technology
SEFM 2021   The 19th edition of the International Conference on Software Engineering and Formal Methods
BIOM 2021   International Conference on Big Data, IoT and Machine Learning
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
IJEL 2021   International Journal of Electromagnetics
FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems
EmpER 2021   4th International Workshop on Empirical Methods in Conceptual Modeling