TLLA 17, Sept. 3, 2017

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 programme is available on the FSCD 2017 programme page. See TLLA 17 for additional details.