International Conference on Formal Techniques for Networked and Distributed Systems
Encyclopedia
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).
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:
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.
Scope
The joined conference FMOODS/FORTE is a forum for fundamental researchResearch
Research can be defined as the scientific search for knowledge, or as any systematic investigation, to establish novel facts, solve new or existing problems, prove new ideas, or develop new theories, usually using a scientific method...
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
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
and theoretical foundations.
FMOODS/FORTE covers distributed computing models and formal specification
Formal specification
In computer science, a formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not how the system should do it...
, 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.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)