posted by organizer: xingdoudou || 880 views || tracked by 3 users: [display]

FORTE 2017 : Formal Techniques for (Networked and) Distributed Systems

FacebookTwitterLinkedInGoogle

 
When Mar 30, 2015 - Jan 30, 2018
Where shanghai, China
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
ITCE 2019   The International Conference on Innovative Trends in Computer Engineering
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
AITMDST 2019   Applying Integration Techniques and Methods in Distributed Systems and Technologies
DVMCS 2018   International Workshop on Design and Verification Techniques for Mixed Critical Systems
IROS 2019   Intelligent RObots and Systems
ICDCS 2019   International Conference on Distributed Computing Systems
IPDPS 2019   33rd IEEE International Parallel & Distributed Processing Symposium
ITSC 2019   IEEE Intelligent Transportation Systems Conference
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems