From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10508 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Sam Staton Newsgroups: gmane.comp.science.mathematics.logic.lics-newsletter,gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.science.mathematics.discrete Subject: [LICS] LICS 2021 Call for Participation Date: Thu, 10 Jun 2021 05:20:02 +0000 Message-ID: <861C8192-A701-4A6A-B422-963ECE62D80F@cs.ox.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2459"; mail-complaints-to="usenet@ciao.gmane.io" To: "las-lics@lists.tu-berlin.de" , "categories@mta.ca" , "GAMES@lists.rwth-aachen.de" , "theorem-provers@ai.mit.edu" , "concurrency@listserver.tue.nl" , "finite-model-theory@lists.rwth-aachen.de" , "asl@vassar.edu" , "agda@lists.chalmers.se" , "appsem@lists.tcs.ifi.lmu.de" , "lfcs-interest@inf.ed.ac.uk" , "cade@itu.dk" , "prog-lang@diku.dk" , "linear@cs.stanford.edu" , "DMANET@zpr.uni-koeln.de" , "fom@cs.nyu.edu" , "homotopytypetheory@googlegroups.com" , "rewriting@ens-l Original-X-From: las-lics-bounces+gcsmll-las-lics=m.gmane-mx.org@lists.tu-berlin.de Thu Jun 10 09:28:22 2021 Return-path: Envelope-to: gcsmll-las-lics@m.gmane-mx.org Original-Received: from exchange.tu-berlin.de ([130.149.7.70]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lrF70-0000VR-9e for gcsmll-las-lics@m.gmane-mx.org; Thu, 10 Jun 2021 09:28:22 +0200 Original-Received: from SPMA-03.tubit.win.tu-berlin.de (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 9DE376E5D5_C1BF15B for ; Thu, 10 Jun 2021 07:28:21 +0000 (GMT) Original-Received: from exchange.tu-berlin.de (unknown [10.149.1.31]) by SPMA-03.tubit.win.tu-berlin.de (Sophos Email Appliance) with ESMTP id E459394641_C1BF13F for ; Thu, 10 Jun 2021 07:28:19 +0000 (GMT) Original-Received: from lists.tu-berlin.de (mali-2.tubit.tu-berlin.de [130.149.4.33]) by kopano-be-03.tu-berlin.de (Postfix) with ESMTP id D6F101C1392 for ; Thu, 10 Jun 2021 07:28:19 +0000 (UTC) Original-Received: from [127.0.0.1] (helo=mali-2.intern.tu-berlin.de) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtp id 1lrF6x-0005oi-Fv; Thu, 10 Jun 2021 09:28:19 +0200 Original-Received: from c1861.mx.srv.dfn.de ([194.95.238.130]) by mali.tubit.tu-berlin.de (exim-4.92.3) with esmtps [TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256] for id 1lrD7F-0002S9-VA; Thu, 10 Jun 2021 07:20:29 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by c1861.mx.srv.dfn.de (Postfix) with ESMTP id D0B4D1600A6 for ; Thu, 10 Jun 2021 07:20:29 +0200 (CEST) X-DFN-Virus-Scanned: Debian amavisd-new at mgw5-erl.srv.dfn.de Original-Received: from c1861.mx.srv.dfn.de ([127.0.0.1]) by localhost (mgw5-erl.srv.dfn.de [127.0.0.1]) (amavisd-new, port 20093) with ESMTP id jZXZFcWyrFZ2 for ; Thu, 10 Jun 2021 07:20:29 +0200 (CEST) Original-Received: from relay18.mail.ox.ac.uk (relay18.mail.ox.ac.uk [163.1.2.165]) by c1861.mx.srv.dfn.de (Postfix) with ESMTPS for ; Thu, 10 Jun 2021 07:20:28 +0200 (CEST) Original-Received: from hub01.nexus.ox.ac.uk ([163.1.154.218] helo=Hub01.ad.oak.ox.ac.uk) by relay18.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1lrD6y-0009tw-7z; Thu, 10 Jun 2021 06:20:12 +0100 Original-Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.52) by smtp.nexus.ox.ac.uk (163.1.154.218) with Microsoft SMTP Server (TLS) id 14.3.498.0; Thu, 10 Jun 2021 06:20:06 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=geCw9Xc3NX1uovAahQsw8lQpY6nzMEqzDzZTV1rzQG8YejFje3o/IpFEJDmiwWmwbumzPshZSTDpbQBLugPiJSCPmNcRltyz61xhFuylqAeAzIXT7sz0pZ1rb00RM7dJ/sJzu+EqYEgOzIZMP0HD7kDCkVDFYISk9i3ASy5rWPbP1ZfD8w/iRVkbKfF4cEIUfqk7ucF3G8NmQOUSCpk6K+7vTckmvb1SCf+q+UzVsXPyyYdRjEuAXW4sV2nAtqZt54UXEyl4XT8wHW7EpeEtL6R1bK0mYVjNeF/um4wiFIWX36gvHMMPTMFeqxMUrDTlhxABaSNBTYR2fY0EURStQw== 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=UvqDIQiGoD6UV4xzQJ2OlNZxdzf/QkE+wfd7ooX9hfM=; b=FXDRm/vTkez25evNAJmQmSWS1ITWojzFxfBfJxqeJSht4UGe+/1Z+Ue8Cm+90kbuvh58+KiZSYP6VMcjFHJ0oPGkPxgRmaIah0Q13omOad+XQiGIJW8sUASu7GNvNtx1sV4s6I8u/hUyl4Br5gefLouVLS1W8PBziQunbCb/YISFrIDk5PEP/LDIDZNDTYqAPLLUz1/kMopJLjUk/iY+eO3+v6c4eOH4J96OHxmf+lOKnl/BB9d3sf0YytKbUbbCGrePSC6x+FLkbbMOteW8m9PmnXKNOMs1/95qMtg3GdeMrs9VCUpDeL2IvOF2OU44WGlK4OjynO2rhrNgYKeTWg== 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 LO3P265MB2267.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:10d::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4195.23; Thu, 10 Jun 2021 05:20:03 +0000 Original-Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::85e5:3e4b:7b73:3f2b]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::85e5:3e4b:7b73:3f2b%7]) with mapi id 15.20.4219.021; Thu, 10 Jun 2021 05:20:03 +0000 Thread-Topic: LICS 2021 Call for Participation Thread-Index: AQHXXbhElJOaUsdNjUCmXv2ly202rQ== Accept-Language: en-US Content-Language: en-US x-mailer: Apple Mail (2.3445.104.20) 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:71a1:a94d:3671:dc24] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 200ad27b-f257-4180-28a7-08d92bcf66c0 x-ms-traffictypediagnostic: LO3P265MB2267: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:4125; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: PoyAPSQphCSI3BsY4t5aQkiitMueiR9T9PMvPSeriPMsZ0uUXbkHqmBIEmWWllLM68MbVK+BonhW0DVNq0HlBvvnvX4S6Wj0rwgIvo1kVMkWgZ03HANTWV+VuGaQFpliNBuysmvKB3IzLCWjO4Ho+kd4jULswNfF74cTCoceqTdZNPNnxPVde8IQfjLdbgAWpw0v1siU3xJKcq1czHurPaqXNQi/ADXRlLG2TCKacJaA6VtHtk+9irbVPqUergvvVvy1DCQtaNmqZnkfNC18TxLkox9OG6FyZYJQQNmYKadTjb5k9/f22FwXhps+yX8pPUTERgaqp7YcOvh8nO5uMbEY6XTYWKM9eW6h2bRUV+A+3hMnETFrSGJRZHXrvuk5TszGxQgT7bDz/M6XmC7UyI+1/+azCYXqVkVooBu0YjhUEUOSiPHBO21+JQdV2FsK5JH/Tzy8H877vM1zcGQRpywN6udkkU35EhHRiX32jjeXHJqaGzV+zY731Xt338CVgVtrAVzXKFQgRoi0H2j6JMyjejJ6ZNjUb4q7KgN38YmzlGVei61dxoLMHPus/dnY59Dq9IrClOlv75MquBG2U1amDqE7c9CTm9VSRySl5+sVuRgIGUf2uOA73r//TEQ59LFgi/G3WaSRzOhCyH+KMM+Da63Q3B87UBsSgDVVcQevcPa3ncGIjObikv4J0yDVW2mh/ek0waYSyHtgy/hXPrn3npozuaABwamsZ/BTWabXDd68V2Vf7AoEnvAyA XWUYj2sxBxE43QOul1W/mTvCUn0RZV0VPrPrK0RbiTRd7Puq6X4r6fg7OTHvPNu1pydW0wXcUcfZe7cJ8W58SZWBA== 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)(39860400002)(346002)(136003)(396003)(366004)(2906002)(71200400001)(5660300002)(7416002)(33656002)(8936002)(786003)(186003)(316002)(4744005)(6506007)(110136005)(6486002)(8676002)(86362001)(966005)(44832011)(2616005)(122000001)(921005)(66946007)(66556008)(38100700002)(76116006)(64756008)(66446008)(6512007)(478600001)(66476007)(45980500001); DIR:OUT; SFP:1102; x-ms-exchange-antispam-messagedata: =?utf-8?B?Y1pMQ0h3ZFdVRVY2ajNMWEU3MHZNRHNvamZHZytMNmdyK2sxTEVrWkRxdU16?= =?utf-8?B?cXROeTlxUE90K3NiN2Z1V0pUWEdsZHJvZXZzb05oczNmQjZaUjV6MnVDY2pU?= =?utf-8?B?NVREWUVEdDRhemcwcmtwUGgrMzBUS2g3SzZjK09EWktCcTNxTG4yTTMrQkZh?= =?utf-8?B?SzFRV0tJZEpTeVVBbmZScXBnUzFuOVVGc2JNdkJCR2EyNE45TExEaUxIWjNq?= =?utf-8?B?ZjNaUTA3SGJENTVETUxsY3lOTjRhVUVFYm1jdkRORUYzNDBUQmtuSDRtU3RT?= =?utf-8?B?MlVSODZnVnpZUEZXaUdMOC9pRndzd0ZTN25wbXpGbEQyV3ZaNzhUWUxBQ1py?= =?utf-8?B?VDFyQ0laZTU2OExvWXRQVGxoL0FZUEVVOFU0U3lUNXVNTThOeDc5MUxjRDgz?= =?utf-8?B?aFRxODhSVk1TeXg3VnFpTFZYb2x5QmZ6RnZpTjNWSm40UVRVU21iSmhLRHhK?= =?utf-8?B?bGk3Y1VLc0FpNzA1MlFGcXRtL01nbVNCRkROWjFtOWFMS25SUml6N1djakhh?= =?utf-8?B?OUxqZDdKelYwanZ0a0VQbmhxRHltSlI2c1Yvd0RsSVN5bElnOGY2NDBlNU5D?= =?utf-8?B?dEZxWHRNa1pJS0s0Y1hmKzh5Z3dBcW9DSS94ZHh4TEZybWEzTHZkYW51VjhV?= =?utf-8?B?ZTJBcW01R2F3aDhLNGFnY2pwQjVnM1FLVXdTUGow x-ms-exchange-transport-forked: True Content-ID: <42638E0BADB8A7409949A5FE55EEA156@GBRP265.PROD.OUTLOOK.COM> X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 200ad27b-f257-4180-28a7-08d92bcf66c0 X-MS-Exchange-CrossTenant-originalarrivaltime: 10 Jun 2021 05:20:03.0375 (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: fwk+PbDXlSqTXSCJs03HTyrH3aXBtJSzWr3f9s2GPn6pLYB+dt1eUvZjaAA0jI89BDCJMzRFaUnN8WdVxHLYUQ== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO3P265MB2267 X-OriginatorOrg: cs.ox.ac.uk X-Mailman-Approved-At: Thu, 10 Jun 2021 09:28:18 +0200 X-BeenThere: las-lics@lists.tu-berlin.de X-Mailman-Version: 2.1.12 Precedence: list List-Id: LICS Announcement and Newsletter Distribution List List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Original-Sender: las-lics-bounces@lists.tu-berlin.de Errors-To: las-lics-bounces+gcsmll-las-lics=m.gmane-mx.org@lists.tu-berlin.de X-SASI-RCODE: 200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lists.tu-berlin.de; h=from:to:date:message-id:content-id:mime-version:subject:list-id:list-unsubscribe:list-post:list-help:list-subscribe:content-type:content-transfer-encoding:sender; s=dkim-tub; bh=CGfcc0mnnIMspl+p0/r2x125sFFlc+EAhee93kj2f14=; b=Bg+bmjVBRkhhMVN7tKvmmoyGusxa8uoP3tCuAk6lHuCVUJ0Ti9AkOoFqu5pbhfXD918r04eV/bhSOkrnLkXjRg7PHY+0jH+b8QpD86+prcfPwayzzl4z/HzmRd/kalaqg+xTw1F6QuO2VcuUplYoCJPtcf9Gnk+vde3jKLMeXCw= Xref: news.gmane.io gmane.comp.science.mathematics.logic.lics-newsletter:110 gmane.science.mathematics.categories:10508 gmane.comp.lang.agda:12669 gmane.science.mathematics.discrete:15113 Archived-At: Q0FMTCBGT1IgUEFSVElDSVBBVElPTiANCg0KVGhpcnR5LVNpeHRoIEFubnVhbCBBQ00vSUVFRSBT eW1wb3NpdW0gb24NCkxPR0lDIElOIENPTVBVVEVSIFNDSUVOQ0UgKExJQ1MpDQpjby1sb2NhdGVk IHdpdGggSVRQIDIwMjENCjI5IEp1bmUg4oCTIDIgSnVseSAyMDIxDQpwcmVjZWRlZCBieSB3b3Jr c2hvcHMgMjctMjggSnVuZSAyMDIxDQoNClJlZ2lzdHJhdGlvbiAoZnJvbSAzMCBldXJvcyk6DQpo dHRwOi8vZWFzeWNvbmZlcmVuY2VzLmV1L2xpY3MyMDIxL3JlZ2lzdHJhdGlvbi8NCg0KUHJvZ3Jh bSwgaW5jbHVkaW5nIGxpbmtzIHRvIGFsbCBwcmVwcmludHMgYW5kIHZpZGVvczoNCmh0dHA6Ly9l YXN5Y29uZmVyZW5jZXMuZXUvbGljczIwMjEvcHJvZ3JhbS8NCg0KTGlzdCBvZiBhY2NlcHRlZCBw YXBlcnM6DQpodHRwOi8vZWFzeWNvbmZlcmVuY2VzLmV1L2xpY3MyMDIxL2FjY2VwdGVkLXBhcGVy cy8NCg0KV29ya3Nob3BzOg0KTE1XOiBMb2dpYyBNZW50b3JpbmcgV29ya3Nob3ANClN0cnVjdHVy ZSBtZWV0cyBQb3dlcg0KVExMQTogVHJlbmRzIGluIExpbmVhciBMb2dpYyBhbmQgQXBwbGljYXRp b25zDQpXaUw6IFdvbWVuIGluIExvZ2ljDQoNCktleW5vdGVzIGZyb20NCkx1Y2EgQWNldG8NCk1h cnRpbiBHcm9oZSANCk1hdXJpemlvIExlbnplcmluaQ0KTmFkaWEgUG9saWthcnBvdmENClJ5YW4g V2lsbGlhbXMNCg0KDQpZb3UgYXJlIHN1YnNjcmliZWQgdG8gdGhlIGxpY3MgbWFpbGluZyBsaXN0 IGJlY2F1c2UgeW91IGhhdmUgc2lnbmVkIHVwIGZvciBpdCBpbiB0aGUgcGFzdC4KClN1Ym1pc3Np b25zIHRvIHRoZSBuZXdzbGV0dGVyOgpTZW5kIGFuIGVtYWlsIHRvIGxhcy1saWNzQGxpc3RzLnR1 LWJlcmxpbi5kZS4KClVuc3Vic2NyaWJlOgpUbyB1bnN1YnNjcmliZSwgcGxlYXNlIHNlbmQgYW4g ZW1haWwgdG8gbGFzLWxpY3MtcmVxdWVzdEBsaXN0cy50dS1iZXJsaW4uZGUgd2l0aAp0aGUga2V5 d29yZCAndW5zdWJzY3JpYmUnIGluIHRoZSBtZXNzYWdlIGJvZHkgKHdpdGhvdXQgJykuCgpTdWJz Y3JpYmU6ClRvIHN1YnNjcmliZSwgIHBsZWFzZSBzZW5kIGFuIGVtYWlsIHRvIGxhcy1saWNzLXJl cXVlc3RAbGlzdHMudHUtYmVybGluLmRlIHdpdGgKdGhlIGtleXdvcmQgJ3N1YnNjcmliZScgaW4g dGhlIG1lc3NhZ2UgYm9keSAod2l0aG91dCAnKS4=