TLLA 17: Trends in Linear Logic and Applications

International Workshop affiliated with FSCD 2017

Oxford, September 3, 2017


Linear Logic is not only a proof theoretical tool to analyse or control the use of ressources 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 λ-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

Young Researchers Grants

A limited number of grants for students or young researches are available. Grants can full or partially cover registration fee, accommodation and transport. To apply for a grant send a message to Stefano Guerrini <stefano.guerrini@univ-paris13.fr> with:

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 submit a contributed talk submit a short abstract of at most two pages at

              https://easychair.org/conferences/?conf=tlla17

Important dates

Publication

The abstracts of the contributed and invited talks will be published on the site of the conference. A call for a special issue of a journal will be announced after the workshop.

Committees

Program Committee

Organizing committee

Invited Speakers

Contact

All questions about submissions should be emailed to Stefano Guerrini <stefano.guerrini@univ-paris13.fr>

Supporting Organisations

GDRI Linear Logic (CNRS-INDAM)
Université Paris 13, Sorbonne Paris Cité
Université Paris Diderot, Sorbonne Paris Cité

Stefano Guerrini <stefano.guerrini@univ-paris13.fr>
Last modified: Wed May 3 23:32:32 CEST 2017