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

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
ICDCS 2020   International Conference on Distributed Computing Systems
IPDPS 2020   International Parallel and Distributed Processing Symposium
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
HPDC 2020   International Symposium on High-Performance Parallel and Distributed Computing
CPCS 2020   Call for Chapters: Security and Privacy in Cyber-Physical Systems: Threats and Defenses
PPSN 2020   Parallel Problem Solving from Nature
PDP 2020   Euromicro International Conference on Parallel, Distributed and Network-Based Processing