posted by organizer: xingdoudou || 1913 views || tracked by 3 users: [display]

FORTE 2017 : Formal Techniques for (Networked and) Distributed Systems

FacebookTwitterLinkedInGoogle

 
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
doors 2025   5th Edge Computing Workshop
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
FM 2024   Formal Methods
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ICFEM 2024   International Conference on Formal Engineering Methods
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
MLIS 2024   The 6th International Conference on Machine Learning and Intelligent Systems (MLIS 2024)
NC2EAIS 2024   NATIONAL CONFERENCE ON COMPUTATIONAL ENGINEERING, ARTIFICIAL INTELLIGENCE AND SMART SYSTEMS