Bylaws of SIGLOG

ACM SIG Bylaws: SIGLOG — Bylaws of the Special Interest Group on Logic and Computation of the Association for Computing Machinery

February 22nd, 2014

The SIGLOG Bylaws can be downloaded as PDF.

Article 1. Name and Scope

  1. This organization will be called the Special Interest Group on Logic and Computation (“SIGLOG”) of the Association for Computing Machinery, Inc. (“ACM”); it will be referred to herein as “the Group.”
  2. The scope of the Group is to be the premier international community for the advancement of logic and computation, and formal methods in computer science, broadly defined.

Article 2. Purpose

The Group is organized and will be operated exclusively for educational, scientific and technical purposes in its specialty. Its activities will include:

  1. Collecting and disseminating information in the specialty, through a dedicated website, an electronic newsletter, and other publications approved by the Publications Board of the ACM;
  2. Organizing sessions at conferences of the ACM.
  3. Sponsoring conferences, symposia, and workshops.
  4. Organizing working groups for education, research and development.
  5. Establishing and administering awards recognizing technical achievements and service contributions in the specialty.
  6. Collaborating with related organizations in the specialty, such as the IEEE Technical Committee on Mathematical Foundations of Computer Science, the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Association of Logic Programming (ALP), the Association for Symbolic Logic (ASL), the Association for Automated Reasoning (AAR), and the Association of Logic, Language and Information (FoLLI), as authorized by the ACM.
  7. Serving as a source of technical information for the Council and subunits of the ACM.
  8. Serving as an external technical representative of the ACM when authorized by the Council or the Executive Committee of the ACM; and Working with subunits of the ACM on technical activities such as lectureships or professional development seminars.

Article 3. Charter

The Group will exist until dissolved as provided in Bylaw 6 of the ACM.

Article 4. Officers

  1. The Group’s Executive Committee consists of the Chair, the Vice-Chair, the Secretary, the Treasurer, three members-at-large and as ex officio members the Editor-in-Chief of ACM Transactions on Computational Logic and the Chair of the Organizing Committee of the ACM-IEEE Symposium On Logic In Computer Science. The officers and members-at-large are elected for three-year terms beginning July 1 of the election year.
  2. The Chair is the principal officer and is responsible for leading the Group and managing its activities. The duties of the Chair are:
    1. Calling and presiding at the Group’s Executive Committee (see below) and Business meetings.
    2. Conducting the Group’s activities in accordance with the policies of the ACM.
    3. Constituting ad hoc committees; and
    4. Making all appointments and filling vacancies as authorized herein.
  3. The duties of the Vice-Chair are:
    1. Assisting the Chair in leading and managing the Group; and
    2. Presiding at meetings when the Chair is absent.
  4. The duties of the Secretary are:
    1. Maintaining the records and correspondence of the Group;
    2. Keeping and distributing the minutes of Business and Executive Committee meetings of the Group;
  5. The duties of the Treasurer are:
    1. Managing the Group’s finances according to the Financial Accountability Policy of the ACM. This includes preparing the annual budget, monitoring the Group’s disbursements for adherence to the annual budget, and preparing financial reports as required.

Article 5. Standing Committees

  1. To enable the fulfillment of its purposes, the Group will establish and maintain a number of Standing Committees. Appointments to the Standing Committees is the responsibility of the Executive Committee of the Group.
  2. The Standing Committees of the Group are as follows:
    • Publicity Committee: The charge of this committee is to oversee the website and electronic newsletter of the Group, and engage in other efforts aiming to disseminate information in the specialty.
    • Conference Committee: The charge of this committee is to coordinate the sponsorship of conferences, workshops, and other related events in the specialty.
    • Awards Committee: The charge of this committee is to oversee the administration of awards established by the Group, and also propose and recommend new awards.
    • Education Committee: The charge of this committee is to promote educational activities related to the specialty, such as promoting the integration of logic and computation in the computer science curriculum and maintaining an online repository of educational material in the specialty.
    • Membership Committee: The charge of this committee is to work towards sustaining and increasing the membership in the Group across all geographical regions.

Article 6. The Executive Committee

  1. The Executive Committee comprises the officers, the members-at-large, the Past Chair, and the Chairs of the Standing Committees; in addition, the Editor-in-Chief of the ACM Transactions on Computational Logic (TOCL) and the general chair of the ACM-IEEE Symposium on Logic in Computer Science will be ex officio members.
  2. The general duties of the Executive Committee will be to advise the Chair on all matters of interest to the Group. Specific duties or responsibilities may be specified in these Bylaws or assigned by the Chair. All the major management policy decisions of the Group must be approved by the Executive Committee.
  3. All members of the Executive Committee must be voting members of ACM and of SIGLOG.

Article 7. The Advisory Council

  1. The Group has an Advisory Council that advises the Executive Committee and promotes coordination and interaction between the Group and related associations and conferences.
  2. The Advisory Council comprises:
    1. Representatives from selected related associations and conferences, as determined by the Executive Committee.
    2. Three other members-at-large appointed by the Chair of SIGLOG.

Article 8. Vacancies and Appointments

  1. Should the Chair leave office before his/her term expires, the Vice-Chair will assume the duties of Chair. Should any other office or the position on the Executive Committee reserved for the Past Chair of the Group become vacant, the Chair, with advice and consent of the Executive Committee, shall appoint a replacement for the remainder of that term of office. The Chair may fill vacancies in offices he has appointed according to the procedures for making the original appointments as provided therein.
  2. Should the offices of Chair and Vice-Chair become vacant at the same time during a term of office, the Chair of the SIG Governing Board shall appoint an interim Chair, who shall hold office until the next regular election fills the vacant offices.
  3. Should a vacancy be unfilled, either because of inadequacy of these bylaws or because of a dispute for any other reason, the SIG Governing Board may fill it (as provided in Bylaw 6 of the ACM).
  4. All appointments expire automatically when the Chair’s term of office expires. Appointees, however, will continue to serve until a successor is appointed by the new Chair.

Article 9. Reports and Records

The Group’s Chair is responsible for filing reports about the Group as required by the SIG Governing Board. These include

  1. An Annual Report due in February of each year on the activities of the Group during the preceding calendar year;
  2. all reports required by the Financial Accountability Policy of the ACM; and
  3. closing reports on conferences (co)sponsored by the group as required by ACM.

The membership records of the Group will be maintained by ACM Headquarters.

Article 10. Membership, Dues, and Voting Privileges

  • A person becomes a member only after enrolling and paying the required dues. The required dues are determined by SIGLOG’s Executive Committee with the approval of the Chair of the SIG Governing Board. The dues shall be consistent with ACM bylaws.
  • All members of SIGLOG may vote in any ballot conducted by SIGLOG. The counting of the votes and the definitions of effective votes shall be consistent with ACM Bylaw 6.

Article 11. The Newsletter

  1. The Group will publish an electronic newsletter at regular intervals as determined by the Executive Committee in consultation with the Publications Committee. The newsletter will be distributed to all the Group’s members.
  2. With the advice of the other officers and the Publicity Committee, the Chair of the Group will appoint the Editor of the newsletter, who will become a member of the Group’s Publicity Committee.

Article 12. Elections

  1. By September 30 of the year before the term of the officers expires, the Chair, with the approval of the Executive Committee, will appoint a nominating committee that will propose a slate of candidates for each elective office of the Group. The slate of candidates elected by the nominating committee must be presented to all the Group’s members by the following January 31.
  2. A petition from one percent of the voting members of the Group will place other consenting candidates on the ballot. Petitions must be received by the Secretary of the Group no later than March 15.
  3. The election will be conducted among eligible voters by ACM headquarters by June 1, following the election procedures of the ACM, unless different procedures have been approved by the SIG Governing Board. Of all the ballots returned in an election, the candidates receiving the largest numbers of effective votes win. The SIG Governing Board will resolve ties.

Article 13. Amendments

  1. These bylaws may be amended by a majority vote of the ACM Executive Committee, or by a vote of the Group’s members as provided below. With the approval of the Group’s Executive Committee and of the Executive Committee of the ACM, two-thirds of all the members of the SIG Governing Board may amend Article 1 of these bylaws without a referendum of the members.
  2. Amendments to these bylaws may be proposed by the Group’s Executive Committee, the SIG Governing Board, or a petition from 1% of the voting members of the Group. All proposed amendments
    must be approved, prior to being submitted for a vote of the membership, by the Chairman of both the SIG Board and the Constitution and Bylaws Committee of ACM after the Executive Director of ACM has provided his advice.
  3. The ballot on the proposed amendment(s) will be conducted among the eligible voters by ACM Headquarters following the procedures of the ACM for voting bylaw amendments, unless a different procedure has been approved by the SIG Governing Board. The proposal is adopted only if at least two-thirds of the effective votes of returned ballots approve it, and only if at least 10% of the ballots are returned. The Secretary will send a clean copy of the amended bylaws to the Executive Director of ACM and to the Chair of the SIG Governing Board.

Article 14. Dissolution

Should the Group be dissolved, control of its assets will revert to the ACM.

Article 15. Meetings

The Group will conduct at least one business meeting each year, normally in conjunction with some major conference in logic and computation. All meetings sponsored by the Group must be open to all members of the ACM. The Group may hold meetings only in places that are open to all classes of members of the ACM.

Article 16. Consistency

The Constitution, Bylaws and policies of the ACM and of the SIG Governing Board take precedence over any conflicting provisions of these bylaws or internal policies of the Group.