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

Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
FM 2021   Formal Methods 2021
ICADCML 2022   3rd International Conference on Advances in Distributed Computing and Machine Learning - 2022
IPDPS 2022   International Parallel and Distributed Processing Symposium
SIUSAI 2022   2022 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2022)
WAIN 2021   3rd International Workshop on AI in Networks and Distributed Systems
Baltic DB&IS 2022   15th International Baltic Conference on Digital Business and Intelligent Systems
ICSR 2022   20th International Conference on Software and Systems Reuse
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering