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

IJP2P 2026   International Journal of Peer-to-Peer networks
Distributed AI/ML 2025   Distributed AI/ML at the Resource-Constrained Edge
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
CVR 2026   6th International Conference on Computer Vision and Robotics
OIOE 2026   2026 3rd International Conference on Optoelectronic Information and Optical Engineering
Systems (MDPI) 2025   Special Issue Title: Hypothesis-Driven Artificial Intelligence Approaches for Complex Systems Biology
IJSCMC 2026   International Journal of Soft Computing, Mathematics and Control
IJBISS 2026   International Journal of Business Information Systems Strategies
SI Legal Systems 2025   Journal Special Issue on Compliance, Processes, and AI Technologies for Legal Systems