posted by organizer: xingdoudou || 3745 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

SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
IEEE DAPPS 2025   The 7th IEEE International Conference on Decentralized Applications and Infrastructures
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
Hong Kong-MIST 2025   2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
BS LAB 2025   9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
MLPRIS 2025   The 7th Int'l Conference on Machine Learning, Pattern Recognition and Intelligent Systems
PDP 2025   Parallel, Distributed and Network-Based Processing
ICPRS 2025   15th International Conference on Pattern Recognition Systems