[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Just a note that the deadline was extended and there is still about one
week to submit talk proposals. Further information about participating in
the virtual workshop will be available on the CLA website. -N]
=======
Context
=======
The **Computational Logic and Applications** (CLA) workshops are a
series of annual meetings (see https://cla.tcs.uj.edu.pl/) whose main
purpose is to provide a free and open forum for research on
combinatorial and quantitative aspects of mathematical logic and their
applications in computer science.
Since the physical version of the workshop had to be cancelled this year
due to the global pandemic, we are organizing a virtual edition of CLA
2020 this Fall to help the community stay in touch. Next year, if the
situation improves, then the hope is for CLA 2021 to be once again held
as a physical (or hybrid) workshop in Vienna, as was originally planned
for this year.
Format
======
As with past editions of CLA, we plan to have both invited and
contributed talks, with the opportunity to present either
work-in-progress or recently published work in a friendly and informal
setting...the only difference is that CLA 2020 will be entirely online!
We are likely to have a mix of live talks, pre-recorded talks, and
text-based discussions, with the precise cocktail of technologies to be
determined. Participation will be free and open to all but will require
prior registration.
Scope
=====
Topics within the scope of CLA include:
- combinatorics of lambda calculus and related formalisms,
- quantitative aspects of program evaluation and normalisation,
- asymptotic enumeration in computational logic,
- statistical properties of formulae, terms and programs,
- random generation of large combinatorial structures in computational
logic,
- randomness in software testing and counter-example generation methods.
Submission
==========
Talk proposals should consist of short abstracts (at most 2 pages)
describing work-in-progress or previously published work, and can be
written in either plain text or pdf format. They will be evaluated by
the program committee to determine interest and scope, so talk proposals
should give some indication of the relevance to CLA in case this is not
immediately obvious. You can also indicate whether you prefer to give a
live or pre-recorded talk and the amount of time you would like to
speak, although this is left up to the discretion of the program
committee.
Submission is done through Easychair:
https://easychair.org/conferences/?conf=cla20201
Invited speakers
================
- [Mirai Ikebuchi](https://mir-ikbch.github.io/), Massachusetts
Institute of Technology
- [Marc Noy](https://sites.google.com/view/marcnoy/), Universitat
Politècnica de Catalunya
Program committee
=================
- Maciej Bendkowski, Jagiellonian University
- Olivier Bodini, Université Sorbonne Paris Nord
- Julien Courtiel, Université de Caen
- Antoine Genitrini, Sorbonne University
- Alain Giorgetti, University of Bourgogne Franche-Comté
- Bernhard Gittenberger, TU Wien
- Katarzyna Grygiel, Jagiellonian University (co-chair)
- Leonidas Lampropoulos, University of Maryland
- Ryoma Sin'ya, Akita University
- Michael Wallner, TU Wien
- Noam Zeilberger, Ecole Polytechnique (co-chair)
Important dates
===============
- Submission deadline: September 7, 2020 (AoE)
- Success notification: September 21, 2020 (AoE)
- Registration deadline: October 11, 2020
- Workshop: October 12-13, 2020
