posted by organizer: xingdoudou || 1153 views || tracked by 2 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

ICDCS 2019   International Conference on Distributed Computing Systems
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
DVMCS 2018   International Workshop on Design and Verification Techniques for Mixed Critical Systems
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
ICPADS 2018   The 24th International Conference on Parallel and Distributed Systems
EuroSys 2019   European Conference on Computer Systems
OPODIS 2018   22nd International Conference on Principles of Distributed Systems
UCC 2018   11th IEEE/ACM International Conference on Utility and Cloud Computing
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design