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

TPDS-SS-AI 2020   IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS) Special Section on Parallel and Distributed Computing Techniques for AI, ML and DL
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
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
ICDCS 2020   International Conference on Distributed Computing Systems
SEFM 2020   Software Engineering and Formal Methods
PACT 2020   International Conference on Parallel Architectures and Compilation Techniques
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
Fintech 2020   Sustainaility (Q2): Fintech: Recent Advancements in Modern Techniques, Methods and Real-World Solutions
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis