Day activities cancelled. The reception in the evening is still taking place in Garden Cafeteria  at 6:30 pm

(Garden Cafeteria is at Howard International House, 30, Hsin Sheng South Road Sec. 3, Taipei, TEL： 8369-1155)
The Typhoon LONGWANG may hit Taiwan tomorrow, and a land warning may be issued by the Central Weather Bureau. For your own safety please don't go out. We will announce on the web on October 2nd 2005 before 8 00am, for any changement of our first day activity.

IFIP FORTE 2005 Student Travel Grant Winners Announced!

Date of submitting camera ready copy was advanced to July 15

Registration form is ready

Accepted papers are available

  1. Submission Deadline Extended to April 25, 2005.

  1. Call For Papers

  1. Keynote Speakers of FORTE 2005

  • Dr. Constance Heitmeyer (Naval Research Laboratory, USA) 

  • Prof. Teruo Higashino (Osaka University, Japan)

  1. Joint Keynote Speaker of ATVA/FORTE 2005

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

    1996 Turing Award Winner

Encouraged by the success of several international symposia on formal verifications and the promise of related research and industry in East Asia and Pacific Rim, we are very happy to announce the 25th IFIP FORTE (Formal Techniques for Networked and Distributed Systems) to be held on Sunday-Wednesday Oct. 2-5, 2005 on the beautiful campus of National Taiwan University, Taipei, Taiwan.  FORTE 2005 is sponsored by Working Group 6.1, Technical Committee 6 (TC6), International Federation for Information Processing (IFIP).  The conference series started in 1981 under the name PSTV (Protocol Specification, Testing, and Verification).  In 1988, a second series under the name FORTE was started.  Both series merged to FORTE/PSTV in 1996.  The conference name was changed to FORTE in 2001.  During its 24-year history, many important contributions have been reported in the conference.  

FORTE 2005 will also form a federation with the 3rd ATVA (Automated Technology for Verification and Analysis) to be held on Tuesday-Friday Oct. 4-7, 2005 also in National Taiwan University.  We believe you will find enthusiastic exchange of research ideas in the combination of the tradition-rich FORTE and the promising ATVA.

SCOPE OF INTEREST:

The scope of interest of FORTE 2005 covers, but is not limited to, formal description techniques (SDL, TTCN, MSC, UML, …), semantic foundations, model-checking, theorem-proving, reduction techniques, test generation, simulation, synthesis, performance modeling and analysis, robustness testing, inter-operability testing, embedded systems, communication protocols, tool supports, and case studies on industrial projects.

JOINT KEYNOTE SPEAKER OF ATVA/FORTE 2005:

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

  • Recipient of the ACM Turing award for 1996

KEYNOTE SPEAKERS OF FORTE 2005:

Dr. Constance Heitmeyer (Naval Research Laboratory, USA) 

Prof. Teruo Higashino (Osaka University, Japan) 

PAPER SUBMISSION:

Each submission is limited to 15 pages with no more than 7500 words. Submissions must be written in English.  The formal proceedings will appear in IFIP LNCS, Springer-Verlag and be available at FORTE 2005.  An accepted paper without a registered author to FORTE 2005 by the deadline of camera-ready copy will not be included in the formal proceedings.  Web-based submission will be soon available at http://cc.ee.ntu.edu.tw/~forte05.

BEST PAPER AWARD AND STUDENT TRAVEL GRANTS:

IFIP TC6 sponsors the best paper award and student travel grants for FORTE 2005. 

IMPORTANT DATES:

25 April 2005, submission deadline

20 June 2005, acceptance notification

15 July 2005, camera-ready copy

2 October-5 October 2005, FORTE 2005