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

UCC 2018   11th IEEE/ACM International Conference on Utility and Cloud Computing
CICET 2018   The International Conference on Recent Advancements in Computing, IoT and Computer Engineering Technology 2018
ESSCA 2018   European Symposium on Serverless Computing and Applications
4PAD 2018   5th International Symposium on Formal Approaches to Parallel and Distributed Systems
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
FM 2018   22nd International Symposium on Formal Methods
ICISIP 2018   The 6th IIAE International Conference on Intelligent Systems and Image Processing 2018