Clément Aubert<p>The 9th International Workshop on Trends in Linear Logic and Applications (<a href="https://lipn.info/tags/TLLA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TLLA</span></a>) will take place in Birmingham, 🇬🇧, on 19–20 July 2025.<br>Contributions are open to tutorials, discussions, position papers, work in progress & open questions!</p><p>Anything related to <a href="https://lipn.info/tags/linear" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>linear</span></a> <a href="https://lipn.info/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> welcome. <br>s::= s ⊗ s | s ⊕ s | s ⊸ s | s & s | s ⅋ s | !s | ?s</p><p>⏳ Submission: 21 May 2025 <br>⌛ Notification: 28 May 2025</p><p>🔗 <a href="https://lipn.univ-paris13.fr/TLLA/2025/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">lipn.univ-paris13.fr/TLLA/2025</span><span class="invisible">/</span></a></p>