Semat foundational workshop:
ETH Zurich, 17-18 March 2010

(Plus working group meetings on March 19.)

A report of the workshop is available here.

This event is by invitation only. If you would like to be invited (be prepared to write a position paper), please contact the "troika" (Ivar Jacobson, Bertrand Meyer, Richard Soley) at ivar.bertrand.richard [at] semat.org.

Location

The workshop will be held in the central campus of ETH, in the CLA building. Details and access information are available on this other page.

Registration and fees

The participation fee for the workshop (covering lunches on March 17 and 18, the workshop dinner and coffee breaks) is 170 Swiss francs. The registration page is available. It is possible to pay by secure credit card on that page, and also on location (cash or credit card) at the time of the workshop.

The closing cocktail (18 March, 18:00) is offered by the ETH Zurich Chair of Software Engineering.

Draft program

All sessions on March 17 and 18 are plenary except the last session on March 18 (16:30-18). Sessions on March 18 are parallel.

17 March, morning

9:-9:15 Welcome and practical organization (Bertrand Meyer)

9:15-9:45 Presentation of Semat goals (Ivar Jacobson, Bertrand Meyer, Richard Soley)

9:45-12:45: Introductory statements by all participants

(Break: 10:30-11)

17 March, afternoon

Summary and analysis of position statements by track leaders:

• 14:15-15:45: Definition track
  Track leader and session chair: Brian Henderson-Sellers

• 15:45-16:15: Break
• 16:15- 17:45: Theory track
  Track leader: Dines Bjorner
  Session chair: Michael Goedicke

18 March, morning

Summary and analysis of position statements by track leaders (continued):

• 8:30-9:45: Universals track
  Track leader and session chair: Ian Spence

• 9:45-10:15: Break
• 10:15- 11:30: Language track
  Track leader: Jean Bezivin
• 11:30-12:45: Assessment track
  Track leader: Watts Humphrey
  Session chair: Paul McMahon

18 March, afternoon

14:15-15: Goals and proposals for further action, Bertrand Meyer
15:15-16: Goals and proposals for further action, Ivar Jacobson
16-16:30: Break
16:30-18: Parallel track sessions (to set up work within each track and possibly decide on continuation on March 19).

19 March

Track sessions, on demand. Each track (working group) may decide to hold a meeting on this day. Rooms and amenities will be provided.