Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by organizer: mfgl || 5089 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
ELE 2024   8th International Conference on Electrical Engineering
EMNLP 2024   The 2024 Conference on Empirical Methods in Natural Language Processing
DSML 2024   5th International Conference on Data Science and Machine Learning
EmpER 2024   7th International Workshop on Empirical Methods in Conceptual Modeling (* EXTENDED DEADLINE *)
ICFEM 2024   International Conference on Formal Engineering Methods
AIDD 2024   2nd International Conference on AI, Data Mining and Data Science
SBMF 2024   27th Brazilian Symposium on Formal Methods
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.