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

Special Issue MDPI Sensors 2020   MDPI Sensors Special Issue: Distributed Composition Services for Wireless Sensor Networks
FTSCS 2019   7th International Workshop on Formal Techniques for Safety-Critical Systems
IROS 2020   International Conference on Intelligent Robots and Systems
IPDPS 2020   International Parallel and Distributed Processing Symposium
PACT 2019   28th International Conference on Parallel Architectures and Compilation Techniques
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
ICDCS 2020   International Conference on Distributed Computing Systems
UCC 2019   12th IEEE/ACM International Conference on Cloud Computing
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
PerCom 2020   18th Annual IEEE Conference on Pervasive Computing and Communications