posted by organizer: xingdoudou || 818 views || tracked by 3 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

ICDCS 2019   International Conference on Distributed Computing Systems
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
CryBlockSpecial 2018   Cryptocurrencies and Blockchains for Distributed Systems, (special issue) Concurrency and Computation: Practice and Experience, Wiley
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