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

DCFS 2021   23rd International Conference on Descriptional Complexity of Formal Systems
ICDM 2021   21st IEEE International Conference on Data Mining
PODC 2021   Principles of Distributed Computing
FM 2021   Formal Methods 2021
Euro-Par 2021   European Conference on Parallel and Distributed Computing
MobiSPC 2021   The 18th International Conference on Mobile Systems and Pervasive Computing August 9-12, 2021, Leuven, Belgium
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
SNPD 2021   22nd IEEE/ACIS International Summer Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
CHEME 2021   5th International Conference on Chemical Engineering