Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by organizer: mfgl || 5051 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

CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
EmpER 2024   7th International Workshop on Empirical Methods in Conceptual Modeling
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
DSA 2024   5th International Conference on Data Science and Applications
ICFEM 2024   International Conference on Formal Engineering Methods
SBMF 2024   27th Brazilian Symposium on Formal Methods
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
CSL 2025   Computer Science Logic
CSIA 2024   15th International Conference on Communications Security & Information Assurance
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.