From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10439 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.science.mathematics.categories Subject: Call for Nominations: EiC of ACM TOCL journal Date: Mon, 29 Mar 2021 14:48:22 +0000 Message-ID: Reply-To: Sam Staton Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="29082"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Mon Mar 29 22:42:38 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lQyib-0007QT-Ot for gsmc-categories@m.gmane-mx.org; Mon, 29 Mar 2021 22:42:37 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:50506) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lQygS-0005Ph-5z; Mon, 29 Mar 2021 17:40:24 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lQyec-0000OB-SX for categories-list@rr.mta.ca; Mon, 29 Mar 2021 17:38:30 -0300 Accept-Language: en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10439 Archived-At: 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). Additiona= l information can be found in the following documents: - Roles and Responsibilities in ACM Publishing=20 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.=20 Please send all nominations to the search committee chair,=20 Dale Miller (dale.miller@inria.fr).=20 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 Liais= on [For admin and other information see: http://www.mta.ca/~cat-dist/ ]