TLLA 2021: 5th International Workshop on Trends in Linear Logic and Applications Online (Rome virtually) Rome, Italy, June 27-28, 2021 |
Conference website | https://lipn.univ-paris13.fr/TLLA/2021/ |
Submission link | https://easychair.org/conferences/?conf=tlla2021 |
Submission deadline | May 2, 2021 |
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.
Submission Guidelines
Contributions are not restricted to talks presenting an 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 submit a short abstract whose length is between 2 and 5 pages on
https://easychair.org/conferences/?conf=tlla2021
List of Topics
The purpose is to gather researchers interested in the connectionsbetween Linear Logic and various topics such as
- theory of programming languages
- implicit computational complexity
- parallelism and concurrency
- games and languages
- proof theory
- philosophy
- categories and algebra
- possible connections with combinatorics
- linguistics
- functional analysis and operator algebras
Committees
Program Committee
- Claudia Faggian, CNRS - University Paris Diderot, France
- Giulio Guerrieri, University of Bath, UK
- Naohiko Hoshino, Kyoto University, Japan
- Sonia Marin, University College London, UK
- Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil (co-chair)
- Paolo Pistone, Università di Bologna, Italy
- Myriam Quatrini, Université de la Méditerranée
- Christian Retoré, Université de Montpellier, France (co-chair)
- Thomas Seiller, CNRS - University Sorbonne Paris Nord, France
- Lutz Strassburger, Inria Saclay, France
Organizing committee
- Thomas Ehrhard, CNRS - University Paris Diderot, France
- Stefano Guerrini, University of Paris 13, France
- Lorenzo Tortora de Falco, University Roma Tre, Italy
Invited Speakers
TBA
Tutorials
TBA
Venue
The conference will be held in ONLINE ROME.
Contact
All questions about submissions should be emailed to elaine.pimentel@gmail.com