| ISFST2004 Programme | |||
| Track1 | Track2 | Track3 | |
| Day1 | |||
| a1+ a2 | WS1 (Kishida:Open Source) | WS2 (Process) | WS3 (Prof.Ju: Bridging Gaps: Formal Method,) |
| Chairs: | Japan:Kishida | Korea:Prof. Han | Japan:Kumagai |
| Contacts: | KIPA by Prof.Kang, China: by Prof.Jin Zhi | Japan:Matsumura, China: SPIN + Prof.B.Shen | Japan:Matsubara, Korea Prof.S.Y.Park, China:Prof.Ju |
| Lunch | |||
| p1 | Keynote (Prof. Kyo. C. Kang) | ||
| p2 | Cryptography (Prof.Nakano) | Methodology, Framework, Development | Tool demonstrations |
| Evening | Welcome Reception with Posters and Demonstrations | ||
| Day2 | |||
| a1 | Web services and GRID | Requirements Engineering | Formal Modeling and Analysis |
| a2 | UML, XML and Web | Programming | Mobile Computing |
| Lunch | |||
| p1 | Security and Internet | Testing | New Application, Agent, AI |
| p2 | Communication and Protocols | Software Processes and Workflow | Database and Data mining |
| Evening | Banquet | ||
| Day3 | |||
| a1 | Workshop reports | ||
| a2 | Closing Panel on Future : What is ISFST; Yesterday, today and tomorrow | ||
| Chair: Chris George, Panelists: Prof. Kurakawa, Prof.Lee, Prof. Shen | |||
| Lunch | |||
| Afternoon | Free time | ||
| Day4 | Post Symposium Excursion | ||
| legend: | a1,a2: morning sessions | ||
| p1,p2: afternoon sessions | |||
| Updated: | Mon Aug 23 15:00:00 JST 2004 | ||