posted by organizer: xingdoudou || 4097 views || tracked by 4 users: [display]

FORTE 2017 : Formal Techniques for (Networked and) Distributed Systems

FacebookTwitterLinkedInGoogle


Conference Series : Formal Techniques for (Networked and) Distributed Systems
 
 
When Mar 30, 2015 - Jan 30, 2018
Where shanghai, China
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

OPODIS 2025   29th International Conference on Principles of Distributed Systems
PCDS 2025   The 2nd International Symposium on Parallel Computing and Distributed Systems
FMAS 2025   7th International Workshop on Formal Methods for Autonomous Systems
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
S+SSPR 2026   Joint IAPR International Workshops on Statistical Techniques in Pattern Recognition and Structural and Syntactic Pattern Recognition
IEEE-DSIS 2025   2025 International Conference on Data Science and Intelligent Systems (DSIS 2025)
SPIE SPRA 2026   SPIE--2026 6th Symposium on Pattern Recognition and Applications (SPRA 2026)
FoIKS 2026   International Symposium on Foundations of Information and Knowledge Systems