FORTE: Formal Techniques for (Networked and) Distributed Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FORTE 2017 Formal Techniques for (Networked and) Distributed Systems
Mar 30, 2015 - Jan 30, 2018 shanghai, China TBD
FORTE 2016 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Jun 6, 2016 - Jun 9, 2016 Heraklion, Crete, Greece Feb 8, 2016 (Feb 1, 2016)
FORTE 2014 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Jun 3, 2014 - Jun 6, 2014 Berlin, Germany Feb 7, 2014 (Feb 1, 2014)
FORTE 2011 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems.
Jun 6, 2011 - Jun 9, 2011 Reykjavik, Iceland Feb 13, 2011 (Feb 6, 2011)
 
 

Present CFP : 2017

[Empty]
 

Related Resources

PDP 2018   The 26th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
SI-SoftMM 2017   Special Issue on Soft Computing Techniques and Applications on MM Data Analyzing Systems-- Springer Journal of Multimedia Tools and Applications
SAC PL 2017   ACM SAC'17 PL Track
CPSNGN 2017   Cyber-Physical Systems for Next Generation Networks
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
PACT 2017   International Conference on Parallel Architectures and Compilation Techniques
ICFEM 2017   19th International Conference on Formal Engineering Methods
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
CHI 2018   ACM CHI Conference on Human Factors in Computing Systems
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference