ACM SIG Bylaws: SIGLOG

Bylaws of the Special Interest Group on Logic and Computation (SIGLOG) of the Associationf or Computing Machinery

Adopted April 11, 2014

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 “SIGLOG.”

2. The scope of SIGLOG 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

SIGLOG 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.

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 Auto- mated Reasoning (AAR), and the Association of Logic, Language and Information (FoLLI).

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

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

Article 4. Officers

1. SIGLOG’s officers are the Chair, the Vice-Chair, the Secretary, and the Treasurer. The officers 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 SIGLOG and managing its activities.

The duties of the Chair are:

(a) Calling and presiding at SIGLOG’s Executive Committee and Business meetings.

(b) Conducting SIGLOG’s activities in accordance with the policies of the ACM.

(d) Making all appointments and filling vacancies as authorized herein.

3. The duties of the Vice-Chair are:

(a) Assisting the Chair in leading and managing SIGLOG; and

(b) Presiding at meetings when the Chair is absent.

4. The duties of the Secretary are:

(a) Maintaining the records and correspondence of SIGLOG;

(b) Keeping and distributing the minutes of Business and Executive Committee meetings of SIGLOG;

5. The duties of the Treasurer are:

(a) Managing SIGLOG’s finances according to the Financial Accountability Policy of the ACM.

This includes preparing the annual budget, monitoring SIGLOG’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, SIGLOG will establish and maintain a number of Standing Committees. Appointments to the Standing Committees are the responsibility of the Executive Committee SIGLOG.

2. The Standing Committees SIGLOG are as follows:

Publicity Committee:The charge of this committee is to oversee the website and electronic newsletter of SIGLOG, 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 SIGLOG, 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 SIGLOG across all geographical regions.

Article 6. The Executive Committee

1. The Executive Committee comprises the officers, the Past Chair, and the Chairs of the Standing Committees; in addition, the Editor-in-Chief of the ACM Transactions on Computational Logic (TOCL) ex officio, the President of EATCS ex officio, the President of EACSL ex officio.

2. The general duties of the Executive Committee will be to advise the Chair on all matters of interest to SIGLOG. Specific duties or responsibilities may be specified in these Bylaws or assigned by the Chair. All the major management policy decisions of SIGLOG 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. SIGLOG has an Advisory Council that advises the Executive Committee and promotes coordination and interaction between SIGLOG and related associations and conferences.

2. The Advisory Council comprises:

(a) Representatives from selected related associations and conferences, as determined by the Executive Committee.

(b) 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 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 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. 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 Board. The dues shall be consistent with ACM Bylaw 6.

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 10. Reports and Records

The SIGLOG Chair is responsible for filing reports about SIGLOG as required by the SIG Board. These include:

i. An annual report, due as specified by the SIG Governing Board, on the activities of SIGLOG__ during the previous year;

ii. All reports required by the Financial Accountability Policy of the ACM; and

iii. Closing reports on conferences and symposia (co) sponsored by SIGLOG as required by the ACM.

The membership records of SIGLOG will be maintained by ACM Headquarters.

1. SIGLOG 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 SIGLOG members.

2. With the advice of the other officers and the Publicity Committee, the Chair of SIGLOG will appoint the Editor of the newsletter, who will become a member of SIGLOG’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 SIGLOG. The slate of candidates elected by the nominating committee must be presented to all SIGLOG members by the following January 31.

2. A petition from one percent of the voting members of SIGLOG 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 SIGLOG’s members as provided below. With the approval of the SIGLOG Executive Committee and of the Executive Committee of the ACM, two-thirds of all the members of the SIG Board may amend Article 1 of these bylaws without a referendum of the members.

2. Amendments to these bylaws may be proposed by SIGLOG’s Executive Committee, the SIG 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 advice.

3. The ballot on the proposed amendment(s) will be conducted among the eligible voters by ACM Head- quarters following the procedures of the ACM for voting bylaw amendments, unless a different procedure has been approved by the SIG 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 Board.

Article 14. Dissolution

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

Article 15. Meetings

SIGLOG will conduct at least one business meeting each year, normally in conjunction with some major conference in logic and computation. All meetings sponsored by SIGLOG must be open to all members of the ACM. SIGLOG 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 Board take precedence over any conflicting provisions of these bylaws or internal policies SIGLOG.