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

CROSS-SEC 2026   The First International Conference on Cross-Domain Security in Distributed, Intelligent and Critical Systems
Distributed AI/ML 2025   Distributed AI/ML at the Resource-Constrained Edge
SMART 2026   The Fifteenth International Conference on Smart Cities, Systems, Devices and Technologies
ADAPTIVE 2026   The Eighteenth International Conference on Adaptive and Self-Adaptive Systems and Applications
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
CLOUD COMPUTING 2026   The Seventeenth International Conference on Cloud Computing, GRIDs, and Virtualization
COMPUTATION TOOLS 2026   The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
CFP-CIPCV-EI/SCOPUS 2026   The 2026 4th International Conference on Intelligent Perception and Computer Vision
SPWID 2026   The Twelfth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
ICCAR 2026   IEEE--2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)