<div dir="ltr"><font face="monospace" size="4"><b>                            CFP Post-Proceedings (Open Call)</b><br>                        3rd Third Joint International Workshop on<br>                 Linearity and Trends in Linear Logic and Applications<br>                                <b>Linearity & TLLA 2022</b><br><br>Linearity & 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>Linearity & 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!QYIe93c6VU_iekd0sqx4v8TEvT4gNwwsEGVL4VC6dBUb44gPRW398m_rlhEBitnM-egq_PvOdVwmpbgZ_9qZK8GQ3O5l_Q$" 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 linearity, </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!QYIe93c6VU_iekd0sqx4v8TEvT4gNwwsEGVL4VC6dBUb44gPRW398m_rlhEBitnM-egq_PvOdVwmpbgZ_9qZK8FBQAPdAA$" 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!QYIe93c6VU_iekd0sqx4v8TEvT4gNwwsEGVL4VC6dBUb44gPRW398m_rlhEBitnM-egq_PvOdVwmpbgZ_9qZK8F7fuDITQ$" 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>: <font color="#ff0000"><b>March 10 2023</b></font><br>* <b>Author notification</b>: <font color="#ff0000"><b>April 28 2023</b></font><br>* <b>Final version</b>: <font color="#ff0000"><b>May 19 2023</b></font><br><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!QYIe93c6VU_iekd0sqx4v8TEvT4gNwwsEGVL4VC6dBUb44gPRW398m_rlhEBitnM-egq_PvOdVwmpbgZ_9qZK8EutXMQnA$" 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!QYIe93c6VU_iekd0sqx4v8TEvT4gNwwsEGVL4VC6dBUb44gPRW398m_rlhEBitnM-egq_PvOdVwmpbgZ_9qZK8EyCleong$" target="_blank">https://ww2.inf.ufg.br/~daniel/</a>),<br>  Universidade Federal de Goiás, Brazil</font><div class="gmail-yj6qo"></div><div class="gmail-adL"><br></div></div></div>