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

CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
ITCE 2019   The International Conference on Innovative Trends in Computer Engineering
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
PACT 2019   28th International Conference on Parallel Architectures and Compilation Techniques
SRDS 2019   38th IEEE International Symposium on Reliable Distributed Systems
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
ICFCA 2019   The 15th International Conference on Formal Concept Analysis
IJIBM 2019   Call For Papers - International Journal of Information, Business and Management
FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods