posted by organizer: xingdoudou || 681 views || tracked by 1 users: [display]

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


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


Related Resources

SAC PL 2017   ACM SAC'17 PL Track
ICFEM 2017   19th International Conference on Formal Engineering Methods
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
NDSS 2018   Network and Distributed System Security Symposium
WCCI 2018   World Congress on Computational Intelligence
FACS 2017   14th International Conference on Formal Aspects of Component Software
UCC 2017   IEEE/ACM International Conference on Utility and Cloud Computing
FMCAD 2017   Formal Methods in Computer-Aided Design
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems