Charter for the SPIN Workshop Series
Note: a new charter is being considered:
In a business meeting held at the 8th Spin Workshop
held in May 2001 in Toronto. It was decided to formalize the organization
of the workshop series with the help of a Steering Committee and a Charter.
The charter is meant define the scope and governance of the Workshop Series.
This initial charter was drafted in July 2001 by Moshe Vardi, Stefan Leue, Matt Dwyer,
and Gerard Holzmann, and first posted with the call for papers for
the 9th Spin Workshop, held in April 2002 in Grenoble, France.
A revision of this charter is planned for the business meeting
that is to be held at the 15th Spin Workshop, in August 2008, in Los Angeles.
The Spin Workshop is focused in the Spin model checking tool, its underlying theory,
its implementation, and its applications. Program committees will
interpret this scope somewhat liberally, and accept papers that would
be of interest to the Spin community. At the same time, the Spin
Workshop should not evolve into a conference on software verification.
2. Steering Committee
The role of the Steering Committee is to provide institutional memory
and oversight for the Spin Workshop series.
of the Steering Committee include
- The selection of venues and Program and/or General Chairs for Spin Workshops/Symposia,
- Determining the general format of Spin meetings,
- Advising Program and/or General Chairs on programmatic and organizational matters,
- Calling and holding business meetings during Spin events as needed to elicit opinions on all
matters pertaining to its responsibilities from the community at-large,>
- Appointing new members to the Steering and Advisory Committees, and
- Maintenance and publication of the Charter of the Spin Workshop series.
2.2 Composition and Chair
The Steering Committee consists of four to five members, two long-term and two to three
short-term ex-officio members. The ex-officio members are the past, current,
and future program chairs. The two long-term members will be appointed
for nonoverlapping terms of four years. Initially, one of the long-term
members will only have a two year term to avoid overlap. The Steering Committee
will be chaired by its service-wise most senior member.
3. Advisory Committee
The role of the Advisory Committee is to provide guidance on long-term strategic
matters regarding the Spin Workshop series to the steering
committee as well as to the general and/or programme committee chairs.
The Advisory Committee has a strictly advisory voice. The Advisory Committee
will be picked from senior members of the community at-large, and new appointments
will be made by the Steering Committee. It is expected that some long-term
Steering Committee alumni will move to the Advisory Committee after the
end of their Steering Committee terms. Members of the Advisory Committee
have open terms. The Advisory Committee will be chaired by its service-wise
most senior member.
4. Initial Committee Membership
5. Current (2008) Steering Committee (by charter rules)