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

UCC 2018   11th IEEE/ACM International Conference on Utility and Cloud Computing
CICET 2018   The International Conference on Recent Advancements in Computing, IoT and Computer Engineering Technology 2018
ESSCA 2018   European Symposium on Serverless Computing and Applications
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
SRDS 2018   The 37th IEEE International Symposium on Reliable Distributed Systems
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
IDC 2018   12th International Symposium on Intelligent Distributed Computing
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
eLSE 2018   14th eLearning and Software for Education Conference