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

FORTE 2023   43rd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
SRDS 2023   42nd International Symposium on Reliable Distributed Systems
CPSIOT 2023   2023International Conference on Cyber Physical Systems and IoT(CPSIOT 2023)
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
TNNLS-GL 2023   IEEE Transactions on Neural Networks and Learning Systems Special Issue on Graph Learning
SenSys 2023   The 21st ACM Conference on Embedded Networked Sensor Systems
ISCSIC 2023   2023 7th International Symposium on Computer Science and Intelligent Control(ISCSIC 2023)
IEEE Blockchain 2023   The 6th IEEE International Conference on Blockchain
Euro-Par P&D 2023   29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023): Call for Posters and Demos
IDC 2023   16th International Symposium on Intelligent Distributed Computing