posted by organizer: xingdoudou || 1882 views || tracked by 3 users: [display]

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

FacebookTwitterLinkedInGoogle

 
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
Euro-Par 2024   30th International European Conference on Parallel and Distributed Computing
FM 2024   Formal Methods
IDC 2024   Intelligent Distributed Computing
ISPDC 2024   23rd International Symposium on Parallel and Distributed Computing
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
SNPD 2024   27th ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
Sensors journal 2024   Special Issue on Energy-Efficient Communication Networks and Systems: 2nd Eition