Charter for the SPIN Workshop Series
Oct. 8, 2008
The first charter for the Spin Workshop series was drafted in July 2001 and remained in
effect unto October 2008
In 2008 the charter was simplified a little to bring it into better alliance with the
organization of the workshop series as it had evolved over the years.
It is as follows.
The Spin Workshop Series focuses specifically on research in
the verification of software systems through the use of
algorithms and tools.
This scope includes theoretical advances, tool implementations, as well as
significant applications and case studies.
The Program Committee (see below) can interpret the above Scope statement broadly,
and is expected to follow new developments in the field when drafting the call
for papers for each new workshop and when selecting papers.
Submitted papers to each workshop are reviewed by a Program Committee (PC) that
consists of recognized experts in the domain of the Workshop.
It is the duty of the PC to maintain quality through a rigorous selection process
for selected papers.
(As a general guideline, it is expected that the acceptance rate for the workshop
will be no higher than 40% of all submitted papers.)
Every effort will be made to publish the Proceedings of each Workshop in archival format
in cooperation with a mainstream Publisher.
At the discretion of the Program Committee, extended versions of
selected workshop papers may also be collected for separate journal publication.
3. Steering Committee
A Steering Committee (SC) is created to provide
long-term guidance and continuity for the Spin Workshop Series.
The specific responsibilities of the Steering Committee are as follows:
- The SC consists of minimally four and maximally six long-term members.
- The SC is chaired on a rotating basis by one of its members.
- The position of chair cannot be held for more than three consecutive years by any one member.
- There will be at least one SC meeting per calendar year.
- The proceedings of all SC meetings are open to anyone interested.
- Any decisions made by the SC must be supported by a simple majority of all SC members.
Members of the SC may serve on the PC of Workshops,
at the discretion of the Program Chair(s) for each Workshop. It is expected,
though not required, that each year no more than 2 or 3 of the SC members
serve in this capacity.
- The selection of a suitable venue for the workshop in each year, securing continuity
(the preference is to alternate workshop venues between Europe and North America, but deviations
from this preference, and other locations are not ruled out by this charter),
- The selection of a Program and/or a General Chair for each Spin Workshop,
- Advising Program and/or General Chairs on programmatic and organizational matters,
including the selection of a strong Program Committee,
- Organizing a general business meeting at each Spin Workshop to discuss the well-being
of the Series, and to elicit opinions on how it could be improved,
- Selecting new members to the Steering Committee, and
- Maintenance of the Workshop Charter.
The current Steering Committee consists of the following members, in alphabetical order:
Steering committee alumni include
Amir Pnueli (1941-2009)
was one of the founding members of the Spin Steering and Advisory Committee.
- Amir Pnueli (until 2009)
- Moshe Vardi (until 2009)
- Pierre Wolper (until 2010)
Sadly, he passed away in November 2009.