2020 Joint Workshop

Linearity & TLLA

 

Paris, Aubervilliers
29-30 June 2020

 

Affiliated with FSCD at IJCAR-FSCD 2020
Part of Paris Nord Summer of LoVe

 

Submit

Linearity & TLLA 2020 is the second edition of the joint workshop on linearity in logic and computer science and its applications. It is the merging of the 6th edition of the International Workshop on Linearity and of the 4th edition of the International Workshop on Trends in Linear Logic and its Applications.

The workshop aims at bringing together researchers who are currently developing theory and applications of linear calculi or use linear logic as a technical tool or a methodological guideline, to foster their interaction and provide a forum for presenting new ideas and work in progress, and enable newcomers to learn about current activities in this area. Linearity is a key feature in both theoretical and practical approaches to computer science, and the goal of this workshop is to present work exploring linearity both in theory and practice. The addressed topics involve proof representation, operational, static and dynamical models of programming languages, linear languages and type systems, parallelism and concurrency, quantum and probabilist computation, as well as philosophy and linguistics.

Motivation

Ever since Girard's linear logic (LL) was released, there has been a stream of research where linearity is a key issue, covering both theoretical topics and applications to several areas of Mathematical Logic and Computer Science, such as work on proof representation and interpretations (proof nets, denotational semantics, geometry of interaction etc), complexity classes (including implicit complexity), programming languages (and especially linear operational constructs and type systems based on linear logic), and more recently probabilistic and quantum computation, program analysis, expressive operational semantics, and techniques for program transformation, update analysis and efficient implementation. Linearity and the foundational concepts of LL also serve as bridges to other topics in mathematics of course (functional analysis, categories) as well as to linguistics and philosophy.

Topics of Interest

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 questions about existing theories and practices. Topics of interest include, but are not limited to:

  • LL methods in the theory of programming languages;
  • categorical models of proofs and programs;
  • dynamical models of computations, games and languages;
  • linear term calculi;
  • linear type systems;
  • linear proof-theory;
  • linear programming languages;
  • implicit complexity
  • sub-linear logics;
  • parallelism and concurrency
  • interaction-based systems;
  • verification of linear systems;
  • quantum and probabilist models of computation;
  • biological and chemical models of computation;
  • LL proofs and linguistics;
  • LL, interaction and philosophy.

Submission

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.

Submission is through the Easychair website:
         https://easychair.org/conferences/?conf=tllalinearity2020

Publication

After the workshop, authors of extended abstracts will be invited to submit a longer version of their work (typically a 15-pages paper) for publication in EPTCS (TBC). These submissions will undergo a second round of refereeing.

Important Dates

All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
  • Submission: 24th April 2020
  • Notification: 15th May 2020
  • Contribution for Informal Proceedings: 29th May 2020
  • Workshop: 29-30 June 2020

Invited speakers

To be announced!

Program

Not yet available!

Program Committee

Chairs

Members

 

Organising Committee

  • Thomas Ehrhard - IRIF, University of Paris, France
  • Stefano Guerrini - LIPN, University Sorbonne Paris Nord, France
  • Lorenzo Tortora de Falco - University Roma Tre, Italy
  • Valeria De Paiva - Samsung Research America, CA, USA
  • Sandra Alves - University of Porto, Portugal