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

MIDDLEWARE 2026   27th ACM/IFIP International Middleware Conference
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ICSNC 2026   The Twenty-First International Conference on Systems and Networks Communications
AISyS 2026   The Third International Conference on AI-based Systems and Services
EXPLAINABILITY 2026   The Third International Conference on Systems Explainability
ICVARS 2026   2026 10th International Conference on Intelligent Computing and Virtual & Augmented Reality Simulations (ICVARS 2026)
S+SSPR 2026   Joint IAPR International Workshops on Statistical Techniques in Pattern Recognition and Structural and Syntactic Pattern Recognition
PCDS 2025   The 2nd International Symposium on Parallel Computing and Distributed Systems
UBICOMM 2026   The Twentieth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies