posted by organizer: mfgl || 3589 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 2020   Conference on Empirical Methods in Natural Language Processing
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
FM 2021   Formal Methods 2021
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ITE 2021   2nd International Conference on Integrating Technology in Education
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
IJNGN 2020   International Journal of Next - Generation Networks
ESOP 2021   30th European Symposium on Programming
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods