Please note that this newsitem has been archived, and may contain outdated information or links.
29 - 30 June 2019, 3rd International Workshop on Trends in Linear Logic and Applications (TLLA 2019), Dortmund, Germany
Linear Logic is not only a proof theoretical tool to analyse 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. 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.
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.
Please note that this newsitem has been archived, and may contain outdated information or links.