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

BCIOT for COINS 2020   Special Track on Blockchain and Internet of Things (IoT) for IEEE International Conference on Omni-layer Intelligent Systems
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
FTSCS 2019   7th International Workshop on Formal Techniques for Safety-Critical Systems
IROS 2020   International Conference on Intelligent Robots and Systems
ICDCS 2020   International Conference on Distributed Computing Systems
IPDPS 2020   International Parallel and Distributed Processing Symposium
SIUSAI 2021-Ei Compendex 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2021)
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
IEEE COINS 2020   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems | Circuit and Systems | WSN | 5G
CDC 2020   Conference on Decision and Control