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

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