The Coq mailing list

[Sam Staton <sam.staton AT cs.ox.ac.uk>]

Call for Nominations
Editor-In-Chief
ACM Transactions on Computational Logic

The term of the current Editor-in-Chief (EiC) of the ACM Transactions
on Computational Logic (TOCL http://tocl.acm.org/) is coming to an
end, and the ACM Publications Board has set up a nominating committee
to assist the Board in selecting the next EiC.

Nominations, including self-nominations, are invited for a three-year
term as TOCL EiC, beginning on July 1, 2021.  The EiC appointment may
be renewed at most one time. This is an entirely voluntary position,
but ACM will provide appropriate administrative support.

Appointed by the ACM Publications Board, Editors-in-Chief (EiCs) of
ACM journals are delegated full responsibility for the editorial
management of the journal consistent with the journal's charter and
general ACM policies. The Board relies on EiCs to ensure that the
content of the journal is of high quality and that the editorial
review process is both timely and fair. He/she has the final say on
acceptance of papers, size of the Editorial Board, and appointment of
Associate Editors. A complete list of responsibilities is found in the
ACM Volunteer Editors Position Descriptions
(http://www.acm.org/publications/policies/position_descriptions). Additional
information can be found in the following documents:

  - Roles and Responsibilities in ACM Publishing 
    https://www.acm.org/publications/policies/roles-and-responsibilities
  - ACM's Evaluation Criteria for Editors-in-Chief
    http://www.acm.org/publications/policies/evaluation/

Nominations should include a vita along with a brief statement of why
the nominee should be considered. Self-nominations are encouraged and
should include a statement of the candidate's vision for the future
development of TOCL. The deadline for submitting nominations is May 7,
2021, although nominations will continue to be accepted until the
position is filled. 

Please send all nominations to the search committee chair, 
Dale Miller (dale.miller AT inria.fr). 

The search committee members are:
 - Dale Miller (Inria & LIX/IPP, France), Chair
 - Christel Baier (TU Dresden, Germany)
 - Prakash Panangaden (McGill University, Canada)
 - Andrew Pitts (University of Cambridge, UK)
 - Simona Ronchi Della Rocca (University of Turin, Italy)
 - Adelinde Uhrmacher (University of Rostock, Germany) ACM Pubs Board Liaison