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

NeuRec@ICDM 2021   Second International Workshop on Neural Recommender Systems @ ICDM-21
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
FM 2021   Formal Methods 2021
MLNLP 2021   2nd International Conference on Machine Learning Techniques and NLP
ICAART 2022   14th International Conference on Agents and Artificial Intelligence
MDPI Mathematics InSysModGraph 2021   Special Issue Information Systems Modeling Based on Graph Theory
IJAD 2021   International Journal of Advanced Dermatology
IPMU 2022   19th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
SI-DIEFIoT-JPDC 2021   Special Issue on Distributed Intelligence at the Edge for the Future Internet of Things - Journal of Parallel and Distributed Computing
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering