<div dir="ltr">*** Call for Participation ***<br><br>*** 16th workshop on Computational Logic and Applications (CLA), at Ecole Polytechnique (south of Paris) and online. ***<br><br>The previsional program is here: <a href="https://urldefense.com/v3/__https://cla.tcs.uj.edu.pl/*program__;Iw!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhCoWgp8i$">https://cla.tcs.uj.edu.pl/#program</a><br><br>Registration<br>============<br><br>Fill in the form (<a href="https://urldefense.com/v3/__https://docs.google.com/forms/d/1oAqKLZ5xkDjvXhrHZM3lofKYXxjUhv1muRVmjRgEJhY/__;!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhHirJg24$">https://docs.google.com/forms/d/1oAqKLZ5xkDjvXhrHZM3lofKYXxjUhv1muRVmjRgEJhY/</a>) to register your intention to participate. Whether in person or online, attendance is free. Please remember, however, to meet the registration deadlines.<br><br>Important dates<br>===============<br><br>-   Registration deadline for in-person attendance: December 16, 2022<br>-   Registration deadline for online attendance: January 9, 2023<br>-   Workshop: January 12-13, 2023<br><br>Overview and scope<br>==================<br><br>Started in 2002, the CLA workshops (<a href="https://urldefense.com/v3/__https://cla.tcs.uj.edu.pl/__;!!IBzWLUs!U1lh34IWTRV1bcWi9EpPjpvSFyLeX7VkG0N3yjEKLliKfPRWUNeFAnKuZSYQMfwubeaBPqk8vNlB3sjJILNXYRhx9c13bsldhNmdDJ7m$">https://cla.tcs.uj.edu.pl/</a>) provide<br>an open, free access forum for interdisciplinary research concentrated<br>around combinatorial and quantitative aspects of mathematical logic and<br>their applications in computer science.<br><br>Topics within the scope of CLA include:<br><br>-   combinatorics of lambda calculus, sequent calculi, and related<br>    logical formalisms, as well as their interactions with the<br>    combinatorics of maps and related objects;<br>-   combinatorics of lattices derived from logic or rewriting;<br>-   asymptotic enumeration and statistical properties of formulae,<br>    types, proofs, programs, etc.;<br>-   quantitative aspects of program evaluation and normalisation;<br>-   random generation with applications to logic and programming;<br>-   randomness in software testing and counter-example generation.<br><br>Organizing and Programme Committee<br>==================================<br><br>-   Olivier Bodini <<a href="mailto:olivier.bodini@univ-paris13.fr">olivier.bodini@univ-paris13.fr</a>><br>-   Alain Giorgetti <<a href="mailto:alain.giorgetti@femto-st.fr">alain.giorgetti@femto-st.fr</a>><br>-   Noam Zeilberger <<a href="mailto:noam.zeilberger@lix.polytechnique.fr">noam.zeilberger@lix.polytechnique.fr</a>><br></div>