<P>The FORTE conference series is an international event dedicated to discussing all kinds of formal techniques applicable to efficient design, implementation and verification of networked and distributed systems.<BR>The 28th FORTE conference will be held on June 10–13, 2008 at Campus Innovation Center in Tokyo, Japan. FORTE′08 is co–located with TestCom/FATES′08.<BR>The special focus of FORTE′08 is on formal approaches to new areas of networked and distributed systems such as ubiquitous, grid, and mobile computing systems. Research work on applying formal techniques to service oriented architectures as well as security issues in networked systems is also encouraged for submission.</P> <P> <B>Keywords:</B></P> <LI><STRONG><EM>Use of formal methods </EM></STRONG>: formally based design of communication protocols, formal verification, composition of protocols, definition and verification of design patterns, integration of protocol functions into middleware, distributed systems, automatically derived implementations, transformation based development, composition, interaction and orchestration of services. Extensions of formal methods from traditional notion of distributed systems to the case of massively parallel architectures, sensor networks and bio–inspired systems. <LI><STRONG><EM>Theoretical aspects of formal methods </EM></STRONG>: new approaches and theories, extensions of description techniques, semantic foundations, real–time and probability aspects, semantics of domain specific languages, semantical foundations for UML notations. Applicability of formal techniques to distributed systems/SoC should be demonstrated in theoretical papers. <LI><STRONG><EM>Practical experience with formal methods </EM></STRONG>: reports and case studies of the use of formal methods and description techniques in the development and the validation of distributed systems. </LI>
Abbrevation
FORTE
City
Tokyo
Country
Japan
Deadline Paper
Start Date
End Date
Abstract