======================================================================
Call for Papers
TLLA 2026
10th International Workshop on
Trends in Linear Logic and Applications
Lisbon, 18-19 July 2026
Affiliated with FLoC 2026
https://tlla.linear-logic.org/2026/
======================================================================
Linear Logic is not only a proof-theoretical tool to analyze or
control the use of resources in logic and computation. It is also a
corpus of tools, approaches, and methodologies that, even if developed
for studying Linear Logic syntax and semantics, have been applied in
several other fields (analysis of lambda-calculi computations, game
semantics, computational complexity, program verification, etc.).
The TLLA international workshop aims at bringing together researchers
working on Linear Logic or on applying it or its tools. The main goal is
to present and discuss trends in the research on Linear Logic and its
applications by means of tutorials, invited talks, open discussions,
and contributed talks.
The purpose is to gather researchers interested in the connections
between Linear Logic and various topics such as
* theory of programming languages
* games and languages
* proof theory
* categories and algebra
* implicit computational complexity
* parallelism and concurrency
* quantum and probabilistic computing
* models of computation
* connections with combinatorics
* functional analysis and operator algebras
* philosophy of logic and mathematics
* linguistics
----------------------------------------------------------------------
** Submission Guidelines
----------------------------------------------------------------------
Contributions are not restricted to talks presenting original
results, but open to tutorials, open discussions, and position
papers. For this reason, we strongly encourage contributions
presenting work in progress, open questions, and research
projects. Contributions presenting the application of linear logic
results, techniques, or tools to other fields, or vice versa, are most
welcome.
To propose a contributed talk, please submit a short abstract whose
length is between 2 and 5 pages at
https://submissions.floc26.org/tlla
----------------------------------------------------------------------
** Important dates
----------------------------------------------------------------------
* Submission deadline: 15 May 2026
* Notification to authors: 25 May 2026
* Final versions due: 31 May 2026
* Workshop date: 18-19 July 2026
----------------------------------------------------------------------
** Tutorials
----------------------------------------------------------------------
* TBA
----------------------------------------------------------------------
** Invited Speakers
----------------------------------------------------------------------
* TBA
----------------------------------------------------------------------
** Program Committee
----------------------------------------------------------------------
* Amal Ahmed, Northeastern University (USA)
* Rémy Cerda, Università di Bologna (Italy)
* Pierre Clairambault, CNRS, Université d’Aix-Marseille (France)
* Neel Krishnaswami, University of Cambridge (UK)
* Adrienne Lancelot, Università di Bologna (Italy)
* Dylan McDermott, University of Oxford (UK)
* Koko Muroya, Ochanomizu University (Japan)
* Federico Olimpieri (chair), Université d’Aix-Marseille (France)
* Peter Selinger, Dalhousie University (Canada)
* Gabriele Vanoni, IRIF (France)
----------------------------------------------------------------------
** Organization Committee
----------------------------------------------------------------------
* Stefano Guerrini, Université Sorbonne Paris Nord (France)
* Lorenzo Tortora de Falco, Università Roma Tre (Italy)
* Lionel Vaux Auclair, Université d’Aix-Marseille (France)
----------------------------------------------------------------------
** Proceedings
----------------------------------------------------------------------
The abstracts of the contributed and invited talks will be published
on the website of the conference.
Possible other formats will be discussed at the workshop.
----------------------------------------------------------------------
** Contact
----------------------------------------------------------------------
In case you have any question regarding submissions or the
organization of the workshop, please contact us at
federico.olimpieri@univ-amu.fr