posted by organizer: xingdoudou || 3764 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
ISCSIC 2025   2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025)
ICPRS 2025   15th International Conference on Pattern Recognition 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?
PDP 2025   Parallel, Distributed and Network-Based Processing
ICISIP 2025   The 12th IIAE International Conference on Intelligent Systems and Image Processing 2025