posted by organizer: xingdoudou || 1692 views || tracked by 3 users: [display]

FORTE 2017 : Formal Techniques for (Networked and) Distributed Systems

FacebookTwitterLinkedInGoogle

 
When Mar 30, 2015 - Jan 30, 2018
Where shanghai, China
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

FTSCS 2022   8th International Workshop on Formal Techniques for Safety-Critical Systems
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
OPODIS 2022   26th Conference on Principles of Distributed Systems
PACT 2022   International Conference on Parallel Architectures and Compilation Techniques
Distributed ML and Opt. 2023   Distributed Machine Learning and Optimization: Theory and Applications
NLPTA 2022   3rd International Conference on NLP Techniques and Applications
SBAC-PAD 2022   The 34th IEEE International Symposium on Computer Architecture and High Performance Computing
PDCAT 2022   The 23rd International Conference on Parallel and Distributed Computing, Applications and Technologies
DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks