Universiteit van Amsterdam


Institute for Logic, Language and Computation

29 - 30 June 2020, Sixth International Workshop on Linearity and Fourth International Workshop on Trends in Linear Logic and Applications (Joint Linearity & TLLA Workshop), Online

Date: 29 - 30 June 2020
Location: Online
Deadline: Friday 24 April 2020

The aim of this Joint Linearity and TLLA workshop is to bring together researchers who are currently working on linear logic and related fields, to foster their interaction and provide a forum for presenting new ideas and work in progress. We also hope to enable newcomers to learn about current activities in this area. New results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices.

Authors are invited to submit:
* an extended abstract (8 pages max) describing original ideas and results not published nor submitted elsewhere,
* or a 5-page abstract presenting relevant work that has been or will be published elsewhere,
* or a 2-page description of work in progress. Preliminary proceedings will be available at the workshop.

Papers should be written in English, and submitted in PDF format using the EPTCS style files.