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

SI: AI for Control Systems 2027   Special Issue on Applied Artificial Intelligence for Control Systems (Electronics, MDPI)
LATIS 2026   2026 International Conference on Low Altitude Technology and Intelligent Systems
ICIPS 2026   IEEE 2026 6th International Conference on Intelligent Power and Systems
Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
EIECS 2026   2026 6th International Conference on Electronic Information Engineering and Computer Science
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions
AIAC 2026   IEEE 2026 4th International Conference on Artificial Intelligence and Automation Control
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
CHASE 2026   IEEE/ACM conference on Connected Health: Applications, Systems and Engineering Technologies