FM 2006

August 21 - 27, 2006
McMaster University
Hamilton ON, Canada

Submission Dates

Technical Papers, Workshops and Tutorials

Friday February 24, 2006

Posters and Tools, Doctoral Symposium

Friday May 26, 2006


Notification Dates

Technical Papers

Friday April 28, 2006

Workshops and Tutorials

Friday March 10, 2006

Doctoral Symposium

Wednesday June 14, 2006

Posters and Research Tools

Monday June 12, 2006

Contact Information

General Inquiries

General Chair

Emil Sekerinski

Program Chairs

Jayadev Misra,
Tobias Nipkow

Workshops Chair

Tom Maibaum

Tutorials Chair

Jin Song Dong

Tools & Poster Chair

Marsha Chechik

Industry Day Chairs

Volkmar Lotz,
Asuman Suenbuel

Doctoral Symposium Chairs

Ana Cavalcanti

Augusto Sampaio

Jim Woodcock

Sponsorship Chair

Jürgen Dingel

Posters & Research Tools

August 23 - 25, 13:00 - 14:00

Call for Posters & Research Tool Demonstrations

Poster Presentations

Anya Tafliovich
Quantum Predicative Programming

Farida Mostefaoui and Julie Vachon
Formalization of an Aspect-Oriented Modeling Approach

Jeff Dallien, Wendy MacCaull, Allen Tien
Dynamic Workflow Verification for Health Care

Tool Presentations

Mihaela Gheorghiu, Arie Gurfinkel
A Query Solver for States

Mihaela Gheorghiu, Arie Gurfinkel
VaqUoT: A Tool for Vacuity Detection

Cyrille Artho
Testing I/O Failures with Enforcer

Dai Tri Man Le, Emil Sekerinski, Scott West
Statechart Verification with iState

Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel
VaqTree: Efficient Vacuity Detection for Bounded Model Checking

Mattias Anlauff, Dusko Pavlovic, Stephen Westfold
The Protocol Derivation Assistant

Mehrdad Sabetzadeh and Shiva Nejati
TreMer: A Tool for Relationship-Driven Model Merging

Jonathan Ostroff, Chen-Wei (Jackie Wang, Faraz Ahmadi Torshizi, Eric Kerfoot)
ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code

Jin Song Dong, Xian Zhang, Jun Sun, Ping Hao
Reasoning about Timed CSP Models