posted by user: cpsvida || 580 views || tracked by 1 users: [display]

FACS 2023 : 19th International Conference on Formal Aspects of Component Software

FacebookTwitterLinkedInGoogle


Conference Series : Formal Aspects of Component Software
 
 
When Oct 19, 2023 - Oct 20, 2023
Where online
Submission Deadline Jul 17, 2023
 

Call For Papers

[Empty]

Related Resources

FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
ISORC 2025   International Symposium on Real-Time Distributed Computing
ICMLSC 2026   2026 The 10th International Conference on Machine Learning and Soft Computing (ICMLSC 2026)
Ei/Scopus-DMCSE 2025   2025 2nd International Conference on Data Mining, Computing and Software Engineering (DMCSE 2025)
SPIE SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
MEMOCODE 2025   MEMOCODE'25 23rd ACM-IEEE International Symposium on Formal Methods and Models for System Design