posted by organizer: xingdoudou || 465 views || tracked by 4 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

ISORC 2018   INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING
SAC PL 2017   ACM SAC'17 PL Track
IROS 2018   Intelligent RObots and Systems
ICFEM 2017   19th International Conference on Formal Engineering Methods
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
HPDC 2018   The 27th International ACM Symposium on High-Performance Parallel and Distributed Computing (HPDC'18)
ICDCS 2018   International Conference on Distributed Computing Systems
FACS 2017   14th International Conference on Formal Aspects of Component Software
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
DCAI 2018   15th International Conference on Distributed Computing and Artificial Intelligence