public inbox for categories@mta.ca
 help / color / mirror / Atom feed
* 16th Workshop on Computational Logic and Applications: call for talk proposals
@ 2022-11-01 21:41 Noam Zeilberger
  0 siblings, 0 replies; 2+ messages in thread
From: Noam Zeilberger @ 2022-11-01 21:41 UTC (permalink / raw)
  To: categories list, prooftheory-nJFXYWEDAR8wZN84zEGlPg,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8

[-- Attachment #1: Type: text/plain, Size: 108 bytes --]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


[-- Attachment #2.1: Type: text/plain, Size: 2229 bytes --]

It is our pleasure to announce that the 16th workshop on Computational
Logic and Applications will be held in January 2023, as a hybrid
workshop at Ecole Polytechnique (south of Paris) and online.

Workshop dates: 12-13 January 2023.

Overview and scope
==================

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

Submission
==========

Talk proposals should consist of short abstracts of up to three pages,
and may describe either ongoing or previously published work.
Submissions should be sent by email to the organizers (see below).

Depending on the number of submissions, contributed talks will be 20-30
minutes long.

Organizing and Programme Committee
==================================

-   Olivier Bodini <olivier.bodini-JY2aMsvkacLL3r5zjyq63w@public.gmane.org>
-   Alain Giorgetti <alain.giorgetti-qPpMuP/vQ5RWj0EZb7rXcA@public.gmane.org>
-   Noam Zeilberger <noam.zeilberger-TgEOGOHWQm0czSlqHMVBIP3zm4ADWneb@public.gmane.org>

Important dates
===============

-   Submission deadline: November 30, 2022 (AoE)
-   Notification: December 7, 2022 (AoE)
-   Registration deadline for in-person attendance: December 16, 2022
-   Registration deadline for online attendance: January 9, 2023
-   Workshop: January 12-13, 2023

[-- Attachment #2.2: Type: text/html, Size: 2650 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* 16th Workshop on Computational Logic and Applications: call for talk proposals
@ 2022-11-01 21:41 Noam Zeilberger
  0 siblings, 0 replies; 2+ messages in thread
From: Noam Zeilberger @ 2022-11-01 21:41 UTC (permalink / raw)
  To: categories list

It is our pleasure to announce that the 16th workshop on Computational
Logic and Applications will be held in January 2023, as a hybrid
workshop at Ecole Polytechnique (south of Paris) and online.

Workshop dates: 12-13 January 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.

Submission
==========

Talk proposals should consist of short abstracts of up to three pages,
and may describe either ongoing or previously published work.
Submissions should be sent by email to the organizers (see below).

Depending on the number of submissions, contributed talks will be 20-30
minutes long.

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>

Important dates
===============

-   Submission deadline: November 30, 2022 (AoE)
-   Notification: December 7, 2022 (AoE)
-   Registration deadline for in-person attendance: December 16, 2022
-   Registration deadline for online attendance: January 9, 2023
-   Workshop: January 12-13, 2023


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


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2022-11-01 21:41 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-01 21:41 16th Workshop on Computational Logic and Applications: call for talk proposals Noam Zeilberger
2022-11-01 21:41 Noam Zeilberger

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox