From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10835 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: LICS 2023 Call for Papers and Call for Workshop Proposals Date: Mon, 31 Oct 2022 17:20:16 +0000 Message-ID: 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="34232"; mail-complaints-to="usenet@ciao.gmane.io" To: "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" , "homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org" Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-00390e01.pphosted.com ([148.163.137.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1opk4O-0008hi-PO for gcst-types-announce@m.gmane-mx.org; Tue, 01 Nov 2022 06:44:17 +0100 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2A15VLW4004167; Tue, 1 Nov 2022 01:43:35 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-00390e01.pphosted.com (PPS) with ESMTP id 3khh9vk13g-1; Tue, 01 Nov 2022 01:43:34 -0400 Original-Received: from rhizome.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 2A15hP7W008659; Tue, 1 Nov 2022 01:43:25 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by rhizome.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 2A15hPxU089678; Tue, 1 Nov 2022 01:43:25 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by rhizome.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 29VHKSCE128425 for ; Mon, 31 Oct 2022 13:20:29 -0400 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 29VGVXIZ024665 for ; Mon, 31 Oct 2022 13:20:28 -0400 Original-Received: from relay19.mail.ox.ac.uk (relay19.mail.ox.ac.uk [129.67.1.170]) by mx0b-00390e01.pphosted.com (PPS) with ESMTPS id 3khh9vakny-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 31 Oct 2022 13:20:28 -0400 Original-Received: from hub04.nexus.ox.ac.uk ([163.1.154.215] helo=Hub04.ad.oak.ox.ac.uk) by relay19.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1opYST-00040a-A0; Mon, 31 Oct 2022 17:20:21 +0000 Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (104.47.20.53) by smtp.nexus.ox.ac.uk (163.1.154.215) with Microsoft SMTP Server (TLS) id 14.3.498.0; Mon, 31 Oct 2022 17:20:17 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Si3oRpzzbNCEqO6UeNN1xDTr769z5o38PQclW5w/EyF9bhqOvRwG3vJCVTOkd5uFOcnF3aKd8Acw4ZRJ3lI2bDTPAv0G3nMKuVsblUoTHce8piW+be5BfBBgzcCaT8w3JhK+TL6H5bZ9iJsLG0iIn7cU8ziHRUOpq3gsndGXZ50cBE7aApcNM5zU1zo7d71XbqimZrfvBDkuSuz+K2okZk7TiJyeyMqkJQ2uAg9+BZsopSl9oBw/zySd6by9wUw0RdwVpKrVrABKH/C1jQf22o/i7Moqu/jXyaLIuuwtWjQCZIPmKs7lXeui2Uyo19eroEpBkPw6pbC7TJYN0sTYZA== 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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=TJE5tqhgxXaIww2lUSg3AMrijxoCy34XqYAFPTUGNBU=; b=kRUTvsSba+LnMVr9xnr5mPS+2SmHl3quQ/KXGLNe/FoNjFMrwpLfSVRa5LSM+E9SuEuKxDPAuwrPAnTSl98KsdOEqm9TJk0oyisydgG/EWYR5FojpixoeM0IoI4OOiYVB+RD7AMJXCpLViXXlJzC6kdnx2Ap5unQxN6RiuvYROphchw8jeboVinX7NjDJhyY+egF+Od2A+59ocvHzLAxv5ESSQVjK87PP04NbOZkciy+IMHGEF+y8Yjb9bk6tWHB9Vg6zSjNpQNXsm0uk9wlFgroOScxBcp3v1jgJAHQx3OXHP5iEjEY/I1u82SFjZxE9kN55KBrp7KGBEXBd+fSYA== 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 CWLP265MB6019.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:1d0::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5769.19; Mon, 31 Oct 2022 17:20:16 +0000 Original-Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::aa7d:88ae:d4b6:72a3]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::aa7d:88ae:d4b6:72a3%7]) with mapi id 15.20.5769.019; Mon, 31 Oct 2022 17:20:16 +0000 Thread-Topic: LICS 2023 Call for Papers and Call for Workshop Proposals Thread-Index: AQHY7U0L+SKI/uKapUOSpRu6yiNjjA== Accept-Language: en-US Content-Language: en-US x-mailer: Apple Mail (2.3696.120.41.1.1) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|CWLP265MB6019:EE_ x-ms-office365-filtering-correlation-id: 2bffc0f0-bf49-4dd1-f7e4-08dabb642d85 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 1G336+YBhyAKgaCQbqOkrTVFDdM+6ZvzGgicmZ5MnxSru1sd51bvtkNMicRiTG+A8Rty7L4jQYB5IgSgEGAErzseU/9E0ObaXLlMNRSJNf77a6vu7uzQcX7flKMilRC3IyDTxLgqgSwjT46Mj87gKK6q/izX4EyZiya/YyN3LlmTSoCmtur3bjckErS0wy8BL67gTS1Iu3ag3nqLu9fwnH4GimxKV/3oKGn1FV4/sXWYx2R9ZIrHh5qySaodaJtl+G9dkfghwLIEF5rXxa8rOt4y/Vd1uXH8LC4XnHpVX87JkBIwSRVUarH5FG+0Km6D9PJqWR47rycf03AcT7HzcUp7M3TWPDiuEI4TRHiPy/OgCDsJ64EzMlU1gQ9hr/3M5qhZDN16jv/bJ4o+00tWPwT4YvIdfQT7uJrrXMwUU3OlPwGna6JqD4XYqxjqsKxa0ObxkiOJuyFE5pLK6Qs2sXhtjU4BYa8GF0F0G0xXBvRtAq29HgOoUqNc+EJYCjknIxspD4Kbg8BGDkqUhYTIBtyc54Ylp5ulD3cxfG1vfq9F15H3fTOs8lGwXPiNr3Dgeyb4whpLf0oRGI3+rdu+kr4lTf+b0kpeNcLSIMAnGtD+V5Kbb/nN6sVRSkZY4QT6Wj0dU1F1eL+XbBw/UKw3oMCBsqi9yyLLCtj14haW+71WRTbUp4INc38iD/FQYWCs63AK/e4NW+Pi001NrndBBgRuczy72T5fF2oa9pfqbNYXQ3ORjm7kOof4F4vGm wlNiX7Z3U2w2u1istobNJhqyBRq7LYbTXxRLGTM5QbTkcPvWM6Y38/YR2oX3mNxAKTnDcEfnk7ZeLDTxOGSzxoN7kgdfPs9nQr 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:(13230022)(39860400002)(366004)(346002)(376002)(136003)(396003)(451199015)(2616005)(6512007)(478600001)(6506007)(83380400001)(186003)(44832011)(2906002)(41320700001)(110136005)(786003)(71200400001)(966005)(296002)(6486002)(7416002)(8936002)(64756008)(8676002)(41300700001)(66446008)(66476007)(66556008)(66946007)(76116006)(5660300002)(316002)(66899015)(86362001)(33656002)(38100700002)(122000001)(38070700005)(921005)(225293002)(45980500001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?6lqjXf1TauOviycRnrDa3k2XB8bAlFa6axoAzXRKMnX338rKcd+bQINJiNz9?= =?us-ascii?Q?Da6EAF9BXDIQPqBxeFrjLqRCZj6f6yI0MXGQ/vsThKu9XmUIwM4YbgYqOrc7?= =?us-ascii?Q?cyDIcruDmVYDY0LFDGB54vgsDaJ1JK+0x1qush8Kg+ph1CZSWy7xocNmrgA4?= =?us-ascii?Q?FvBWGYsq04jk+kYqz1RHwKZ1/1ksOtw5iZ7f8npPOw0Lqj7kUdgrVJkeexfZ?= =?us-ascii?Q?a9YtDzjoHJafCnz+gqr8OmDg8HPjjqjnYQxfeivGBrsGeuI53oCD5nbfF7Wd?= =?us-ascii?Q?cex0Zq+wV+Ec/NgUJwkrJAmpOuauF/geSIhQDl4G8iwL5suz0fDImukEEcl0?= =?us-ascii?Q?RJ5gwFUpoI+QHXO2hIR40aNkMHWKNyOR8/SCgByTpQhyaEUszggQPyirHcPg?= =?us-ascii?Q?LPamYe203eN7fd6diiByCPHggcUHL2pksl+aIPH/mQmeaFMihFrM5xAQ0ym4?= =?us-ascii?Q?w3iXGeGQ3DmsEFui2BNUQCXe19MImkCMxVlC2a9L8XnSry00gwSjH/AtQ9Nb?= =?us-ascii?Q?2hKxeJONExcUWoCzI3W8OETbAHn3OZYHhvx1bcH83yAo2j+Z8kZUlHDDChtL?= =?us-ascii?Q?YcLt/dd/NlQ6Wzcabyonqnob55NyyqQ6XViTmC39wCJncBaUrMKm8lpoV7Hn?= =?us-ascii?Q?Bt Content-ID: <83EBC2DC03DDFF44BBB3AEBC2542BC68-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: 2bffc0f0-bf49-4dd1-f7e4-08dabb642d85 X-MS-Exchange-CrossTenant-originalarrivaltime: 31 Oct 2022 17:20:16.0912 (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: BLOmDgblQyDwQ832D5rjUPwQDTZh/xouKRMnUcfPKiwwRekbAZUhWtsYl2rcSxSBxUSYpjE4v17KvOudTrXvfg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB6019 X-OriginatorOrg: cs.ox.ac.uk X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-10-31_19,2022-10-31_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 mlxlogscore=974 impostorscore=0 adultscore=0 spamscore=0 mlxscore=0 suspectscore=0 clxscore=176 priorityscore=0 phishscore=0 bulkscore=0 malwarescore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2210310108 X-Mailman-Approved-At: Tue, 01 Nov 2022 01:43:22 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.35 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: xjO5QWGrPes9qm0W6nVlZ0d8X1DyTwga X-Proofpoint-GUID: xjO5QWGrPes9qm0W6nVlZ0d8X1DyTwga X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.895,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-11-01_01,2022-10-31_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 mlxlogscore=999 impostorscore=0 adultscore=0 spamscore=0 mlxscore=0 suspectscore=0 clxscore=1011 priorityscore=1501 phishscore=0 bulkscore=0 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2211010042 Xref: news.gmane.io gmane.comp.science.types.announce:10553 gmane.science.mathematics.categories:10835 gmane.comp.lang.agda:13052 gmane.science.mathematics.discrete:17162 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS and WORKSHOP PROPOSALS. Here is both a call for papers (18/23 Jan) and a call for workshop proposals (30 Nov) for LICS 2023 (June 2023). Thirty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Boston, June 2023 https://urldefense.com/v3/__https://lics.siglog.org/lics23__;!!IBzWLUs!SkO8KWNERUAYRSAGdGrWU-J_M20ZcZsiXlZB2-WvCyL4by3nx7T7QyQl84fO46WSpKIQvzz5BDwYu5jBmc9JA89_znLibUL3iV1r3Q$ SCOPE The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, foundations of probabilistic, real-time and hybrid systems, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programm ing, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, m! odal and temporal logics, model checking, process calculi, programming language semantics, proof theory, reasoning about security and privacy, rewriting, type systems, type theory, and verification. IMPORTANT DATES FOR PAPERS Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. The exact deadline time on these dates is given by anywhere on earth (AoE). Titles and Short Abstracts Due: 18 January 2023 Full Papers Due: 23 January 2023 Author Feedback/Rebuttal Period: 15-19 March 2023 Author Notification: 5 April 2023 Conference: 26-29 June 2023. Submission deadlines are firm; late submissions will not be considered. All submissions will be electronic via easychair. PAPER SUBMISSION INSTRUCTIONS Every full paper must be submitted in the IEEE Proceedings 2-column 10pt format and may be at most 12 pages, excluding references. Latex style files and further submission information is at https://urldefense.com/v3/__https://lics.siglog.org/lics23/cfp.php__;!!IBzWLUs!SkO8KWNERUAYRSAGdGrWU-J_M20ZcZsiXlZB2-WvCyL4by3nx7T7QyQl84fO46WSpKIQvzz5BDwYu5jBmc9JA89_znLibULJ-HsXyg$ . LICS 2023 will use a lightweight double-blind reviewing process. Please see the website for further details and requirements from the double-blind process. The official publication date may differ from the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work. We will clarify the official publication date in due course. -- LICS 2023 Call for Workshop Proposals Researchers and practitioners are invited to submit proposals for workshops on topics relating logic -- broadly construed -- to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. - Potential invited speakers. - Procedures for selecting participants and papers. - Plans for dissemination (for example, special issues of journals). - The proposed duration, which is one or two days. - A discussion of the proposed format and agenda. - Expected number of participants, providing data on previous years if the workshop has already been organised in the past. Proposals should be sent to Valentin Blot: lics23-workshops at valentinblot.org IMPORTANT DATES FOR WORKSHOP PROPOSALS - Submission deadline: November 30, 2022 - Notification: mid-December, 2022 - Program of the workshops ready: May 24, 2023 - Workshops: June 24-25, 2023 - LICS conference: June 26-29, 2023 The workshops selection committee consists of the LICS Workshops Chair, the LICS General Chair, the LICS PC Chair and the LICS Conference Chair.