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

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
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
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core