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

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