<div dir="ltr">It is our pleasure to announce that the 16th workshop on Computational<br>Logic and Applications will be held in January 2023, as a hybrid<br>workshop at Ecole Polytechnique (south of Paris) and online.<br><br>Workshop dates: 12-13 January 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!QBYDOrctlQeiXUzt4G3rHOsaEdk7g2n3WNqm5JW6If17KHVna-ZRnfovv_m52WZxGk_Kjut95EfKzz2n7y6gXM-r3dGT-tXI6ijs_6iV$">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>Submission<br>==========<br><br>Talk proposals should consist of short abstracts of up to three pages,<br>and may describe either ongoing or previously published work.<br>Submissions should be sent by email to the organizers (see below).<br><br>Depending on the number of submissions, contributed talks will be 20-30<br>minutes long.<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><br>Important dates<br>===============<br><br>-   Submission deadline: November 30, 2022 (AoE)<br>-   Notification: December 7, 2022 (AoE)<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></div>