Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call)

[D. Ventura]

                             CFP Post-Proceedings (Open Call)
                        3rd Third Joint International Workshop on
                 Linearity and Trends in Linear Logic and Applications
                                Linearity & TLLA 2022

Linearity & TLLA aims at bringing together researchers who are currently developing
theory and applications of linear calculi or use linear logic as a technical tool or
a methodological guideline, to foster their interaction and provide a forum for
presenting new ideas and work in progress, and enabling newcomers to learn about
current activities in this area.

Linearity & TLLA 2022 was held on July 31 - August 1, 2022 --as a two-day satellite
event of FLoC 2022 affiliated with the FSCD 2022-- at Haifa, Israel. The post-proceedings 

volume will be published as an EPTCS issue (http://www.eptcs.org/).

Post-proceedings submissions are open to everyone under the same workshop guidelines: 

New results, not published or submitted elsewhere, that make central use of linearity, 

ranging from foundational work to applications in any field, are welcome. More exploratory 

presentations, which may examine open questions and raise fundamental concerns about 

existing theories and practices, are also welcome.

Papers should be written in English, using the EPTCS style files (http://style.eptcs.org/) 

with up to 12 pages excluding bibliography, and submitted in PDF format. Submission is 

through the EasyChair website:

https://easychair.org/conferences/?conf=linearitytlla2022

Topics of interest include:

- theory of programming languages
- type systems
- verification
- models of computation:
 + categorical models
 + quantum and probabilistic models
 + biological and chemical models
- games and languages
- proof theory
- parallelism and concurrency
- linear logic methods in computer science
- implicit computational complexity
- sub-linear logics
- interaction-based systems
- categories and algebra
- connections with combinatorics
- functional analysis and operator algebras
- logic and philosophy
- linguistics


IMPORTANT DATES

* Submission deadline: March 10 April 2 2023

* Author notification: April 28 May 8 2023

* Final version: May 19 May 29 2023

(Guest) EDITORS

+ Laurent Regnier (https://www.i2m.univ-amu.fr/perso/laurent.regnier/),
  Université d’Aix-Marseille, France
+ Daniel Ventura (https://ww2.inf.ufg.br/~daniel/),
  Universidade Federal de Goiás, Brazil