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

NLPTAI 2026   International Conference on NLP Techniques and Advanced AI Systems
SI: AI for Control Systems 2027   Special Issue on Applied Artificial Intelligence for Control Systems (Electronics, MDPI)
PDCTA 2026   15th International Conference on Parallel, Distributed Computing Technologies and Applications
ISTECH 2026   4th International Conference on Information Science and Techniques
ICSys 2026   2026 International Conference on Intelligent Control and Systems
Eco-Conservation and Belief Systems 2027   ICSSR Sponsored Two-day National Conference titled Eco-Conservation and Indigenous Belief Systems in India
iMISS 2027   CFP: The International Conference on Intelligent Maritime Imaging, Sensing and Systems
AMSM 2026   2026 International Conference on Advanced Manufacturing and Smart Materials & CfAMT Research Symposium
ICMLC--EI 2027   2027 19th International Conference on Machine Learning and Computing (ICMLC 2027)
VLSICS 2026   International Journal of VLSI design & Communication Systems