CLA 2020: 15th Workshop on Computational Logic and Applications October 12-13, 2020 |
Conference website | https://cla.tcs.uj.edu.pl/ |
Submission link | https://easychair.org/conferences/?conf=cla20201 |
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, Massachusetts Institute of Technology
- Marc Noy, Universitat Politècnica de Catalunya
Program committee
- Maciej Bendkowski, Jagiellonian University
- 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: August 31, 2020 (AoE)
- Success notification: September 14, 2020 (AoE)
- Registration deadline: October 11, 2020
- Workshop: October 12-13, 2020