• Organization
  • Committee Members
  • Past ICFEM
• For Applicants
  • Call for Papers
  • Important dates
• For Visitors
  • Venue
  • Accommodation
  • Guides
• For Participants
  • Keynote Speakers
  • Registration
  • Programme
  • Photographs on site
• Conjunction
  • Workshops and Tutorials

Programme at a Glance

Schedule Table

Mon. 27 Oct.	09:00 - 12:00					14:30 - 18:15
	UML&FM'08 (Workshop at Room 21)
						13:00 - 17:00
						Annabelle McIver (Tutorial at Room 22)
Tue. Oct. 28	09:00 - 12:30					14:00 - 18:00						18:30 - 20:00
	FMET 2008 (Workshop at Room 21)											Reception Party (at Restaurant)
	09:00 - 12:30					13:30 - 17:00
	Fumihiro Kumeno (Tutorial in Japanese at Room 22)					Taro Kurita and Yasumasa Nakatsugawa (Tutorial in Japanese at Room 22)
Wed. 29 Oct.	09:00 - 9:30	09:30 - 10:30		11:00 - 12:00		13:30 - 15:00			15:30 - 17:00			18:30 - 21:00
	Opening	Takuya Katayama (Keynote Speech)		Specification and Verification (Session1)		Testing (Session2)			Verification 1 (Session3)			Banquet (at Event hall)
Thu. 30 Oct.	09:00 - 10:00		10:30 - 12:00			13:30 - 15:00			15:30 - 16:30		16:30 - 17:30
	Jeff Offutt (Keynote Speech)		Model Checking and Analysis (Session4)			Verification 2 (Session5)			Tools (Session6)		Application of Formal Methods (Session7)
Fri. 31 Oct.	09:00 - 10:00		10:30 - 11:30		11:30 - 12:30		12:30 - 12:35
	John Hatcliff (Keynote Speech)		Semantics (Session8)		Panel session		Closing

All sessions in ICFEM2008 are basically held at the international conference room.

There will be intermediate coffee breaks or a lunch time between sessions.

Floor Guide

Rooms for tutorials, workshops, and all sessions of the main conference are located on level 2 of Kitakyushu International Conference Center. Reception desk will be placed also in Subfoyer (corridor) on level 2.

Banquet will be held at the event hall on level 1. You can enter the building from main or sub entrance.

Programme by Day

• Monday 27 October
  • 09:00 - 18:15 : Workshop at Conference room 21
    • First IEEE International workshop UML and Formal Methods (UML&FM'08)
  • 13:00 - 17:00 : Tutorial at Conference room 22
    • "Secure stepwise refinement: Beating the Refinement Paradox"
    • Annabelle McIver
• Tuesday 28 October
  • 09:00 - 18:00 Workshop at Conference room 21
    • First International Workshop on Formal Methods Education and Training (FMET) 2008
  • 09:00 - 12:30 : Tutorial at Conference room 22
    • "Industrial Applications of Formal Methods: The current status and challenges of practical applications" (in Japanese)
    • Fumihiro Kumeno
  • 13:30 - 17:00 : Tutorial at Conference room 22
    • "Application of a Formal Specification Language in the Development of the Industrial System" (in Japanese)
    • Taro Kurita and Yasumasa Nakatsugawa
  • 18:30 - 20:00 : Reception Party at Restaurant "La Plage"
• Wednesday 29 October
  • 09:00 - 09:30 : Opening Session at International conference room
    
  • 09:30 - 10:30 : Keynote Speech at International conference room
    Session Chair: Keijiro Araki
    
    • "How Can We Make Industry Adopt Formal Methods?"
    • Professor Takuya Katayama
  • 10:30 - 11:00 : Coffee Break
  • 11:00 - 12:00 : Session1 at International conference room
    Specification and Verification
    Session Chair: Mike Hinchey
    • • "Specifying and Verifying Event-based Fairness Enhanced Systems"
      • Jun Sun, Yang Liu, Jin Song Dong, and Hai H. Wang
    • • "Modelling and Proof of a Tree-structured File System in Event-B and Rodin"
      • Kriangsak Damchoom, Michael Butler, and Jean-Raymond Abrial
  • 12:00 - 13:30 : Lunch
  • 13:30 - 15:00 : Session2 at International conference room
    Testing
    Session Chair: Jessica Chen
    • • "Conformance Testing based on UML State Machines: Automated Test Case Generation, Execution and Evaluation"
      • Dirk Seifert
    • • "An Approach to Testing with Embedded Context using Model Checker"
      • Lihua Duan and Jessica Chen
    • • "Requirements Coverage as an Adequacy Measure for Conformance Testing"
      • Ajitha Rajan, Michael Whalen, Matthew Staats, and Mats Heimdahl
  • 15:00 - 15:30 : Coffee Break
  • 15:30 - 17:00 : Session3 at International conference room
    Verification 1
    Session Chair: Hong Zhu
    • • "Decomposition for compositional verification"
      • Björn Metzler, Heike Wehrheim, and Daniel Wonisch
    • • "A Formal Soundness Proof of Region-based Memory Management for Object-Oriented Paradigm"
      • Florin Craciun, Shengchao Qin, and Wei-Ngan Chin
    • • "Program Models for Compositional Verification"
      • Marieke Huisman, Irem Aktug, and Dilian Gurov
  • 18:30 - 21:00 : Banquet at Event hall
• Thursday 30 October
  • 09:00 - 10:00 : Keynote Speech at International conference room
    Session Chair: Shaoying Liu
    • "Programmers Ain't Mathematicians, and Neither are Testers"
    • Professor Jeff Offutt
  • 10:00 - 10:30 : Coffee Break
  • 10:30 - 12:00 : Session4 at International conference room
    Model Checking and Analysis
    Session Chair: Shin Nakajima
    • • "A Unified Model Checking Approach with Projection Temporal Logic"
      • Zhenhua Duan and Cong Tian
    • • "Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes"
      • Kazuhiro Ogata and Kokichi Futatsugi
    • • "Towards Abstraction for DynAlloy Specifications"
      • Nazareno Aguirre, Marcelo Frias, Pablo Ponzio, Brian Cardiff, Juan P. Galeotti, and German Regis
  • 12:00 - 13:30 : Lunch
  • 13:30 - 15:00 : Session5 at International conference room
    Verification 2
    Session chair: Jeremy Gibbons
    • • "Partial Translation Verification for Untrusted Code-Generators"
      • Matthew Staats and Mats Heimdahl
    • • "A Practical Approach to Partiality: A Proof Based Approach"
      • Farhad Mehta
    • • "A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking"
      • Nick Moffat, Michael Goldsmith, and Bill Roscoe
  • 15:00 - 15:30 : Coffee Break
  • 15:30 - 16:30 : Session6 at International conference room
    Tools
    Session Chair: Jing Sun
    • • "Probing the Depths of CSP-M: A new FDR-compliant Validation Tool"
      • Michael Leuschel and Marc Fontaine
    • • "Practical Automated Partial Verification of Multi-Paradigm Real-Time Models"
      • Carlo Alberto Furia, Matteo Pradella, and Matteo Rossi
  • 16:30 - 17:30 : Session7 at International conference room
    Application of Formal Methods
    Session Chair: Zhenhua Duan
    • • "Specifying and Verifying Sensor Networks: an Experiment of Formal Methods"
      • Jin song dong, Jing Sun, Jun Sun, Kenji Taguchi, and Xian Zhang
    • • "Correct Channel Passing by Construction"
      • Chao Cai, Zongyan Qiu, Xiangpeng Zhao, and Hongli yang
• Friday 31 October
  • 09:00 - 10:00 : Keynote Speech at International conference room
    Session Chair: Tom Maibaum
    • "Contract-based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows"
    • Professor John Hatcliff
  • 10:00 - 10:30 : Coffee Break
  • 10:30 - 11:30 : Session8 at International conference room
    Semantics
    Session Chair: Jin Song Dong
    • • "A Process Semantics for BPMN"
      • Peter Wong and Jeremy Gibbons
    • • "A Formal Descriptive Semantics of UML"
      • Lijun Shan and Hong Zhu
  • 11:30 - 12:30 : Panel Session at International conference room
    Session Chair: Shaoying Liu
    • • "Research Directions in Formal Engineering Methods"
      • Panelists: Tom Maibaum, Mike Hinchey, Keijiro Araki, Jeff Offutt, and John Hatcliff
  • 12:30 - 12:35 : Closing Session