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

DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
SRDS 2019   38th IEEE International Symposium on Reliable Distributed Systems
ITCE 2019   The International Conference on Innovative Trends in Computer Engineering
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
IROS 2019   Intelligent RObots and Systems
ICDCS 2019   International Conference on Distributed Computing Systems
HPDC 2019   The 28th International Symposium on High-Performance Parallel and Distributed Computing
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
DCAI 2019   16th International Conference on Distributed Computing and Artificial Intelligence