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

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
UBICOMM 2021   The Fifteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
CAV 2021   33rd International Conference on Computer-Aided Verification