International Conference on Formal Techniques for Networked and Distributed Systems
From Wikipedia, the free encyclopedia
| This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (November 2009) |
| This article may require cleanup to meet Wikipedia's quality standards. Please improve this article if you can. (November 2009) |
The IFIP International Conference on Formal Techniques for Distributed Systems is formed jointly from the two conference series FMOODS and FORTE. It is part of the federated conference event DisCoTec (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).
Contents |
Scope
The joined conference FMOODS/FORTE is a forum for fundamental research on theory and applications of distributed systems. 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 and mobile computing
- software quality, reliability and security
The conference encourages contributions that combine theory and practice, address problems from the development of distributed systems, and present novel solutions with formal methods and theoretical foundations.
FMOODS/FORTE 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.
External links
See the Conference Webpage for more information.
Previous Conferences
Web pages
- FMOODS / FORTE 2009
- FMOODS 2008 / FORTE 2008 is offline
- FMOODS 2007 / FORTE 2007
- FMOODS 2006 / FORTE 2006
- FMOODS 2005 / FORTE 2005
- FORTE 2004
- FMOODS 2003 is offline / FORTE 2003 is offline
- FMOODS 2002 / FORTE 2002
- FORTE 2001 is offline
- FMOODS 2000 / FORTE 2000 is offline
- FMOODS 1999 is offline / FORTE 1999
- FORTE 1998
- FMOODS 1997 is offline / FORTE 1997 is offline
- FMOODS 1996 / FORTE 1996 is offline
Proceedings
- FMOODS / FORTE 2009 (LNCS 5522)
- FMOODS 2008 (LNCS 5051) / FORTE 2008 (LNCS 5048)
- FMOODS 2007 (LNCS 4468) / FORTE 2007 (LNCS 4574)
- FMOODS 2006 (LNCS 4037) / FORTE 2006 (LNCS 4229)
- FMOODS 2005 (LNCS 3535) / FORTE 2005 (LNCS 3731)
- FORTE 2004 (LNCS 3235)
- FMOODS 2003 (LNCS 2884) / FORTE 2003 (LNCS 2767)
- FMOODS 2002 (IFIP ACIT) / FORTE 2002 (LNCS 2529)
- FMOODS 2000 (IFIP ACIT)
- FMOODS 1999 (IFIP ACIT)
- FORTE 1997 (IFIP AICT)
New : sens
A windows (pop-into) of information (full-content of Sensagent) triggered by double-clicking any word on your webpage. Give contextual explanation and translation from your sites !
Boggle