posted by organizer: xingdoudou || 5859 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)
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions
Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective