posted by organizer: smmalves || 1907 views || tracked by 3 users: [display]

Linearity & TLLA - 2022 : Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications


When Jul 31, 2022 - Aug 1, 2022
Where Haifa, Israel
Submission Deadline May 20, 2022
Notification Due Jun 17, 2022
Final Version Due Jul 1, 2022
Categories    logic   formal methods   theoretical computer science   programming languages

Call For Papers

2022 Joint Workshop Linearity & TLLA
Haifa, Israel
31 July - 1 August 2022
FIRST Call for Papers

3rd Joint Workshop Linearity & TLLA

Seventh International Workshop on Linearity
Sixth International Workshop on Trends in Linear Logic and Applications

Haifa, Israel, 31 July - 1 August 2022
Affiliated with FSCD 2022 (FLoC 2022)
Linearity has been a key feature in several lines of research in both
theoretical and practical approaches to computer science. On the
theoretical side there is much work stemming from linear logic dealing
with proof technology, complexity classes, and more recently quantum
computation. On the practical side, there is work on program analysis,
expressive operational semantics for programming languages, linear
programming languages, program transformation, update analysis and
efficient implementation techniques.

Linear logic is not only a theoretical tool to analyse the use of
resources in logic and computation. It is also a corpus of tools,
approaches, and methodologies (proof nets, exponential decomposition,
geometry of interaction, coherent spaces, relational models, etc.) that
were originally developed for the study of linear logic's syntax and
semantics and are nowadays applied in several other fields.

The aim of this Joint Linearity and TLLA workshop is to bring together
researchers who are currently working on linear logic and related fields,
to foster their interaction and provide a forum for presenting new ideas
and work in progress. We also hope to enable newcomers to learn about current
activities in this area. New results that make central use of linearity,
ranging from foundational work to applications in any field, are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.

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


* Submission deadline: 20th May 2022
* Author notification: 17th June 2022
* Contribution for Informal Proceedings: 1st July 2022
* Workshop date: 31st July - 1st August 2022


Authors are invited to submit:
* an extended abstract (8 pages max) describing original ideas and results
not published nor submitted elsewhere,
* or a 5-page abstract presenting relevant work that has been or will be
published elsewhere,
* or a 2-page description of work in progress.
Preliminary proceedings will be available at the workshop.
Papers should be written in English, and submitted in PDF format using the
EPTCS style files. Submission is through the Easychair website:


After the workshop, authors of extended abstracts will be invited to submit
a longer version of their work (typically a 15-pages paper) for publication
in EPTCS (TBC). These submissions will undergo a second round of refereeing.


- Maribel Fernandez - King's College London, UK
- Marie Kerjean - CNRS-University Sorbonne Paris Nord, France
- Ugo Dal Lago - University of Bologna, Italy
- Marina Lenisa - University of Udine, Italy
- Guy McCusker - University of Bath, UK
- Lê Thành Dũng Nguyễn - University of Rennes, France
- Valeria de Paiva - Topos Institute, USA
- Laurent Regnier (co-chair) - University of Aix-Marseille, France
- Lorenzo Tortora de Falco - University Roma Tre, Italy
- Andrés Viso - Inria, France
- Daniel Ventura (co-chair) - Federal University of Goiás, Brazil

Related Resources

CSEN 2024   11th International Conference on Computer Science and Engineering
DSML 2024   5th International Conference on Data Science and Machine Learning
TRS 2025   Transportation Research Symposium
DSA 2024   5th International Conference on Data Science and Applications
PRO-VE 2024   [PRO-VE 2024][October 28-30][Albi, France] Navigating Unpredictability: Collaborative Networks in Non-linear Worlds
IJRAP 2024   International Journal of Recent advances in Physics
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
CSL 2025   Computer Science Logic
ICoSR 2024   2024 3rd International Conference on Service Robotics
CAIJ 2024   Computer Applications: An International Journal