<div dir="ltr"><font face="monospace" size="4"><b>                             CFP Post-Proceedings (Open Call)</b><br>                        3rd Third Joint International Workshop on<br>                 <span class="gmail-il">Linearity</span> and Trends in Linear Logic and Applications<br>                                <b><span class="gmail-il">Linearity</span> & TLLA 2022</b><br><br><span class="gmail-il">Linearity</span> & TLLA aims at bringing together researchers who are currently developing<br>theory and applications of linear calculi or use linear logic as a technical tool or<br>a methodological guideline, to foster their interaction and provide a forum for<br>presenting new ideas and work in progress, and enabling newcomers to learn about<br>current activities in this area.<br><br><span class="gmail-il">Linearity</span> & TLLA 2022 was held on July 31 - August 1, 2022 --as a two-day satellite<br>event of FLoC 2022 affiliated with the FSCD 2022-- at Haifa, Israel. <b>The post-proceedings </b></font><div><font face="monospace" size="4"><b>volume will be published as an EPTCS issue</b> (<a href="https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!WE5D9Q31AMSIVnO8KCI59G3d7_shc-ko7jrnv_FLU8BDArxaFlEOOUZylFrCCBuI4nstug3EdTtEMZkQ3q_4u39kp6K9vw$" target="_blank">http://www.eptcs.org/</a>).<br><br>Post-proceedings submissions are open to everyone under the same workshop guidelines: </font></div><div><font face="monospace" size="4">New results, not published or submitted elsewhere, that make central use of <span class="gmail-il">linearity</span>, </font></div><div><font face="monospace" size="4">ranging from foundational work to applications in any field, are welcome. More exploratory </font></div><div><font face="monospace" size="4">presentations, which may examine open questions and raise fundamental concerns about </font></div><div><font face="monospace" size="4">existing theories and practices, are also welcome.<br><br>Papers should be written in English, using the EPTCS style files (<a href="https://urldefense.com/v3/__http://style.eptcs.org/__;!!IBzWLUs!WE5D9Q31AMSIVnO8KCI59G3d7_shc-ko7jrnv_FLU8BDArxaFlEOOUZylFrCCBuI4nstug3EdTtEMZkQ3q_4u3967gU68A$" target="_blank">http://style.eptcs.org/</a>) </font></div><div><font face="monospace" size="4"><b>with up to 12 pages excluding bibliography</b>, and submitted in PDF format. <b>Submission</b> is </font></div><div><font face="monospace" size="4">through the EasyChair website:<br><br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=linearitytlla2022__;!!IBzWLUs!WE5D9Q31AMSIVnO8KCI59G3d7_shc-ko7jrnv_FLU8BDArxaFlEOOUZylFrCCBuI4nstug3EdTtEMZkQ3q_4u3-7QyPmrQ$" target="_blank">https://easychair.org/conferences/?conf=linearitytlla2022</a><br><br><b>Topics</b> <b>of interest include</b>:</font></div><div><font face="monospace" size="4">- theory of programming languages<br>- type systems<br>- verification<br>- models of computation:<br> + categorical models<br> + quantum and probabilistic models<br> + biological and chemical models<br>- games and languages<br>- proof theory<br>- parallelism and concurrency<br>- linear logic methods in computer science<br>- implicit computational complexity<br>- sub-linear logics<br>- interaction-based systems<br>- categories and algebra<br>- connections with combinatorics<br>- functional analysis and operator algebras<br>- logic and philosophy<br>- linguistics<br><br><br><b>IMPORTANT DATES</b><br><br>* <b>Submission deadline</b>: <b style=""><strike style=""><font color="#000000">March 10</font></strike><font color="#ff0000"> April</font></b></font><b style="color:rgb(255,0,0);font-family:monospace;font-size:large"> 2 </b><b style="color:rgb(255,0,0);font-family:monospace;font-size:large">2023</b></div><div><font face="monospace" size="4">* <b>Author notification</b>: <b style=""><font color="#000000"><strike>April 28</strike></font><font color="#ff0000"> May</font></b></font><b style="color:rgb(255,0,0);font-family:monospace;font-size:large"> 8 </b><b style="color:rgb(255,0,0);font-family:monospace;font-size:large">2023</b></div><div><font face="monospace" size="4">* <b>Final version</b>: <b style=""><strike style=""><font color="#000000">May 19</font></strike><font color="#ff0000"> </font></b></font><b style="color:rgb(255,0,0);font-family:monospace;font-size:large">May 29 </b><b style="color:rgb(255,0,0);font-family:monospace;font-size:large">2023</b></div><div><font face="monospace" size="4"><br><br><b>(Guest) EDITORS</b></font></div><div><font face="monospace" size="4"><b><br></b>+ Laurent Regnier (<a href="https://urldefense.com/v3/__https://www.i2m.univ-amu.fr/perso/laurent.regnier/__;!!IBzWLUs!WE5D9Q31AMSIVnO8KCI59G3d7_shc-ko7jrnv_FLU8BDArxaFlEOOUZylFrCCBuI4nstug3EdTtEMZkQ3q_4u3-hrzmYHw$" target="_blank">https://www.i2m.univ-amu.fr/perso/laurent.regnier/</a>),<br>  Université d’Aix-Marseille, France<br>+ Daniel Ventura (<a href="https://urldefense.com/v3/__https://ww2.inf.ufg.br/*daniel/__;fg!!IBzWLUs!WE5D9Q31AMSIVnO8KCI59G3d7_shc-ko7jrnv_FLU8BDArxaFlEOOUZylFrCCBuI4nstug3EdTtEMZkQ3q_4u39YOLPwVw$" target="_blank">https://ww2.inf.ufg.br/~daniel/</a>),<br>  Universidade Federal de Goiás, Brazil</font></div></div>