posted by organizer: xingdoudou || 1314 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle


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

[Empty]

Related Resources

DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
SRDS 2019   38th IEEE International Symposium on Reliable Distributed Systems
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
ITCE 2019   The International Conference on Innovative Trends in Computer Engineering
CCR 2019   International Workshop on Cloud/edge Computing in Robotic Systems
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
RecSys 2019   13th ACM Conference on Recommender Systems
ICDCS 2019   International Conference on Distributed Computing Systems
HPDC 2019   The 28th International Symposium on High-Performance Parallel and Distributed Computing