Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by organizer: mfgl || 5009 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
SOEN 2024   9th International Conference on Software Engineering
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
ICFEM 2024   International Conference on Formal Engineering Methods
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
IEEE PRAI 2024   IEEE--2024 the 7th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2024)
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
IEEE WSAI 2024   IEEE--2024 the 6th World Symposium on Artificial Intelligence (WSAI 2024)
CRISIS 2024   19th International Conference on Risks and Security of Internet and Systems
TAP 2024   18th International Conference on Tests and Proofs
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.