posted by organizer: xingdoudou || 2242 views || tracked by 4 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

TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
ICDCS 2021   International Conference on Distributed Computing Systems
PODC 2021   Principles of Distributed Computing
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
FM 2021   Formal Methods 2021
SMC 2021   IEEE International Conference on Systems, Man, and Cybernetics
Fintech 2020   Sustainaility (Q2): Fintech: Recent Advancements in Modern Techniques, Methods and Real-World Solutions
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex