posted by organizer: xingdoudou || 3503 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
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ISPDC 2024   23rd International Symposium on Parallel and Distributed Computing
ICFEM 2024   International Conference on Formal Engineering Methods
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
MLIS 2024   The 6th International Conference on Machine Learning and Intelligent Systems (MLIS 2024)
ICCIS 2024   6th International Conference on Communication and Intelligent Systems