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

Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions
SIUSAI 2026   2026 5th International Symposium on Intelligent Unmanned Systems and Artificial Intelligence
ITSSC 2026   2026 6th International Conference on Intelligent Traffic Systems and Smart City
IMMS 2026   IEEE--2026 the 9th International Conference on Information Management and Management Science (IMMS 2026)
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
EXTRAAMAS 2026   8th International Workshop on EXplainable, Trustworthy, and Responsible AI and Multi-Agent Systems