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

CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
FM 2021   Formal Methods 2021
ICADCML 2022   3rd International Conference on Advances in Distributed Computing and Machine Learning - 2022
MLNLP 2021   2nd International Conference on Machine Learning Techniques and NLP
ICAART 2022   14th International Conference on Agents and Artificial Intelligence
MDPI Mathematics InSysModGraph 2021   Special Issue Information Systems Modeling Based on Graph Theory
DASFAA 2022   Database Systems for Advanced Applications
IJAD 2021   International Journal of Advanced Dermatology
IPMU 2022   19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
SI-DIEFIoT-JPDC 2021   Special Issue on Distributed Intelligence at the Edge for the Future Internet of Things - Journal of Parallel and Distributed Computing