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

IEA/AIE 2027 2027   The 40th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
AISIS 2026   2026 International Conference on Artificial Intelligence, Intelligent Systems, and Information Security-EI/Scopus
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective
DMLS 2026   2026 International Conference on Decision, Management, and Learning Systems
SOMET 2026   The 25th International Conference on Intelligent Software Methodologies, Tools, and Techniques
SEAI 2026   2026 IEEE the 6th International Conference on Software Engineering and Artificial Intelligence (SEAI 2026)