categories - Category Theory list
 help / color / mirror / Atom feed
From: Noam Zeilberger <noam.zeilberger@gmail.com>
To: categories list <categories@mta.ca>
Subject: 16th workshop on Computational Logic and Applications: Call for Participation
Date: Tue, 13 Dec 2022 14:32:44 +0100	[thread overview]
Message-ID: <E1p5Tsl-000621-Rf@rr.mta.ca> (raw)

*** 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 <olivier.bodini@univ-paris13.fr>
-   Alain Giorgetti <alain.giorgetti@femto-st.fr>
-   Noam Zeilberger <noam.zeilberger@lix.polytechnique.fr>


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


             reply	other threads:[~2022-12-13 13:32 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-12-13 13:32 Noam Zeilberger [this message]
  -- strict thread matches above, loose matches on Subject: below --
2022-12-13 13:32 Noam Zeilberger

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=E1p5Tsl-000621-Rf@rr.mta.ca \
    --to=noam.zeilberger@gmail.com \
    --cc=categories@mta.ca \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).