eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

218
active users

#tlla

0 posts0 participants0 posts today
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 &amp; 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 &amp; 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>