posted by organizer: mfgl || 4710 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 2022   Conference on Empirical Methods in Natural Language Processing
AAMAS 2023   The 22nd International Conference on Autonomous Agents and Multiagent Systems
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
AI 2022   8th International Conference on Artificial Intelligence and Applications
SPIN 2023   29th International Symposium on Model Checking of Software
NLPCL 2023   4th International Conference on Natural Language Processing and Computational Linguistics
NFM 2023   NASA Formal Methods Symposium
AISO 2022   8th International Conference on Artificial Intelligence and Soft Computing
TFP 2023   Trends in Functional Programming
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus