Note that this website is used for the submission of abstracts only. For any information about the meeting itself, please refer to the main TLLA 2025 website.

Instructions

Exerpt from the CFP: 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.

Your submission should consist of an abstract of the contribution, between 2 and 5 pages, in PDF format. During submission, you will also be asked for a shorter abstract (a few lines) in pure text.