From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10840 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 talk proposals Date: Tue, 1 Nov 2022 22:41:37 +0100 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============5677582324309637190==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22937"; 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 Wed Nov 02 06:47:55 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 1oq6bS-0005ef-LM for gcst-types-announce@m.gmane-mx.org; Wed, 02 Nov 2022 06:47:54 +0100 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.17.1.5/8.17.1.5) with ESMTP id 2A213ldt010436; Wed, 2 Nov 2022 01:47:04 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-00390e01.pphosted.com (PPS) with ESMTP id 3khhgfceqr-1; Wed, 02 Nov 2022 01:47:04 -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 2A25ktxZ111385; Wed, 2 Nov 2022 01:46:56 -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 2A25ktpR110512; Wed, 2 Nov 2022 01:46:55 -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 2A1LfpGb037008 for ; Tue, 1 Nov 2022 17:41:51 -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 2A1KVRHD017990 for ; Tue, 1 Nov 2022 17:41:51 -0400 Original-Received: from mail-wr1-f48.google.com (mail-wr1-f48.google.com [209.85.221.48]) by mx0a-00390e01.pphosted.com (PPS) with ESMTPS id 3khhtag2q4-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Tue, 01 Nov 2022 17:41:51 -0400 Original-Received: by mail-wr1-f48.google.com with SMTP id o4so21932039wrq.6 for ; Tue, 01 Nov 2022 14:41:50 -0700 (PDT) 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=DaA0InQElFha4j2SpI/IS0O2pvVmUWa+ZUwufYoJEQ8=; b=lMwjX6Wlpu3hQpi1wTMDPKPsN3GR4soaIZK+p/hd/InlTqYT+PTc0qqF3IooMGE/WW Of4GhkDbfgRcLNc74vH/gUpq+KSvWpZbJhEW3LojjsZJza6/Fi1v0TpCYmKW1mCsTTFa iJoNiiJtIcFz6V14NegfHssiAm8GpCCNH+O40QNPVWK0/tNqQbBTulr9ma9WRhv54pyW 0qYQ1lXWdNXTgkKqUotkbbtp2uz4nis9tHfjZZVQfbbcgRZdWwMBm5q5C36eQ8cd2TX3 AFm9qK1BjxeYn3VoJMuGeXXyaqsCnTTbSuNQiffaMohk2MnSIKPSLRxNAIB6Mkt1sDuK JyAw== 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=DaA0InQElFha4j2SpI/IS0O2pvVmUWa+ZUwufYoJEQ8=; b=GLPswGcG2EtuhXdM3ho3ESH0byUvejRJ6AE6xJmQ9P6r64ASVLho7/sFkcR31vUTH0 NiVR0UjPprOg8HuxPJgduq37d+9oZ+uhcP8M/AnRka2QEXKlEsqkTpuEL9IWF8iJQHtT W5eb6F0j/++GayJ3wGboXZG+4f/8Ckh3V41wElTYp1cj3qlIjn/4cIYp1+Tj+8/pOMth dx4SCGPihdhGsjYAsE8pPgW4Zz+OSwTHBYEnL9Xle14UPIpEEaVfBOB2a2RKTLmqOdk8 tsMdY5srufLrfNvVjrI8MZGlcS72sPkoBESnk5uB5xkXeK61P4tZamnbIeLoAfE/1LxR w1/A== X-Gm-Message-State: ACrzQf3yeTERqV8OPrxB3XV+SHlmLVq9IIvkrjxgJeRRxbGEGNp3/m65 ex6rFgvrCSb9EE7VN9TgJISiKNcJqOU779Dr4vuvWDxPB/kB X-Google-Smtp-Source: AMsMyM4ysWedT8I99iLvfTij7fkzg7qt52loC4EYFsywEGA6s4bWuHb4HgcOjwGdCsNaC4sYim5B2iPTL0qINTtiSkI= X-Received: by 2002:a05:6000:5c9:b0:236:d606:58d7 with SMTP id bh9-20020a05600005c900b00236d60658d7mr6703703wrb.226.1667338909103; Tue, 01 Nov 2022 14:41:49 -0700 (PDT) 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_10,2022-11-01_02,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 adultscore=0 mlxlogscore=999 mlxscore=0 phishscore=0 spamscore=0 priorityscore=351 impostorscore=0 suspectscore=0 lowpriorityscore=0 clxscore=217 bulkscore=0 malwarescore=0 unknownsenderscore=20 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2211010149 domainage_hfrom=9942 X-Mailman-Approved-At: Wed, 02 Nov 2022 01:46:52 -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: azEhlq6R_C01bWY0tXJkpVB3yYi4jkTO X-Proofpoint-GUID: azEhlq6R_C01bWY0tXJkpVB3yYi4jkTO 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-02_02,2022-11-01_02,2022-06-22_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 bulkscore=0 clxscore=1034 adultscore=0 lowpriorityscore=0 priorityscore=1501 mlxlogscore=999 suspectscore=0 impostorscore=0 spamscore=0 malwarescore=0 phishscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2210170000 definitions=main-2211020035 Xref: news.gmane.io gmane.comp.science.types.announce:10556 gmane.science.mathematics.categories:10840 gmane.science.mathematics.prooftheory:1688 Archived-At: --===============5677582324309637190== 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 ] --===============5677582324309637190== Content-Type: multipart/alternative; boundary="00000000000065bba005ec6f9736" --00000000000065bba005ec6f9736 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable It is our pleasure to announce that the 16th workshop on Computational Logic and Applications will be held in January 2023, as a hybrid workshop at Ecole Polytechnique (south of Paris) and online. Workshop dates: 12-13 January 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!QBYDOrctlQeiXUzt4G3rHOsaEdk7g2n3WNqm5JW6If17KHV= na-ZRnfovv_m52WZxGk_Kjut95EfKzz2n7y6gXM-r3dGT-tXI6ijs_6iV$ ) 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. Submission =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Talk proposals should consist of short abstracts of up to three pages, and may describe either ongoing or previously published work. Submissions should be sent by email to the organizers (see below). Depending on the number of submissions, contributed talks will be 20-30 minutes long. 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 Important dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D - Submission deadline: November 30, 2022 (AoE) - Notification: December 7, 2022 (AoE) - Registration deadline for in-person attendance: December 16, 2022 - Registration deadline for online attendance: January 9, 2023 - Workshop: January 12-13, 2023 --00000000000065bba005ec6f9736 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: Quoted-printable
It is our pleasure to announce that the 16th workshop on C= omputational
Logic and Applications will be held in January 2023, as a h= ybrid
workshop at Ecole Polytechnique (south of Paris) and online.
Workshop dates: 12-13 January 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, th= e CLA workshops (https://cla.tcs.uj.edu.= pl/) provide
an open, free access forum for interdisciplinary resear= ch concentrated
around combinatorial and quantitative aspects of mathema= tical logic and
their applications in computer science.

Topics wi= thin the scope of CLA include:

- =C2=A0 combinatorics of lambda calc= ulus, sequent calculi, and related
=C2=A0 =C2=A0 logical formalisms, as = well as their interactions with the
=C2=A0 =C2=A0 combinatorics of maps = and related objects;
- =C2=A0 combinatorics of lattices derived from log= ic or rewriting;
- =C2=A0 asymptotic enumeration and statistical propert= ies of formulae,
=C2=A0 =C2=A0 types, proofs, programs, etc.;
- =C2= =A0 quantitative aspects of program evaluation and normalisation;
- =C2= =A0 random generation with applications to logic and programming;
- =C2= =A0 randomness in software testing and counter-example generation.

S= ubmission
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Talk proposals should co= nsist of short abstracts of up to three pages,
and may describe either o= ngoing or previously published work.
Submissions should be sent by email= to the organizers (see below).

Depending on the number of submissio= ns, contributed talks will be 20-30
minutes long.

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.bodin= i@univ-paris13.fr>
- =C2=A0 Alain Giorgetti <alain.giorgetti-qPpMuP/vQ5RWj0EZb7rXcA@public.gmane.org>
- =C2= =A0 Noam Zeilberger <noam.zeilberger-TgEOGOHWQm0czSlqHMVBIP3zm4ADWneb@public.gmane.org>

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

- =C2=A0 Submission d= eadline: November 30, 2022 (AoE)
- =C2=A0 Notification: December 7, 2022= (AoE)
- =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
--00000000000065bba005ec6f9736-- --===============5677582324309637190==--