From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10437 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.science.mathematics.discrete Subject: Call for Nominations: EiC of ACM TOCL journal Date: Mon, 29 Mar 2021 14:48:22 +0000 Message-ID: <906CC0E8-12DF-4962-95EB-B2AA169C645B@cs.ox.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="15294"; mail-complaints-to="usenet@ciao.gmane.io" To: "las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org" , "categories-59hdLBrVOVU@public.gmane.org" , "GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org" , "theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org" , "concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org" , "finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org" , "asl-zka7wQWIdxI3uPMLIKxrzw@public.gmane.org" , "agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org" , "appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org" , "lfcs-interest-9iOJEv++55WFxr2TtlUqVg@public.gmane.org" , "cade-YidNj35/HaM@public.gmane.org" , "prog-lang-dAYI7NvHqcQ@public.gmane.org" , "linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org" , "DMANET-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org" , "fom-+I05ep9qJbk3uPMLIKxrzw@public.gmane.org" , Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon Mar 29 18:58:34 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-000c2a01.pphosted.com ([148.163.151.92]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lQvDk-0003kM-Uz for gcst-types-announce@m.gmane-mx.org; Mon, 29 Mar 2021 18:58:33 +0200 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 12TGvPeP031415; Mon, 29 Mar 2021 12:57:33 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-000c2a01.pphosted.com with ESMTP id 37k2byg8fd-1; Mon, 29 Mar 2021 12:57:33 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12TGvRKM058637; Mon, 29 Mar 2021 12:57:27 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12TGvRWH067544; Mon, 29 Mar 2021 12:57:27 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12TEmbR6046310 for ; Mon, 29 Mar 2021 10:48:37 -0400 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 12TEUbfd029246 for ; Mon, 29 Mar 2021 10:48:36 -0400 Original-Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk [129.67.1.165]) by mx0a-00390e01.pphosted.com with ESMTP id 37jhjcdc89-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 29 Mar 2021 10:48:36 -0400 Original-Received: from hub06.nexus.ox.ac.uk ([163.1.154.240] helo=Hub06.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1lQtBr-0001dr-4Q; Mon, 29 Mar 2021 15:48:27 +0100 Original-Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.59) by smtp.nexus.ox.ac.uk (163.1.154.240) with Microsoft SMTP Server (TLS) id 14.3.498.0; Mon, 29 Mar 2021 15:48:22 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=NMpMdrWa5TEaMi0BhzjOLnWwsXqAcO13YCuNwA4h8meWA+LVbzw5lnf/TTQmdJ+G/z1DB0fFittU/N0YvtR/IjwpZiBrUkDBLia0EvSQ4hBDTpPYCAht2uWyf9r3dvtt7wy+OSHT+r5miAn6Xo++ZPigjjBuy4g/MKfVA4UKmOPHi6CPazGAY6Wxl12MANvVD7I/fgq5W6FvbuLDNkw24Mp8QDw/nDAi/VbT5PlLo6f5j8vTwC/tce0KyMrw3TjDmQ9zh8Nw2NdVHnwZNdORCOsFsLmfAx8+VVXKrj0alX3Xct2UeNYWVeDzPrb50WVB/gwGt4405iIGNDFzja6bFQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=wcNLqZA4AlonX5dLUNEmSMxOIqFG4g7QdTc/YhUuwUM=; b=ApDjwzUOGxfAMaJr3UeuF9iuzArkAOAg86pWYx38o9LK6nY24frE94kx+4M6lgSPNU0Te6kmib4Vbk/Nkl5xDyC/HvlxOH174+CIHf3CKxD8qW96cm9bMOKhnduvrgWi8WUNcXWjd4Wklji/yb9SEiR4Sjodxm9EeR61aEmWO5ySqeh42iVtp3T1zKS+JGtYd9cKTw/CLvQ9g0gzqrnSyjs3v4+uvTbgsGFXBIrNiRsYQpvGS2gSwEyHvLJn3QYpC7TuTZXlKWgovxM+i0zJOzoe7e5GO5hwESndMum/R9haeYQNYW+G4N+I+Da8ioH9kTZCQIpX66bQOTQ4ziz+dg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Original-Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ed::10) by LNXP265MB1386.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:81::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3890.25; Mon, 29 Mar 2021 14:48:22 +0000 Original-Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::de3:ac8d:3c9f:1b17]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::de3:ac8d:3c9f:1b17%3]) with mapi id 15.20.3977.033; Mon, 29 Mar 2021 14:48:22 +0000 Thread-Topic: Call for Nominations: EiC of ACM TOCL journal Thread-Index: AQHXJKqQmIkWu2HFj06SKNAs+ICM6A== Accept-Language: en-US Content-Language: en-US x-mailer: Apple Mail (2.3445.104.17) authentication-results: lists.tu-berlin.de; dkim=none (message not signed) header.d=none;lists.tu-berlin.de; dmarc=none action=none header.from=cs.ox.ac.uk; x-originating-ip: [2a02:c7f:6c37:4000:2c1d:e8d9:a821:cd42] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 13184c61-8bbf-4e43-0498-08d8f2c1b333 x-ms-traffictypediagnostic: LNXP265MB1386: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: lQZfxcGQRkwnHGVat61qySl8fiPiq+2xQdBv1SUusPLD5cnIUjEqS8pMSuH92riOTvayNjcPz/i1wICxGsa4mGWOgFcMX1YctpB9VrJEGJkeYZLOQJysZDx+UCT1n8aN0NpeS5w2GzOYgTO/VxHV/Q6VEjPZ0sHu8AdY81+SEqrKQS8wDYthukK4kvEJe1tDwszt1Jm7592RrZ9QkQniFI+STgb4QJPdDAmYzo8izT10Bjaie4Rh4jMJ/xMkKbCvQl874+zM4+rsriA91sHepP5uM6sEg16q2tNB3ZYEIdROt2/7R7RDRcAJTKPzZoW5LzXul40Ko2FkusJZIIHNqhuqcjjPHqvBs0beW/TpRFx1tXw6DvLZXYl2L5X3nIOpMoyJdTZEe406hxwyaH/kUYU6dx6F/6sxoM9Au3c7mOezR1+3nwVfBsNgAxYmEv/ydoyXL2dPyyuTbo0ckOSN9rtHc0KZS/bzxqXdEkPCRLh3474RJL4AFC/J+uMWuDEY+6dysEoAqhzl34IZHlgXAcboUY52Y/lweKw3q6i1QuNAoqiTYW03S14O3yhr9mON9GAl2gSaByNVMzumT5s6t/NoHk5gIOqM9Qs5NaRHFbc/39Pbr38IJj68xYtF+uuMcns/FRVPUx1CJH7vnuKj0FtsLhaMHXt3DimKBFckq6fslJ+ESO8HYRdQjUHWWqh6L5LCr2KnowxzopWCf4InGQ== x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(376002)(346002)(39860400002)(136003)(396003)(366004)(2616005)(2906002)(478600001)(6506007)(6512007)(5660300002)(966005)(38100700001)(186003)(44832011)(86362001)(110136005)(7416002)(64756008)(83380400001)(66446008)(66476007)(66556008)(316002)(786003)(6486002)(8676002)(33656002)(71200400001)(8936002)(921005)(66946007)(76116006)(45980500001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: =?us-ascii?Q?fU+leQ4/69ajAqJ2att37KYMaltJKbYMJOvbPbhtlAoAcNi2UpGw2k6eaWHp?= =?us-ascii?Q?YLG/d6B7+IyFrqlyxdgSXCyACvBJxhW/FDahddVev33PNPD1aT6mp1rF0T/h?= =?us-ascii?Q?bVWFRqWSKAqzw5WW0diVEfwvQK45aJeDJLAJWP2N3Z0P5QsYLiVpYssvkBA3?= =?us-ascii?Q?3/SrvygALF2YYlFhpMd7k1A2DTSA0vaUU+cQx97KDzWQlBmiDMY87oJPV+0y?= =?us-ascii?Q?KnVtpOb/RW65iEB8YbgzZMomn8y+eN0kxQpcnNl2u9D/EMM3bOiyVVxKnDJD?= =?us-ascii?Q?gQ7WcJnv5Fjl4Rz9rERnYbgA+QFL/MqKXn0zdPJr4o0zjv5r8m2kGXLyD0sQ?= =?us-ascii?Q?DkUfO+GNjuBpGBEB2m1lFOOutwR+pl4AWNpbGwajpr7zZPcMSKu/a+t3efaV?= =?us-ascii?Q?dBeqdf/1ZTulDBINpOa5srC86uGRdDlT15rxlepMmiaLtP0yyc0RPPKGkTUa?= =?us-ascii?Q?Me0Cb9dHFmVQLyZxxPz184KlD9zRrVQMdSvFh/bKumGFjI0qd7z0vfT4kqlI?= =?us-ascii?Q?4xm6aOPKz7KXjrQ02bs3P76jntf6J8OvmUoOzNuexxa8aOVdUR+hkQHp5bxe?= =?us-ascii?Q?DoyXXOGEPs1T2zEOUfSdXM36D7NqdBhMtfy9BrOzr6XIksfWDcutMct86Gs3?= =?us-ascii?Q?7pM0 x-ms-exchange-transport-forked: True Content-ID: <2F70D8241C1E9146860A36E19FBDA9D1-c4UBSrsHnbX9SOyiPdwG7kEZadJ+ESx9@public.gmane.org> X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 13184c61-8bbf-4e43-0498-08d8f2c1b333 X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Mar 2021 14:48:22.0875 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: uOX3fEXZRCBPUFXs3nz3JBycjkuF5jLs4UT2FkX/VF1+DGM8uWya7YTgtj+7iO+rfzouPBJtPU7ykJVv8Re6Tg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LNXP265MB1386 X-OriginatorOrg: cs.ox.ac.uk X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-03-29_09:2021-03-26, 2021-03-29 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 malwarescore=0 lowpriorityscore=0 impostorscore=0 spamscore=0 clxscore=180 adultscore=0 mlxscore=0 priorityscore=0 suspectscore=0 bulkscore=0 mlxlogscore=999 phishscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2103250000 definitions=main-2103290112 X-Mailman-Approved-At: Mon, 29 Mar 2021 12:57:18 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-ORIG-GUID: U2crDdtvxH2PcDaZuT4qP73EUSDlMAG0 X-Proofpoint-GUID: U2crDdtvxH2PcDaZuT4qP73EUSDlMAG0 X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.136,Aquarius:18.0.761,Hydra:6.0.369,FMLib:17.0.607.475 definitions=2021-03-29_10,2021-03-26_03,2020-04-07_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 malwarescore=0 priorityscore=1501 suspectscore=0 lowpriorityscore=0 spamscore=0 impostorscore=0 mlxscore=0 mlxlogscore=999 phishscore=0 adultscore=0 clxscore=1011 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2103250000 definitions=main-2103290124 Xref: news.gmane.io gmane.comp.science.types.announce:9538 gmane.science.mathematics.categories:10437 gmane.comp.lang.agda:12541 gmane.science.mathematics.discrete:14765 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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-MZpvjPyXg2s@public.gmane.org). 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