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

TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
TPDS-SS-NvNT 2020   IEEE TPDS Special Section on Parallel and Distributed Computing Techniques for non-von Neumann Technologies
ICDCS 2021   International Conference on Distributed Computing Systems
FM 2021   Formal Methods 2021
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
OPODIS 2020   CONFERENCE ON PRINCIPLES OF DISTRIBUTED SYSTEMS
Fintech 2020   Sustainaility (Q2): Fintech: Recent Advancements in Modern Techniques, Methods and Real-World Solutions
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex