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

DisCoTec 2020   International Federated Conference on Distributed Computing Techniques
PDPTA 2020   The 26th Int'l Conf on Parallel and Distributed Processing Techniques and Applications
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
SBLP 2020   24th Brazilian Symposium on Programming Languages
NETYS 2020   THE 8th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS
SEFM 2020   Software Engineering and Formal Methods
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
PACT 2020   International Conference on Parallel Architectures and Compilation Techniques
Euro-Par 2020   European Conference on Parallel Processing
DEBS 2020   14th ACM/IFIP International Conference on Distributed and Event-based Systems 2020 - CFP Research Papers