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

SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
NeurIPS 2025   Annual Conference on Neural Information Processing Systems
ICAUAS 2025   2025 International Conference on Advanced Unmanned Aerial Systems (ICAUAS 2025)
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
ISCSIC 2025   2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025)
CSITEC 2025   11th International Conference on Computer Science, Information Technology
MODERN SYSTEMS 2025   International Conference of Modern Systems Engineering Solutions
Hong Kong-MIST 2025   2025 Asia-Pacific Conference on Marine Intelligent Systems and Technologies (MIST 2025)
BS LAB 2025   9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
ICPRS 2025   15th International Conference on Pattern Recognition Systems