posted by organizer: xingdoudou || 2161 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”
TPDS-SS-NvNT 2020   IEEE TPDS Special Section on Parallel and Distributed Computing Techniques for non-von Neumann Technologies
ICDCS 2021   International Conference on Distributed Computing Systems
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
FM 2021   Formal Methods 2021
OPODIS 2020   CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
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