From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10737 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Filip Sieczkowski Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.comp.lang.haskell.general,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.comp.lang.caml.inria,gmane.comp.lib.boost.interest,gmane.comp.ai.prolog.ciao.general,gmane.comp.lang.clean Subject: SPLV 2022 - Call for Participation Date: Tue, 10 May 2022 08:52:54 +0100 Message-ID: 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="31680"; mail-complaints-to="usenet@ciao.gmane.io" To: categories-59hdLBrVOVU@public.gmane.org, events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org, haskell-HC+Z4NTRIlBAfugRpC6u6w@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, caml-list-MZpvjPyXg2s@public.gmane.org, boost-interest-q6ZjaXuubFjwRsdMLXbzog@public.gmane.org, ciao-users-kYXLOAl8R6lAfugRpC6u6w@public.gmane.org, clean-list-FT9nftu9LUxGKl9A47OLhQ@public.gmane.org, event-HKdKWCMRuSoyzp8zgePYoYQuADTiUCJX@public.gmane.org, prog-lang-dAYI7NvHqcQ@public.gmane.org, afsec-uQ6SdIlBe1M4h7XYF1oZqFAUjnlXr6A1@public.gmane.org, security-vWCY0m3ESXPYtjvyW6yDsg@public.gmane.org, gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org, planetkr-7hZN9r6sC8U@public.gmane.org, fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org, nwpt-info-9jONkmmOlFFJyyPhQCpnVw@public.gmane.org, theorynt-JX7+OpRa80RAtAYDKi7u6De48wsgrGvP@public.gmane.org, wi-38cWrvCrWb9y80wz8M7KhqmYAUrVh0xC@public.gmane.org, comm-theory-EkmVulN54Sk@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Tue May 10 10:43:46 2022 Return-path: 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 1noLT8-00085c-8m for gcst-types-announce@m.gmane-mx.org; Tue, 10 May 2022 10:43:46 +0200 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 249JWCV5015110; Tue, 10 May 2022 04:42:59 -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 3fx63tgbyw-1; Tue, 10 May 2022 04:42:58 -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 24A8gqvT000887; Tue, 10 May 2022 04:42:52 -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 24A8gpnE114783; Tue, 10 May 2022 04:42:51 -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.15.2/8.15.2) with ESMTP id 24A7r7X4110976 for ; Tue, 10 May 2022 03:53:08 -0400 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 24A543Ln003648 for ; Tue, 10 May 2022 03:53:07 -0400 Original-Received: from mail-pj1-f49.google.com (mail-pj1-f49.google.com [209.85.216.49]) by mx0a-00390e01.pphosted.com (PPS) with ESMTPS id 3fx6d9fxrv-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Tue, 10 May 2022 03:53:06 -0400 Original-Received: by mail-pj1-f49.google.com with SMTP id cq17-20020a17090af99100b001dc0386cd8fso1457877pjb.5 for ; Tue, 10 May 2022 00:53:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-uni-wroc-pl.20210112.gappssmtp.com; s=20210112; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=HTVvx07zckeo6kDzT/gP4Py4Tc664zLA+jlgqzsQgKE=; b=yJHNetIaCWeXP3knDe4eiSF2it9Wa5MDQQfUNs9E7OyFiOkF+8ahCuZQqAzmY5WbS+ yuy6h2SiAu/HP7AmtfgLLuMwBymPVkGMy91XuU7CFeQvxGuwV6gnrjxYKbB5sDpgSQ9f r6n0J6lpqwVhT/hAkEuHgj98hwx/P43INc0xhbB+2v+d5uJCcwN2udM0ETKWKIj7r3GH fjW8KtUL8xOGYhibnCcL4fxPFCxEo+sIKMGV9bGmm3JHMh3bZs7l0Gpevoq49q5XD48T KwGSf0dXfalcl+Uaxz/1wdC+Pxb4OQ13c10MHk/q2x1eNT7f6BZFrl9Cius5J1sqGkhi 9T8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=HTVvx07zckeo6kDzT/gP4Py4Tc664zLA+jlgqzsQgKE=; b=hrScIMUfWaKm9UPF/hmCDxXswLuZSVXwTHCLtn7U6XImGY6vT7wIBT8BNyu0n7CaPr RYJ7M6v+tsA10O8F8cde9II3DLTkMI5mH2JXEpeYJM0SkdSAjvtrlYmoXt36ZrNDtiK1 JkNQRXQp5gPHXvecxs2QRzUU47VIFJS5UwNmHviAk1Q5ilWPvyudii6Ars7j54EoJIYj UX15wicK/BvYIa3DTSRX1yO160ixMFYP5yJmfQlLviYXhp6Iuhqa79+Z0uAv9dac7ihq x0OdznxtEU3/xXj3rNuxjFUpHMeIQ9AyH0EoDRObN2GNMwx61/reRJMoE1w5k00iCt+s qTgg== X-Gm-Message-State: AOAM531U7ew9MOu7D3zeOvOD2U6VUrh+suh+7gv23Pml5X8fG2CS3Hbo XUZ2uVMPs8SxJTnjhxlbI7LHcR6t336agv3z2tIVfg== X-Google-Smtp-Source: ABdhPJxitcxhQtnrUqC3Y7LzJVEn9gpgPjT7/Yes7S3ZAIgkmsqfy9ZRyFHvNle779/7dP5uwvvsfoWtSutbFedohR4= X-Received: by 2002:a17:903:32c6:b0:15e:c1cc:2405 with SMTP id i6-20020a17090332c600b0015ec1cc2405mr20032001plr.117.1652169186091; Tue, 10 May 2022 00:53:06 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-05-10_01,2022-05-09_02,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 clxscore=161 priorityscore=130 suspectscore=0 lowpriorityscore=0 phishscore=0 mlxlogscore=999 bulkscore=0 impostorscore=0 mlxscore=0 malwarescore=0 spamscore=0 adultscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2205100032 X-Mailman-Approved-At: Tue, 10 May 2022 04:42:41 -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: y3GRqrgByb7yzhGp9hX_2x9zKd0t2S2N X-Proofpoint-GUID: y3GRqrgByb7yzhGp9hX_2x9zKd0t2S2N X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.858,Hydra:6.0.486,FMLib:17.11.64.514 definitions=2022-05-10_01,2022-05-09_02,2022-02-23_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 adultscore=0 spamscore=0 phishscore=0 clxscore=1034 mlxscore=0 suspectscore=0 bulkscore=0 priorityscore=1501 impostorscore=0 mlxlogscore=999 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2202240000 definitions=main-2205100036 Xref: news.gmane.io gmane.comp.science.types.announce:10308 gmane.science.mathematics.categories:10737 gmane.comp.lang.haskell.general:22672 gmane.science.mathematics.logic.coq.club:23134 gmane.comp.lang.agda:12941 gmane.comp.lang.caml.inria:69749 gmane.comp.lib.boost.interest:216 gmane.comp.ai.prolog.ciao.general:857 gmane.comp.lang.clean:4065 Archived-At: WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKKy0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LSsKfCAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgIHwKfCBTY290dGlzaCBQcm9ncmFtbWluZyBMYW5ndWFnZXMgYW5kIFZlcmlmaWNh dGlvbiBTdW1tZXIgU2Nob29sIHwKfCBIZXJpb3QtV2F0dCBVbml2ZXJzaXR5LCBVSywgMTEtLTE1 IEp1bHkgMjAyMiAgICAgICAgICAgICAgICAgIHwKfCBodHRwczovL3VybGRlZmVuc2UuY29tL3Yz L19faHR0cHM6Ly93d3cubWFjcy5ody5hYy51ay9zcGx2L3NwbHYyMi9fXzshIUlCeldMVXMhVldy ZjRUUjZ1X0ctRU54UXA1QnRTeGYtR3hxcGRWLXg2czhQejF1MC1nc0tNbnBuVFNNVVRWZzJFQ2Vl VTdfQW9sRUt4d21WTUQwSFNiWjhCM3h3eEY3YTBEbFZiYndPJCAgICAgICAgICAgICAgICAgICAg ICAgICB8CnwgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICB8CistLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0rCgoKVGhlIFNjb3R0aXNoIFByb2dyYW1taW5nIExhbmd1 YWdlcyBhbmQgVmVyaWZpY2F0aW9uIFN1bW1lciBTY2hvb2wgd2lsbApiZSBoZWxkIGF0IEhlcmlv dC1XYXR0IFVuaXZlcnNpdHkgMTEtLTE1IEp1bHkgMjAyMi4gVGhlIGFpbSBvZiB0aGUKc2Nob29s IGlzIHRvIHByb3ZpZGUgUGhEIHN0dWRlbnRzIHdpdGggY29yZSBhbmQgc3BlY2lhbGlzZWQga25v d2xlZGdlCmluIHRoZSBicm9hZCBhcmVhIG9mIFByb2dyYW1taW5nIExhbmd1YWdlIGFuZCBWZXJp ZmljYXRpb24gcmVzZWFyY2guCgoKQ09VUlNFUwo9PT09PT09CgpDb3JlIGNvdXJzZXMKLS0tLS0t LS0tLS0tCgoqIEphbWVzIE1jS2lubmEgKEhlcmlvdC1XYXR0IFVuaXZlcnNpdHkpCiAg4oCcVGhl IGxhbWJkYSBjYWxjdWx1cywgZm9ybWFsaXNlZDogdGhlIENodXJjaC1Sb3NzZXIgYW5kCiAgU3Rh bmRhcmRpc2F0aW9uIHRoZW9yZW1zLCB3aXRoIGFwcGxpY2F0aW9uc+KAnQoKKiBFbGl6YWJldGgg UG9sZ3JlZW4gKFUuIEVkaW5idXJnaCkKICDigJxBbiBJbnRyb2R1Y3Rpb24gdG8gU0FUIGFuZCBT TVTigJ0KClNwZWNpYWxpc2VkIGNvdXJzZXMKLS0tLS0tLS0tLS0tLS0tLS0tLQoKKiBTdXNtaXQg U2Fya2FyIChTdC4gQW5kcmV3cyksIE1hcmtvIERva28gKEhlcmlvdC1XYXR0IFVuaXZlcnNpdHkp CiAg4oCcQW4gSW50cm9kdWN0aW9uIHRvIFJlYXNvbmluZyB3aXRoIFdlYWsgTWVtb3J54oCdCgoq IE9oYWQgS2FtbWFyIChVLiBFZGluYnVyZ2gpCiAg4oCcSW50cm9kdWN0aW9uIHRvIFN0YXRpc3Rp Y2FsIG1vZGVsbGluZyB3aXRoIGhpZ2hlci1vcmRlciBtZWFzdXJlCiAgdGhlb3J54oCdCgoqIEds eW5uIFdpbnNrZWwgKFUuIFN0cmF0aGNseWRlL0h1YXdlaSBMYWJzKQogIOKAnE1ha2luZyBDb25j dXJyZW5jeSBGdW5jdGlvbmFs4oCdCgoqIEplcmVteSBTaW5nZXIgKFUuIEdsYXNnb3cpCiAg4oCc Q2FwYWJpbGl0aWVzIGZvciBDb2RlcnM7IGFuIGludHJvZHVjdGlvbiB0byB0aGUgQ0hFUkkgcGxh dGZvcm3igJ0KCkludml0ZWQgTGVjdHVyZQotLS0tLS0tLS0tLS0tLS0KClRCQQoKVGFsa3MKLS0t LS0KCiogSmFtaWUgR2FiYmF5IChIZXJpb3QtV2F0dCBVbml2ZXJzaXR5KQogIOKAnEludHJvZHVj dGlvbiB0byBCbG9ja2NoYWluIHRlY2hub2xvZ3nigJ0KCiogU2FtIExpbmRsZXkgKFUuIEVkaW5i dXJnaCkKICDigJxFZmZlY3QtSGFuZGxlciBPcmllbnRlZCBQcm9ncmFtbWluZ+KAnQoKClBSRVJF UVVJU0lURVMKPT09PT09PT09PT09PQoKVGhlIHNjaG9vbCBpcyBhaW1lZCBhdCBQaEQgc3R1ZGVu dHMgaW4gcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLAp2ZXJpZmljYXRpb24gYW5kIHJlbGF0ZWQgYXJl YXMuIEFsc28gcmVzZWFyY2hlcnMgYW5kIHByYWN0aXRpb25lcnMKd2lsbCBiZSB2ZXJ5IHdlbGNv bWUsIGFzIHdpbGwgc3Ryb25nIG1hc3RlcidzIHN0dWRlbnRzIHdpdGggdGhlCnN1cHBvcnQgb2Yg YSBzdXBlcnZpc29yLiBQYXJ0aWNpcGFudHMgd2lsbCBuZWVkIHRvIGhhdmUgYSBiYWNrZ3JvdW5k CmluIGNvbXB1dGVyIHNjaWVuY2UsIG1hdGhlbWF0aWNzIG9yIGEgcmVsYXRlZCBkaXNjaXBsaW5l LCBhbmQgaGF2ZQpiYXNpYyBmYW1pbGlhcml0eSB3aXRoIChmdW5jdGlvbmFsKSBwcm9ncmFtbWlu ZyBhbmQgbG9naWMuCgoKU1BPTlNPUlNISVAKPT09PT09PT09PT0KCldlIG9mZmVyIGEgcmFuZ2Ug b2Ygc3BvbnNvcnNoaXAgb3Bwb3J0dW5pdGllcyBmb3IgaW5kdXN0cnkgd2l0aAphdHRyYWN0aXZl IGJlbmVmaXRzIC0tIHBsZWFzZSBnZXQgaW4gdG91Y2ggaWYgeW91IGFyZSBpbnRlcmVzdGVkLgoK ClJFR0lTVFJBVElPTgo9PT09PT09PT09PT0KClJlZ2lzdHJhdGlvbiBpcyBvcGVuIGF0IGh0dHBz Oi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2Zvcm1zLmdsZS95VnVKWFU5UDNldnAyUXdB QV9fOyEhSUJ6V0xVcyFWV3JmNFRSNnVfRy1FTnhRcDVCdFN4Zi1HeHFwZFYteDZzOFB6MXUwLWdz S01ucG5UU01VVFZnMkVDZWVVN19Bb2xFS3h3bVZNRDBIU2JaOEIzeHd4RjdhMEU4bG9QLVkkIAoK VGhlIHJlZ2lzdHJhdGlvbiBmZWVzIGluIGdlbmVyYWwgYXJlIGFzIGZvbGxvd3M6CiogU3R1ZGVu dHMgJiBBY2FkZW1pY3M6IMKjMzMwLgoqIEluZHVzdHJ5OiDCozUwMC4KClRoZSByZWdpc3RyYXRp b24gZmVlIGNvdmVycyBjb2ZmZWUgYnJlYWtzLCBsdW5jaGVzLCBkaW5uZXJzLCBhbmQgYW4KZXhj dXJzaW9uLgoKUmVnaXN0cmF0aW9uIERhdGU6IEp1bmUgMTAsIDIwMjIKCldlIG1heSBiZSBhYmxl IHRvIHByb3ZpZGUgZmVlIHdhaXZlcnMgZm9yIGEgc21hbGwgbnVtYmVyIGZvciBzdHVkZW50cwph cyB3ZWxsIGFzIFNjb3R0aXNoIGFjYWRlbWljcy4gUGxlYXNlIGluZGljYXRlIHlvdXIgaW50ZXJl c3QgaW4gdGhlCnJlZ2lzdHJhdGlvbiBmb3JtLgoKCkFDQ09NTU9EQVRJT04KPT09PT09PT09PT09 PQoKV2UgY2FuIG9mZmVyIDUtbmlnaHQgYWNjb21tb2RhdGlvbiAoU3VuZGF5IHRvIEZyaWRheSkg aW4gc3R1ZGVudCBkb3Jtcwpmb3IgwqMyMTAuIFBsZWFzZSBpbmRpY2F0ZSB5b3VyIGludGVyZXN0 IGluIHRoZSByZWdpc3RyYXRpb24gZm9ybS4KQWx0ZXJuYXRpdmVseSwgTWFycmlvdCBIb3RlbCBv biBIZXJpb3QtV2F0dCBjYW1wdXMgb2ZmZXJzCnNlbGYtb3JnYW5pc2VkIGFjY29tbW9kYXRpb24u CgoKRlVSVEhFUiBJTkZPUk1BVElPTgo9PT09PT09PT09PT09PT09PT09CgpNb3JlIGluZm9ybWF0 aW9uIGNhbiBiZSBmb3VuZCBvbiB0aGUgc2Nob29sIHdlYnBhZ2U6CiAgaHR0cHM6Ly91cmxkZWZl bnNlLmNvbS92My9fX2h0dHA6Ly93d3cubWFjcy5ody5hYy51ay9zcGx2L3NwbHYyMi9fXzshIUlC eldMVXMhVldyZjRUUjZ1X0ctRU54UXA1QnRTeGYtR3hxcGRWLXg2czhQejF1MC1nc0tNbnBuVFNN VVRWZzJFQ2VlVTdfQW9sRUt4d21WTUQwSFNiWjhCM3h3eEY3YTBPdDZRdHZiJCAKClBsZWFzZSBj b250YWN0IG9uZSBvZiB0aGUgbG9jYWwgb3JnYW5pc2VycyBpZiB5b3UgaGF2ZSBhbnkgcXVlc3Rp b25zOgoqIEVrYXRlcmluYSBLb21lbmRhbnRza2F5YSBlLmtvbWVuZGFudHNrYXlhQGh3LmFjLnVr CiogRmlsaXAgU2llY3prb3dza2kgICAgICAgIGYuc2llY3prb3dza2lAaHcuYWMudWsKKiBLYXRo cmluIFN0YXJrICAgICAgICAgICAgay5zdGFya0Body5hYy51awo=