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

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
ICDSIS 2020   The 1st International Conference on Distributed Sensing and Intelligent Systems (ICDSIS2020)
FT4DAS 2019   Formal Techniques for Dependable Autonomous Systems
FTfJP 2019   21st Workshop on Formal Techniques for Java-like Programs
PACT 2019   28th International Conference on Parallel Architectures and Compilation Techniques
SRDS 2019   38th IEEE International Symposium on Reliable Distributed Systems
FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação