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

FORTE 2022   42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
FMICS 2022   International Conference on Formal Methods for Industrial Critical Systems
DisCoTec - 2022   17th International Federated Conference on Distributed Computing Techniques
AIBTAI 2022   JISYS (OA) - Artificial Intelligence based Techniques and Applications for Intelligent IoT Systems
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
SECURWARE 2022   International Conference on Emerging Security Information, Systems and Technologies
NETYS 2022   NETYS 2022 : THE 10th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS
COORDINATION 2022   24th International Conference on Coordination Models and Languages
SEIM 2022   Seventh Conference on Software Engineering and Information Management
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency