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

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


When Mar 30, 2015 - Jan 30, 2018
Where shanghai, China
Submission Deadline TBD

Call For Papers


Related Resources

IDC 2018   12th International Symposium on Intelligent Distributed Computing
7th NecSys 2018   Distributed Estimation and Control in Networked Systems - 7th NECSYS 2018
NETYS 2018   The 6th International Conference on Networked Systems
SAC PL 2017   ACM SAC'17 PL Track
HPDC 2018   The 27th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'18)
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
ICDCS 2018   International Conference on Distributed Computing Systems
ICANN 2018   27th International Conference on Artificial Neural Networks
DCAI 2018   15th International Conference on Distributed Computing and Artificial Intelligence