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

CCGrid 2026   The 26th IEEE International Symposium on Cluster, Cloud and Internet Computing
ICRMV--EI 2027   2027 11th International Conference on Robotics and Machine Vision (ICRMV 2027)
ICFST 2027   2027 The 10th International Conference on Frontiers of Sensors Technologies (ICFST 2027)
MLCC 2027   IEEE--2027 International Conference on Machine Learning and Cognitive Computing (MLCC 2027)
ICMLC--EI 2027   2027 19th International Conference on Machine Learning and Computing (ICMLC 2027)
RecSys OARS 2026   CFP: RecSys 2026 Workshop on Online and Adaptive Recommender Systems (OARS)
IJCI 2026   International Journal on Cybernetics & Informatics
ICEEPS 2026   IEEE 2026 5th International Conference on Energy and Electrical Power Systems
IJASA 2026   The International Journal of Ambient Systems and applications
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference