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

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
ICOAI--ESCI 2026   2026 The 13th International Conference on Artificial Intelligence (ICOAI 2026)--ESCI
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference