[TYPES/announce] 16th workshop on Computational Logic and Applications: Call for Participation

Noam Zeilberger noam.zeilberger at gmail.com
Tue Dec 13 08:32:44 EST 2022

*** 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.tcs.uj.edu.pl/*program__;Iw!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhCoWgp8i$ 


Fill in the form (
https://urldefense.com/v3/__https://docs.google.com/forms/d/1oAqKLZ5xkDjvXhrHZM3lofKYXxjUhv1muRVmjRgEJhY/__;!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhHirJg24$ )
to register your intention to participate. Whether in person or online,
attendance is free. Please remember, however, to meet the registration

Important dates

-   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

Started in 2002, the CLA workshops (https://urldefense.com/v3/__https://cla.tcs.uj.edu.pl/__;!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhNmdDJ7m$ ) 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

-   Olivier Bodini <olivier.bodini at univ-paris13.fr>
-   Alain Giorgetti <alain.giorgetti at femto-st.fr>
-   Noam Zeilberger <noam.zeilberger at lix.polytechnique.fr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221213/22b0b98d/attachment-0001.htm>

More information about the Types-announce mailing list