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

Call for Papers

PDF Version

Campus Innovation Center, Tokyo
Tuesday 10 June to Friday 13 June, 2008
http://www-higashi.ist.osaka-u.ac.jp/FORTE08/

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.
The conference will consist of tutorial sessions on the first day (June 10) followed by technical sessions for presentations of reviewed papers and two invited talk sessions (June 11-13). The two invited talk sessions will be held together with TestCom/FATES'08. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Sciences series.

Topics

The aim of FORTE 2008 is to provide a forum for researchers and users to review, discuss, and learn about new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Formal description techniques include (but are not limited to) SDL, formal UML notations, Domain Specific Languages (DSLs), LOTOS, MSC, Promela, etc. Contributions on formal paradigms based on finite state machines, process algebras, Petri nets, logics, timed automata, etc. are also encouraged. The application domains include networking, telecommunication services, internet, embedded systems, real time systems, transport systems, networked games, web based systems and services, etc. Topics of interest include, but are not restricted to:

  • Use of formal methods : 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.
  • Theoretical aspects of formal methods : 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.
  • Practical experience with formal methods : reports and case studies of the use of formal methods and description techniques in the development and the validation of distributed systems.
Submissions
  • Authors are invited to submit either regular (16 pages) or short papers (5 pages) that should be formatted according to Springer-Verlag LNCS guidelines; see http://www.springer.de/comp/lncs/authors.html.
    All papers must be in English, clear, complete and must be original contributions. Short papers are either devoted to describing work in progress or to the presentation and evaluation of tools. Practical experience papers can be either long or short. All submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the Lecture Notes in Computer Science series.
  • We also invite authors to submit tutorial proposals (3 pages) within the scope of the conference.

Important Note:
Since 2007, FORTE and TestCom/FATES have been co-located. All papers related to testing should be submitted to TestCom/FATES'08.

Important dates
January 4 January 21, 23:59 PST, 2008 Abstract submission (firm!)
January 11 January 21, 23:59 PST, 2008 Paper submission (firm!)
February 29 March 4, 2008 Notification of acceptance
March 14 March 18, 2008 Camera-ready version
March 21, 2008 Submission of tutorial proposals
April 11, 2008 Notification of acceptance (Tutorial)
June 10-13 Conference
FORTE/TESTCOM/FATES General Co-Chairs

Kenji Suzuki, U of Electro-Communications, Japan
Teruo Higashino, Osaka U, Japan

FORTE Steering Committee

Gregor v. Bochmann, U of Ottawa, Canada
John Derrick, U Sheffield, UK
Ken Turner, U of Stirling, UK

FORTE Program Co-Chairs

Keiichi Yasumoto, NAIST, Japan
Khaled El-Fakih, American U of Sharjah, UAE and Verimag, France

Program Committee

J. Adamek (Charles U in Prague, Czech Republic)
J. Billington (U of South Australia, Australia)
G. V. Bochmann (U of Ottawa, Canada)
K. Bogdanov (U Sheffield, UK)
M. Bravetti (U of Bologna, Italy)
A. Cavalli (INT Evry, France)
J. M. Colom (U of Zaragoza, Spain)
J. Derrick (U Sheffield, UK)
D. de Frutos-Escrig (Complutense U of Madrid, Spain)
R. Gotzhein (U of Kaiserslautern, Germany)
S. Graf (Verimag, France)
S. Haddad (Lamsade-Paris Dauphine, France)
T. Higashino (Osaka U, Japan)
D. Hogrefe (U of Gottingen, Germany)
G. J. Holzmann (NASA/JPL, USA)
C. Jard (ENS Cachan - Bretagne, France)
F. Khendek (Concordia U, Canada)
M. Kim (ICU, South Korea)
H. Koenig (Brandenburg U of Technology, Germany)
D. Lee (Ohio State U, USA)
L. Logrippo (U of Quebec - Outaouais, Canada)
J. C. Maldonado (U of San Carlos, Brazil)
E. Najm (ENST, France)
M. Nishigaki (Shizuoka U, Japan)
M. Nunez (Complutense U of Madrid, Spain)
K. Ohmaki (AIST, Japan)
O. Owe (U of Oslo, Norway)
D. A. Peled (U of Warwick, UK)
A. Petrenko (CRIM Montreal, Canada)
J.-F. Pradat-Peyre (Cedric-Cnam, France)
W. Reisig (Humboldt-U, Germany)
I. Satoh (NII, Japan)
H. Seki (NAIST, Japan)
J. B. Stefani (Inria, France)
K. Suzuki (UEC, Japan)
S. Tripakis (Cadence, USA)
K. Turner (U of Stirling, UK)
H. Ural (U of Ottawa, Canada)
J. Vain (Tallinn U of Technology, Estonia)
F. Wang (National Taiwan U, Taiwan)
J. Wu (Tsinghua U, China)
N. Yevtushenko (Tomsk State U, Russia)
X. Yin (Tsinghua U, China)

Local organization

Tomohiko Ogishi, KDDI R&D Labs. (Chair)
Takaaki Umedu, Osaka U, Japan

Venue

FORTE'08 will take place at the Campus Innovation Center in Tokyo, the capital of Japan; see http://www-higashi.ist.osaka-u.ac.jp/FORTE08/access.html. FORTE'08 is co-located with TestCom/FATES'08, 20th IFIP Int. Conference on Testing of Communicating Systems (TestCom) and the 8th Int. Workshop on Formal Approaches to Testing of Software (FATES); see http://www-higashi.ist.osaka-u.ac.jp/TESTCOM-FATES08/. The participants registered to one of these conferences may freely attend the technical sessions of the other.

Contact Information

For further information see the FORTE'08 Web site at http://www-higashi.ist.osaka-u.ac.jp/FORTE08/ or contact the program co-chairs by sending an e-mail to forte2008-chairs[at]is.naist.jp