posted by organizer: xingdoudou || 6080 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)
Eco-Conservation and Belief Systems 2027   ICSSR Sponsored Two-day National Conference titled Eco-Conservation and Indigenous Belief Systems in India
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