28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems(FORTE 2008)

Conference Photos have been uploaded!

Introduction

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.
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.

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.

Lecture Notes in Computer ScienceThe conference will consist of tutorial sessions on the first day (June 10) followed by technical sessions for presentations of reviewed papers and three invited talk sessions (June 11-13). The three invited talk sessions will be held together with TestCom/FATES'08.
The proceedings will be published by Springer in theLecture Notes in Computer Science series.

FORTE 08 is co-located with TESTCOM/FATES 08 .


FORTE2008 is sponsored by the following foundations:
FORTE2008 is in cooperation with the following institution: