[TYPES] FORTE 2005: FIRM deadline extension: Monday 25 April 2005

[Farn Wang]

We apologize if you have received multiple copies of the announcement. =20

=20

We have had numerous requests for deadline extensions. =20

Since we have personally granted several such requests,=20

we think it is better to make it public.=20

=20

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Call for Papers

=20

FORTE 2005

----------

25th IFIP WG 6.1 International Conference on Formal Techniques=20

for Networked and Distributed Systems

=20

National Taiwan University

Sunday 2 October - Wednesday 5 October 2005.

=20

http://cc.ee.ntu.edu.tw/~forte05

=20

*** NEWS: The journal of Formal Aspects of Computing, Springer-Verlag,=20

          will offer a two month free online trial to FORTE'05 =
participants.


         =20

Encouraged by the success of several international symposia on=20

formal verifications and the promise of related research and industry=20

in East Asia and Pacific Rim, we are very happy to announce the 25th=20

IFIP FORTE (Formal Techniques for Networked and Distributed Systems)=20

to be held on Sunday-Wednesday Oct. 2-5, 2005 on the beautiful campus=20

of National Taiwan University, Taipei, Taiwan.  FORTE 2005 is sponsored=20

by Working Group 6.1, Technical Committee 6 (TC6), International=20

Federation for Information Processing (IFIP).  The conference series=20

started in 1981 under the name PSTV (Protocol Specification, Testing,=20

and Verification).  In 1988, a second series under the name FORTE was=20

started.  Both series merged to FORTE/PSTV in 1996.  The conference=20

name was changed to FORTE in 2001.  During its 24-year history, many=20

important contributions have been reported in the conference. =20

=A1@=A1 at FORTE 2005 will also form a federation with the 3rd ATVA =
(Automated=20

Technology for Verification and Analysis) to be held on Tuesday-Friday=20

Oct. 4-7, 2005 also in National Taiwan University.  We believe you will=20

find enthusiastic exchange of research ideas in the combination of the=20

tradition-rich FORTE and the promising ATVA. =20

=20

SCOPE OF INTEREST:=20

-----------------

The scope of interest of FORTE 2005 covers, but is not=20

limited to, formal description techniques (SDL, TTCN, MSC, UML, =A1K),=20

semantic foundations, model-checking, theorem-proving, reduction=20

techniques, test generation, simulation, synthesis, performance=20

modeling and analysis, robustness testing, inter-operability testing,=20

embedded systems, communication protocols, tool supports, and case=20

studies on industrial projects.=20

=20

JOINT KEYNOTE SPEAKER OF ATVA/FORTE 2005:

----------------------------------------

Prof. Amir Pnueli (Weizmann Institute of Science, Israel)=20

=20

KEYNOTE SPEAKERS OF FORTE 2005:=20

------------------------------

Dr. Constance Heitmeyer (Naval Research Laboratory, USA) =20

Prof. Teruo Higashino (Osaka University, Japan) =20

=20

PAPER SUBMISSION:=20

----------------

Each submission is limited to 15 pages with no more=20

than 7500 words. Submissions must be written in English.  The formal=20

proceedings will appear in IFIP LNCS, Springer-Verlag and be available=20

at FORTE 2005.  An accepted paper without a registered author to FORTE=20

2005 by the deadline of camera-ready copy will not be included in the=20

formal proceedings.  Web-based submission will be soon available at=20

http://cc.ee.ntu.edu.tw/~forte05. =20

=20

BEST PAPER AWARD AND STUDENT TRAVEL GRANTS:=20

------------------------------------------

IFIP TC6 will sponsor the best paper award and student travel grants for =


FORTE 2005. =20

=20

IMPORTANT DATES:=20

---------------

25 April 2005, FIRM submission deadline

10 June 2005, acceptance notification

20 July 2005, camera-ready copy

2 October-5 October 2005, FORTE 2005

=20

ORGAINIZATIONS:=20

--------------

STEERING COMMITTEE:

G.v. Bochmann (Canada)

T. Bolognesi (Italy)=20

J. Derrick (UK)

G. Leduc (Belgium)=20

K. Turner (UK)=20

=20

GENERAL CHAIR:=20

Jin-Fu Chang (Taiwan)

=20

PROGRAM CHAIR:

Farn Wang (Taiwan)

=20

PROGRAM COMMITTEE:

G.. v. Bochmann (Canada)

T. Bolognesi (Italy)=20

M. Bravetti (Italy)

A. Cavalli (France)

J.-S. Dong (Singapore)

K. El-Fakih (UAE)

C. Fidge (Australia)=20

D. de Frutos-Escrig (Spain)

R. Gotzhein (Germany)

C. Heitmeyer (USA)

H. Hermanns (Germany)

T. Higashino (Japan)

D. Hogrefe (Germany)

G. Holzmann (USA)

C.-T. Hsieh (Taiwan)

C. Jard (France)=20

M. Kim (Korea)=20

H. Koenig (Germany)

D. Lee (USA)

C.-L. Lei (Taiwan)

W.-J. Liao (Taiwan)

C.-J. Liau (Taiwan)

H. Lin (China)=20

N. Lynch (USA)

E. Najm (France)

M. Nunez (Spain)=20

A. Petrenko (Canada)=20

K. Suzuki (Japan)

C.-Y. Tang (Taiwan)=20

K. Turner (UK)=20

H. Ural (Canada)=20

F. Wang (Taiwan)=20

H.-C. Yen (Taiwan)=20

T. Yoneda (Japan)

=20

=20