From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10872 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Noam Zeilberger Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory Subject: 16th workshop on Computational Logic and Applications: Call for Participation Date: Tue, 13 Dec 2022 14:32:44 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============5836344200311448948==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32825"; mail-complaints-to="usenet@ciao.gmane.io" To: categories list , ProofTheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Tue Dec 13 17:06:06 2022 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-00390e01.pphosted.com ([148.163.133.158]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1p57nC-0008IE-7v for gcst-types-announce@m.gmane-mx.org; Tue, 13 Dec 2022 17:06:06 +0100 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 2BD9sh9f002441; Tue, 13 Dec 2022 11:05:09 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-00390e01.pphosted.com (PPS) with ESMTP id 3md7tmxws9-1; Tue, 13 Dec 2022 11:05:08 -0500 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 2BDG50iL121440; Tue, 13 Dec 2022 11:05:00 -0500 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 2BDG50M6004454; Tue, 13 Dec 2022 11:05:00 -0500 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 2BDDWxnW123708 for ; Tue, 13 Dec 2022 08:32:59 -0500 Original-Received: from pps.filterd (m0172794.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 2BDB643o003181 for ; Tue, 13 Dec 2022 08:32:59 -0500 Original-Received: from mail-wr1-f52.google.com (mail-wr1-f52.google.com [209.85.221.52]) by mx0b-00390e01.pphosted.com (PPS) with ESMTPS id 3md8bx49qx-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Tue, 13 Dec 2022 08:32:59 -0500 Original-Received: by mail-wr1-f52.google.com with SMTP id h12so15596625wrv.10 for ; Tue, 13 Dec 2022 05:32:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=+J1dySxygB/snKkP0jqhO2xKgEtWJ0STshA/6jVYBk0=; b=Emdh9DCsxjjZEDoaxXLh2KeDIM8/YSFNj4/32exEeRcoulqVSvbZw8oEtNVpki0YOD U8FhWtdMZclooot7R1R2GVdZLLDts70N89jQiElwEDEPAVRrnvrc9nMA8NkHSAD+RXc6 DDV8KUnQBxSgf0xrQm9WYDNAxwLNit4ZTyCH+vCuK0NVqovuOMJFiPso/cfeunkWHFv1 11+tLbwMhOaqWXGLeZR9cGU7jeSh7AgeMsc0faecS4JJnh79G8ctk6EgFPGf8Euz41na Lb+U3IaFxDSdtouPRGzR8l2ukigY2NeYx/7cNSNxXspTwlH3FSnTw1V67iNC9QlMTpVa nAvA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=+J1dySxygB/snKkP0jqhO2xKgEtWJ0STshA/6jVYBk0=; b=PBFNgkw7H/7kT2A8YyODiuoVSjykC4SvKHWQuzmYPbpGpibEcmaRaMsgxv3qkFrkjm 18gx6eOnmZT34lWx4wHl1ro45tQUaINP/rPSqrrwwn14sSbK8oJjumi4RGTjurXQWs/0 YjJ3yGPE5Bc8ay91wteJGmpyfuneWQ/kTmema+M3pECAXTGd65ZDO4qeAfr3uxQF4oIz IoGmuKiLb5/faBVggeccpCrVhK5/36sep1KNMZWfozDpNUh8YfcvtoiRZN+4SlF8ifUq 1ZRt5LkkxvAnLRYtTRgWMf9MNSxjbkNC2oHP9e+fp4SwIKh0GK+4V9ZVH76APuEZiEU2 mRRA== X-Gm-Message-State: ANoB5pkhrD11kEJ+ZT6apftLb0uebUG9zI7vMemWdCKyRlsOf+Utfml/ tFEMki9PyqnwZ4Y7DWnqISSNu0IS391bZm2hKKo6tiP4nLeT X-Google-Smtp-Source: AA0mqf7+bHvtvKyHqHO4BUNDT7MN7oICiYzq1vxQ5IbYpYyPuP0ajB30bNOgVbLqYX2+p6gk9XkPRvX9Ula0L0ipfhU= X-Received: by 2002:a5d:614b:0:b0:242:18a0:d03 with SMTP id y11-20020a5d614b000000b0024218a00d03mr29082933wrt.542.1670938377305; Tue, 13 Dec 2022 05:32:57 -0800 (PST) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.923,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-12-13_03,2022-12-13_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 malwarescore=0 suspectscore=0 priorityscore=344 spamscore=0 clxscore=214 impostorscore=0 phishscore=0 mlxlogscore=842 adultscore=0 bulkscore=0 lowpriorityscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2212130120 domainage_hfrom=9984 X-Mailman-Approved-At: Tue, 13 Dec 2022 11:04:58 -0500 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-GUID: THEXeboHSVxl8H7aTd7OhUAlC--G0U3e X-Proofpoint-ORIG-GUID: THEXeboHSVxl8H7aTd7OhUAlC--G0U3e X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.923,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2022-12-13_03,2022-12-13_01,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 clxscore=1034 mlxlogscore=999 phishscore=0 spamscore=0 mlxscore=0 priorityscore=1501 adultscore=0 suspectscore=0 impostorscore=0 lowpriorityscore=0 bulkscore=0 malwarescore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2212130142 Xref: news.gmane.io gmane.comp.science.types.announce:10612 gmane.science.mathematics.categories:10872 gmane.science.mathematics.prooftheory:1692 Archived-At: --===============5836344200311448948== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============5836344200311448948== Content-Type: multipart/alternative; boundary="0000000000006bc39b05efb5a83c" --0000000000006bc39b05efb5a83c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** Call for Participation *** *** 16th workshop on Computational Logic and Applications (CLA), at Ecole Polytechnique (south of Paris) and online. *** The previsional program is here: https://urldefense.com/v3/__https://cla.tc= s.uj.edu.pl/*program__;Iw!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEK= LliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhCoWgp8i$=20 Registration =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Fill in the form ( https://urldefense.com/v3/__https://docs.google.com/forms/d/1oAqKLZ5xkDjvXh= rHZM3lofKYXxjUhv1muRVmjRgEJhY/__;!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7Vk= G0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhHirJg24$ ) to register your intention to participate. Whether in person or online, attendance is free. Please remember, however, to meet the registration deadlines. Important dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Registration deadline for in-person attendance: December 16, 2022 - Registration deadline for online attendance: January 9, 2023 - Workshop: January 12-13, 2023 Overview and scope =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Started in 2002, the CLA workshops (https://urldefense.com/v3/__https://cla= .tcs.uj.edu.pl/__;!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPR= WUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhNmdDJ7m$ ) provide an open, free access forum for interdisciplinary research concentrated around combinatorial and quantitative aspects of mathematical logic and their applications in computer science. Topics within the scope of CLA include: - combinatorics of lambda calculus, sequent calculi, and related logical formalisms, as well as their interactions with the combinatorics of maps and related objects; - combinatorics of lattices derived from logic or rewriting; - asymptotic enumeration and statistical properties of formulae, types, proofs, programs, etc.; - quantitative aspects of program evaluation and normalisation; - random generation with applications to logic and programming; - randomness in software testing and counter-example generation. Organizing and Programme Committee =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D - Olivier Bodini - Alain Giorgetti - Noam Zeilberger --0000000000006bc39b05efb5a83c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
*** Call for Participation ***

*** 16th workshop on= Computational Logic and Applications (CLA), at Ecole Polytechnique (south = of Paris) and online. ***

The previsional program is here: https://cla.tcs.uj.edu.pl/#program

Registration
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Fill i= n the form (https://docs.google.com/forms/d/1oAqKLZ5xkDjvXhrHZM3= lofKYXxjUhv1muRVmjRgEJhY/) to register your intention to participate. W= hether in person or online, attendance is free. Please remember, however, t= o meet the registration deadlines.

Important dates
=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

- =C2=A0 Registration deadline for= in-person attendance: December 16, 2022
- =C2=A0 Registration deadline = for online attendance: January 9, 2023
- =C2=A0 Workshop: January 12-13,= 2023

Overview and scope
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D

Started in 2002, the CLA workshops (https://cla.tcs.uj.edu.pl/) provide
an open, free= access forum for interdisciplinary research concentrated
around combina= torial and quantitative aspects of mathematical logic and
their applicat= ions in computer science.

Topics within the scope of CLA include:
- =C2=A0 combinatorics of lambda calculus, sequent calculi, and relate= d
=C2=A0 =C2=A0 logical formalisms, as well as their interactions with t= he
=C2=A0 =C2=A0 combinatorics of maps and related objects;
- =C2=A0 = combinatorics of lattices derived from logic or rewriting;
- =C2=A0 asym= ptotic enumeration and statistical properties of formulae,
=C2=A0 =C2=A0= types, proofs, programs, etc.;
- =C2=A0 quantitative aspects of program= evaluation and normalisation;
- =C2=A0 random generation with applicati= ons to logic and programming;
- =C2=A0 randomness in software testing an= d counter-example generation.

Organizing and Programme Committee
= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D

- =C2=A0 Olivier Bodini <olivier.bodini-JY2aMsvkacLL3r5zjyq63w@public.gmane.org>= ;
- =C2=A0 Alain Giorgetti <alain.giorgetti-qPpMuP/vQ5RWj0EZb7rXcA@public.gmane.org>
- =C2=A0 Noam Zeilberger <<= a href=3D"mailto:noam.zeilberger-TgEOGOHWQm0czSlqHMVBIP3zm4ADWneb@public.gmane.org">noam.zeilberger@lix.= polytechnique.fr>
--0000000000006bc39b05efb5a83c-- --===============5836344200311448948==--