International Conference on Formal Techniques for Networked and Distributed Systems

The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec[1] (Distributed Computing Techniques) which also includes the International Conference on Coordination Models and Languages (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS).

Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of the two conference series FMOODS and FORTE.

Scope

The joined conference FMOODS/FORTE is a forum for fundamental research on theory, models, tools and applications of distributed systems.[2] The conference solicits original contributions that advance the science and technologies for distributed systems, in particular in the areas of:

  • component- and model-based design
  • object technology, modularity, software adaptation
  • service-oriented, ubiquitous, pervasive, grid, cloud and mobile computing systems
  • software quality, reliability, availability and security
  • security, privacy and trust in distributed systems
  • adaptive distributed systems, self-stabilization
  • self-healing/organizing
  • verification, validation, formal analysis and testing of the above

Contributions that combine theory and practice and that exploit formal methods and theoretical foundations to present novel solutions to problems arising from the development of distributed systems are encouraged. This conference covers distributed computing models and formal specification, testing and verification methods. The application domains include all kinds of application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, as well as networking and communication security and reliability.

Previous Conferences

Web pages

Proceedings

Notes

gollark: Er. Hmm. Rincewind?
gollark: Imagine: someone tells you "yes I really like [CHARACTER] or [EVENT]". If you have no idea what book they're from or any idea about it, you may have to embarrass yourself and say you don't know! But with a way to search all books ever (okay, you can't do that with just public domain ones however bees) you can have vague surface level knowledge of something on demand!
gollark: I'm aware of that, but they don't have a convenient search thing.
gollark: Idea: download all public domain books and index them for search such that people can conveniently look up things on demand and appear to have read and know about them, for pretension purposes
gollark: I mean, Poland is... more "developed" than a lot of other countries? Which isn't a high bar.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.