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

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
EDCCS 2024   Workshop on Engineering techniques for Distributed Computing Continuum Systems
FM 2024   Formal Methods
IDC 2024   Intelligent Distributed Computing
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
ISPDC 2024   23rd International Symposium on Parallel and Distributed Computing
SNPD 2024   27th ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ICFEM 2024   International Conference on Formal Engineering Methods
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems