Technical Program

In keeping with the spirit and format of a workshop, SCAM will have a highly discursive nature, with theme-based discussion tracks and a keynote presentation, aimed at structuring and stimulating discussion.

Authors will have a 15 minute slot to present their work. This is 10 minutes (maximum) for talking with 5 minutes (minimum) for questions. Authors are encouraged not to attempt to present the details of their paper in this time. Rather, respecting the discussion-centered goal of SCAM, authors are encouraged to use a few slides to present points, claims, issues and topics for discussion and to use their time allocation to attempt to set the agenda for the ensuing discussions.

Each session has a specifically allocated discussion time at the end of the presentations to allow for this.

27th September

2.00pm - 2.15pm Welcome
2.15pm - 3.30pm Keynote speech

      John Hatcliff - An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software

3.30pm - 4.00pm Coffee break
4.00pm - 5.30pm Session 1: Slicing


28th September

9.00am - 10.30am Session 2: Static Analysis I

10.30am - 11.00am Coffee break
11.00am - 12.30pm Session 3: Transformations

12.30am - 2.00pm Lunch

2.00pm - 3.30pm Session 4: Tools

3.30pm - 4.00pm Coffee break
4.00pm - 5.00pm Session 5: Static Analysis II

5.00pm - 6.00pm Tool Demonstrations

7.00pm - 22.00pm Reception

29th September

9.00am - 10.30am Session 6: Formal Methods

10.30am - 11.00am Coffee break
11.00am - 12.30pm Session 7: Refactoring

12.30pm - 1.30pm Open Steering Committee Meeting
Wrap-Up