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

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
doors 2025   5th Edge Computing Workshop
OPODIS 2024   International Conference on Principles of Distributed Systems
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
FM 2024   Formal Methods
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
CCCIS--EI 2025   2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025)
NC2EAIS 2024   NATIONAL CONFERENCE ON COMPUTATIONAL ENGINEERING, ARTIFICIAL INTELLIGENCE AND SMART SYSTEMS