[TYPES/announce] 1st cfp: 9th International Workshop on Trends in Linear Logic and Applications

[Lionel Vaux Auclair]

======================================================================
                           Call for Papers

                              TLLA  2025

                    9th International Workshop on
               Trends in Linear Logic and Applications

                            Birmingham, UK
                           19-20 July 2025

                      Affiliated with FSCD 2025

                 https://urldefense.com/v3/__https://tlla.linear-logic.org/2025/__;!!IBzWLUs!S8OvUJT9FUBoaRFz-j9oiYv4sHOr4rkUgtvEoJT1UYUyF3pPLjHPg56zhcvG7eTUBPeHw58DKsvGN5XerJbvut2k1d4Wic-pDeMJCWar$ 

======================================================================

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 (proof nets,
exponential decomposition, geometry of interaction, coherent spaces,
relational models, etc.) that, even if developed for studying Linear
Logic syntax and semantics, have been applied in several other fields
(analysis of lambda-calculus computations, game semantics,
computational complexity, program verification, etc.).

The TLLA international workshop aims at bringing together researchers
working on Linear Logic or 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
 * possible 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 are also 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://urldefense.com/v3/__https://tlla2025.sciencesconf.org/__;!!IBzWLUs!S8OvUJT9FUBoaRFz-j9oiYv4sHOr4rkUgtvEoJT1UYUyF3pPLjHPg56zhcvG7eTUBPeHw58DKsvGN5XerJbvut2k1d4Wic-pDcLiXxA-$ 

----------------------------------------------------------------------
** Important dates
----------------------------------------------------------------------

  * Submission deadline:            21 May 2025
  * Notification to authors:        28 May 2025 
  * Final versions due:             1 July 2025 

  * Workshop date:                  19-20 July 2025


----------------------------------------------------------------------
** Invited Speakers
----------------------------------------------------------------------

  * TBA
 
----------------------------------------------------------------------
** Program Committee
----------------------------------------------------------------------

  * Lionel Vaux Auclair (chair), Université d’Aix-Marseille (France)

  * Matteo Acclavio, University of Sussex (UK)
  * Clément Aubert, Augusta University (USA)
  * Davide Barbarossa, University of Bath (UK)
  * Marcelo Fiore, University of Cambridge (UK)
  * Guy McCusker, University of Bath (UK)
  * Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique (France)
  * Cecilia Pradic, Swansea University (UK)
  * Femke van Rammsdonk, Vrije Universiteit Amsterdam (Netherlands)
  * Margherita Zorzi, Università di Verona (Italy)

----------------------------------------------------------------------
** 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)

----------------------------------------------------------------------
** Publication
----------------------------------------------------------------------

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

  tlla2025 at sciencesconf.org