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

FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
OPODIS 2018   22nd International Conference on Principles of Distributed Systems
ESSCA 2018   European Symposium on Serverless Computing and Applications
DVMCS 2018   International Workshop on Design and Verification Techniques for Mixed Critical Systems
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
EuroSys 2019   European Conference on Computer Systems
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)