posted by organizer: mfgl || 4549 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

ICFEM 2022   23th International Conference on Formal Engineering Methods
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
IJANS 2022   International Journal on AdHoc Networking Systems
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
ISDEA--Ei Compendex, Scopus 2022   2022 International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2022)--Scopus, Ei Compendex
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
ECOOP 2022   European Conference on Object-Oriented Programming