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

GISTAM 2027   13th International Conference on Geographical Information Systems Theory, Applications and Management
ICEIS 2027   29th International Conference on Enterprise Information Systems
SMARTGREENS 2027   16th International Conference on Smart Cities and Green ICT Systems
ENASE 2027   22nd International Conference on Evaluation of Novel Approaches to Software Engineering
VEHITS 2027   13th International Conference on Vehicle Technology and Intelligent Transport Systems
FEMIB 2027   9th International Conference on Finance, Economics, Management and IT Business
Governing GP AI Systems 2026   CfP: CLSR Special Issue on Governing General-Purpose AI Systems
MODERN SYSTEMS 2026   International Conference of Modern Systems Engineering Solutions
Dairy Systems & Technology 2026   Precision Dairy Systems & Technology Conference
Digitalization of Financial Systems 2026   Digitalization of Financial Systems: Ethical Implications and Sustainable Development Perspective