<div dir="ltr"><pre style="white-space:pre-wrap;font-family:"Courier New",Courier,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;color:rgb(0,0,0);font-size:14px"><b>2022 Joint Workshop Linearity & TLLA</b>
Haifa, Israel
31 July - 1 August 2022
========================================================
<b>FIRST Call for Papers</b></pre><pre style="white-space:pre-wrap;font-family:"Courier New",Courier,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;font-size:14px"><a href="https://urldefense.com/v3/__https://easychair.org/cfp/tlla-linearity-2022__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0MS_hTxwQ$" target="_blank" style="color:rgb(0,0,0)">https://easychair.org/cfp/tlla-linearity-2022
</a><font color="#000000">
<b>3rd Joint Workshop Linearity & TLLA</b>
Seventh International Workshop on Linearity
Sixth International Workshop on Trends in Linear Logic and Applications
<b>Haifa, Israel, 31 July - 1 August 2022</b>
Affiliated with <a href="https://urldefense.com/v3/__https://www.cs.tau.ac.il/*nachumd/FSCD/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0NsyYTgtw$" target="_blank">FSCD 2022</a> (<a href="https://urldefense.com/v3/__https://www.floc2022.org/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0MfLk-nRA$" target="_blank">FLoC 2022</a>)
</font><a href="https://urldefense.com/v3/__https://lipn.univ-paris13.fr/LinearityTLLA2022/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0PkPGzPvg$" target="_blank" style="color:rgb(0,0,0)">https://lipn.univ-paris13.fr/LinearityTLLA2022/
</a><font color="#000000">========================================================
Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes, and more recently quantum computation. On the practical side, there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques.
Linear logic is not only a theoretical tool to analyse the use of resources 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 were originally developed for the study of linear logic's syntax and semantics and are nowadays applied in several other fields.
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.
</font><b style="color:rgb(0,0,0)">Topics of interest include</b><font color="#000000">:
- theory of programming languages
- type systems
- verification
- models of computation:
+ categorical models
+ quantum and probabilistic models
+ biological and chemical models
- games and languages
- proof theory
- parallelism and concurrency
- linear logic methods in computer science
- implicit computational complexity
- sub-linear logics
- interaction-based systems
- categories and algebra
- connections with combinatorics
- functional analysis and operator algebras
- logic and philosophy
- linguistics
</font><b style="color:rgb(0,0,0)">IMPORTANT DATES</b><font color="#000000">
* </font><span style="background-color:rgb(243,243,243)"><b><font color="#000000">Submission deadline</font></b></span><font color="#000000">: </font><b><font color="#ff0000">20th May 2022</font></b><font color="#000000">
* </font><b><font color="#000000">Author notification</font></b><font color="#000000">: </font><b><font color="#ff0000">17th June 2022</font></b><font color="#000000">
* </font><b style="color:rgb(0,0,0)">Contribution for Informal Proceedings</b><font color="#000000">: </font><b><font color="#ff0000">1st July 2022</font></b><font color="#000000">
* </font><b style="color:rgb(0,0,0)">Workshop date</b><font color="#000000">: </font><b><font color="#ff0000">31st July - 1st August 2022</font></b><font color="#000000">
</font><b style="color:rgb(0,0,0)">SUBMISSIONS</b><font color="#000000">
Authors are invited to submit:
* an <b>extended abstract</b> (</font><font color="#ff0000">8 pages max</font><font color="#000000">) describing original ideas and results
not published nor submitted elsewhere,
* or a <b>5-page abstract</b> presenting relevant work that has been or will be
published elsewhere,
* or a <b>2-page description</b> 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: </font><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=tllalinearity2022__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0Nefpak7g$" target="_blank" style="color:rgb(0,0,0)">https://easychair.org/conferences/?conf=tllalinearity2022
</a><font color="#000000">
</font><b style="color:rgb(0,0,0)">POST-PROCEEDINGS</b><font color="#000000">
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.
</font><b style="color:rgb(0,0,0)">PROGRAMME COMMITTEE</b><font color="#000000">
<a href="https://urldefense.com/v3/__https://www.kcl.ac.uk/people/maribel-fernandez__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OTEqrj9A$">Maribel Fernandez</a> - King's College London, UK </font><font color="#000000">
<a href="https://urldefense.com/v3/__https://lipn.univ-paris13.fr/*kerjean/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0MhttCI6w$">Marie Kerjean</a> - CNRS-University Sorbonne Paris Nord, France </font><a href="https://urldefense.com/v3/__https://lipn.univ-paris13.fr/*kerjean/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0MhttCI6w$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__http://www.cs.unibo.it/*dallago/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0O3uuvTJg$">Ugo Dal Lago</a> - University of Bologna, Italy </font><a href="https://urldefense.com/v3/__http://www.cs.unibo.it/*dallago/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0O3uuvTJg$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__https://users.dimi.uniud.it/*marina.lenisa/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OEhyxhGQ$">Marina Lenisa</a> - University of Udine, Italy</font><a href="https://urldefense.com/v3/__https://users.dimi.uniud.it/*marina.lenisa/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OEhyxhGQ$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__https://researchportal.bath.ac.uk/en/persons/guy-mccusker__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OB9A9ChQ$">Guy McCusker</a> - University of Bath, UK </font><a href="https://urldefense.com/v3/__https://researchportal.bath.ac.uk/en/persons/guy-mccusker__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OB9A9ChQ$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__http://nguyentito.eu/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0NpGNFR5w$">Lê Thành Dũng Nguyễn</a> - University of Rennes, France </font><a href="https://urldefense.com/v3/__http://nguyentito.eu/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0NpGNFR5w$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__http://vcvpaiva.github.io/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OcCDoedQ$">Valeria de Paiva</a> - Topos Institute, USA</font><a href="https://urldefense.com/v3/__http://vcvpaiva.github.io/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0OcCDoedQ$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__https://www.i2m.univ-amu.fr/perso/laurent.regnier/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0MZMtKhcg$">Laurent Regnier</a> (co-chair) - University of Aix-Marseille, France </font><a href="https://urldefense.com/v3/__https://www.i2m.univ-amu.fr/perso/laurent.regnier/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0MZMtKhcg$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__http://logica.uniroma3.it/*tortora/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0O55xzHBA$">Lorenzo Tortora de Falco</a> - University Roma Tre, Italy </font><a href="https://urldefense.com/v3/__http://logica.uniroma3.it/*tortora/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0O55xzHBA$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__https://firuzz.github.io/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0NNk08hSw$">Andrés Viso</a> - Inria, France</font><a href="https://urldefense.com/v3/__https://firuzz.github.io/__;!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0NNk08hSw$" target="_blank" style="color:rgb(0,0,0)">
</a><font color="#000000"><a href="https://urldefense.com/v3/__https://ww2.inf.ufg.br/*daniel/__;fg!!IBzWLUs!H-f0pks1oWSyvesUnFkuUT9Jkd3JG0cuOi-MkpyPELEmBL1vFIFSs8FYvs5ioAS34nzgQ0P8i395-w$">Daniel Ventura</a> (co-chair) - Federal University of Goiás, Brazil</font><br></pre></div>