From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10873 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Noam Zeilberger Newsgroups: gmane.science.mathematics.categories Subject: 16th workshop on Computational Logic and Applications: Call for Participation Date: Tue, 13 Dec 2022 14:32:44 +0100 Message-ID: Reply-To: Noam Zeilberger Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1093"; mail-complaints-to="usenet@ciao.gmane.io" To: categories list Original-X-From: majordomo@rr.mta.ca Wed Dec 14 16:42:49 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1p5TuC-000AaZ-NT for gsmc-categories@m.gmane-mx.org; Wed, 14 Dec 2022 16:42:48 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:37102) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1p5TtN-0003ix-7g; Wed, 14 Dec 2022 11:41:57 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1p5Tsl-000621-Rf for categories-list@rr.mta.ca; Wed, 14 Dec 2022 11:41:19 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10873 Archived-At: *** 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 ============ Fill in the form ( https://docs.google.com/forms/d/1oAqKLZ5xkDjvXhrHZM3lofKYXxjUhv1muRVmjRgEJhY/) to register your intention to participate. Whether in person or online, attendance is free. Please remember, however, to meet the registration deadlines. 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://cla.tcs.uj.edu.pl/) 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 - Alain Giorgetti - Noam Zeilberger [For admin and other information see: http://www.mta.ca/~cat-dist/ ]