1st cfp: 10th International Workshop on Trends in Linear Logic and Applications
"federico.olimpieri" <[email protected]> Tue, 24 Mar 2026 18:09:35 +0100
| Newsgroups | gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Organization | Aix-Marseille Université |
| Message-ID | <[email protected]> |
--MCBoundary=_12603250417450051 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Papers TLLA 2026 10th International Workshop on Trends in Linear Logic and Applications Lisbon, 18-19 July 2026 Affiliated with FLoC 2026 https://tlla.linear-logic.org/2026/<https://url.au.m.mimecastprotect.com/s/= QgAKCoV1Y2Srj6LA5hVizSpVpdR?domain=3Dtlla.linear-logic.org> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Linear Logic is not only a proof-theoretical tool to analyze or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculi computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or on applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * games and languages * proof theory * categories and algebra * implicit computational complexity * parallelism and concurrency * quantum and probabilistic computing * models of computation * connections with combinatorics * functional analysis and operator algebras * philosophy of logic and mathematics * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk, please submit a short abstract whose length is between 2 and 5 pages at https://submissions.floc26.org/tlla<https://url.au.m.mimecastprotect.com/s/= qL4ZCp81gYCn1pNgqCGs5SGXNdB?domain=3Dsubmissions.floc26.org> ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2026 * Notification to authors: 25 May 2026 * Final versions due: 31 May 2026 * Workshop date: 18-19 July 2026 ---------------------------------------------------------------------- ** Tutorials ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Amal Ahmed, Northeastern University (USA) * R=C3=A9my Cerda, Universit=C3=A0 di Bologna (Italy) * Pierre Clairambault, CNRS, Universit=C3=A9 d=E2=80=99Aix-Marseille (Fra= nce) * Neel Krishnaswami, University of Cambridge (UK) * Adrienne Lancelot, Universit=C3=A0 di Bologna (Italy) * Dylan McDermott, University of Oxford (UK) * Koko Muroya, Ochanomizu University (Japan) * Federico Olimpieri (chair), Universit=C3=A9 d=E2=80=99Aix-Marseille (Fr= ance) * Peter Selinger, Dalhousie University (Canada) * Gabriele Vanoni, IRIF (France) ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Stefano Guerrini, Universit=C3=A9 Sorbonne Paris Nord (France) * Lorenzo Tortora de Falco, Universit=C3=A0 Roma Tre (Italy) * Lionel Vaux Auclair, Universit=C3=A9 d=E2=80=99Aix-Marseille (France) ---------------------------------------------------------------------- ** Proceedings ---------------------------------------------------------------------- The abstracts of the contributed and invited talks will be published on the website of the conference. Possible other formats will be discussed at the workshop. ---------------------------------------------------------------------- ** Contact ---------------------------------------------------------------------- In case you have any question regarding submissions or the organization of the workshop, please contact us at [email protected] or at [email protected] You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?sou= rce=3DEscalatedMessage&action=3Dfiles&smtp=3Dcategories%40mq.edu.au&bO=3Dtr= ue&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c> | Leave group<https:= //outlook.office365.com/groups/groupsubscription?source=3DEscalatedMessage&= action=3Dleave&smtp=3Dcategories%40mq.edu.au&bO=3Dtrue&GuestId=3D8767f067-4= f04-44e1-9450-e0b2f3fa5e7c> | Learn more about Microsoft 365 Groups<htt= ps://aka.ms/o365g> --MCBoundary=_12603250417450051 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dutf-8"> </head> <body> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br> Call for Papers<br> <br> TLLA 2026<br> <br> 10th International Workshop on<br> Trends in Linear Logic and Applications<br> <br> Lisbon, 18-19 July 2026<br> <br> Affiliated with FLoC 2026<br> <br> <a href=3D"https://url.au.m.mimecastprotect.com/s/QgAKCoV1Y2Srj6LA5hVizSpVp= dR?domain=3Dtlla.linear-logic.org">https://tlla.linear-logic.org/2026/</a><= br> <br> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br> <br> Linear Logic is not only a proof-theoretical tool to analyze or<br> control the use of resources in logic and computation. It is also a<br> corpus of tools, approaches, and methodologies that, even if developed<br> for studying Linear Logic syntax and semantics, have been applied in<br> several other fields (analysis of lambda-calculi computations, game<br> semantics, computational complexity, program verification, etc.).<br> <br> The TLLA international workshop aims at bringing together researchers<br> working on Linear Logic or on applying it or its tools. The main goal is<br= > to present and discuss trends in the research on Linear Logic and its<br> applications by means of tutorials, invited talks, open discussions,<br> and contributed talks.<br> <br> The purpose is to gather researchers interested in the connections<br> between Linear Logic and various topics such as<br> <br> * theory of programming languages<br> * games and languages<br> * proof theory<br> * categories and algebra<br> * implicit computational complexity<br> * parallelism and concurrency<br> * quantum and probabilistic computing<br> * models of computation<br> * connections with combinatorics<br> * functional analysis and operator algebras<br> * philosophy of logic and mathematics<br> * linguistics<br> <br> <br> ----------------------------------------------------------------------<br> ** Submission Guidelines<br> ----------------------------------------------------------------------<br> <br> Contributions are not restricted to talks presenting original<br> results, but open to tutorials, open discussions, and position<br> papers. For this reason, we strongly encourage contributions<br> presenting work in progress, open questions, and research<br> projects. Contributions presenting the application of linear logic<br> results, techniques, or tools to other fields, or vice versa, are most<br> welcome.<br> <br> To propose a contributed talk, please submit a short abstract whose<br> length is between 2 and 5 pages at<br> <br> <a href=3D"https://url.au.m.mimecastprotect.com/s/qL4ZCp81gYCn1pNgqCGs5SGXN= dB?domain=3Dsubmissions.floc26.org">https://submissions.floc26.org/tlla</a>= <br> <br> <br> ----------------------------------------------------------------------<br> ** Important dates<br> ----------------------------------------------------------------------<br> <br> * Submission deadline: 15 May 2026<br> * Notification to authors: 25 May 2026<br> * Final versions due: 31 May 2026<br> <br> * Workshop date: 18-19 July 2026<br> <br> <br> ----------------------------------------------------------------------<br> ** Tutorials<br> ----------------------------------------------------------------------<br> <br> * TBA<br> <br> ----------------------------------------------------------------------<br> ** Invited Speakers<br> ----------------------------------------------------------------------<br> <br> * TBA<br> <br> ----------------------------------------------------------------------<br> ** Program Committee<br> ----------------------------------------------------------------------<br> <br> <br> <br> * Amal Ahmed, Northeastern University (USA)<br> * R=C3=A9my Cerda, Universit=C3=A0 di Bologna (Italy)<br> * Pierre Clairambault, CNRS, Universit=C3=A9 d=E2=80=99Aix-Marseille= (France)<br> * Neel Krishnaswami, University of Cambridge (UK)<br> * Adrienne Lancelot, Universit=C3=A0 di Bologna (Italy)<br> * Dylan McDermott, University of Oxford (UK)<br> * Koko Muroya, Ochanomizu University (Japan)<br> * Federico Olimpieri (chair), Universit=C3=A9 d=E2=80=99Aix-Marseill= e (France)<br> * Peter Selinger, Dalhousie University (Canada)<br> * Gabriele Vanoni, IRIF (France)<br> <br> <br> ----------------------------------------------------------------------<br> ** Organization Committee<br> ----------------------------------------------------------------------<br> <br> * Stefano Guerrini, Universit=C3=A9 Sorbonne Paris Nord (France)<br> * Lorenzo Tortora de Falco, Universit=C3=A0 Roma Tre (Italy)<br> * Lionel Vaux Auclair, Universit=C3=A9 d=E2=80=99Aix-Marseille (Fran= ce)<br> <br> <br> ----------------------------------------------------------------------<br> ** Proceedings<br> ----------------------------------------------------------------------<br> <br> The abstracts of the contributed and invited talks will be published<br> on the website of the conference.<br> Possible other formats will be discussed at the workshop.<br> <br> ----------------------------------------------------------------------<br> ** Contact<br> ----------------------------------------------------------------------<br> <br> In case you have any question regarding submissions or the<br> organization of the workshop, please contact us at<br> [email protected] or at<br> [email protected]<br> <div id=3D"a59ada49-a492-4f1d-ac57-74be3a4194fc" style=3D"display:inline-bl= ock;"> <table cellspacing=3D"0" style=3D"table-layout:fixed; width:50px; border:0 = none black;"> <tbody> <tr> <td style=3D"height:18px; padding:0; border-width:0 0 1px 0; border-style:n= one none solid none; border-color:#EAEAEA;"> </td> </tr> </tbody> </table> <table cellspacing=3D"0" style=3D"table-layout:fixed; width:90%; line-heigh= t: 17px; border:0 none black;"> <tbody> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> <tr> <td style=3D"padding:0; border:0 none black; color:#666666; font-size:12px;= font-family:'Segoe UI','Segoe WP',sans-serif;"> You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.</td> </tr> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> <tr> <td style=3D"padding:0; border:0 none black; font-size:12px; font-family:'S= egoe UI','Segoe WP',sans-serif;"> <span style=3D"display:inline-block;"><a style=3D"color:#666666; text-decor= ation:none;font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" h= ref=3D"https://outlook.office365.com/groups/groupsubscription?source=3DEsca= latedMessage&action=3Dfiles&smtp=3Dcategories%40mq.edu.au&bO=3D= true&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c">View group&nb= sp;files</a></span><span style=3D"color:#C8C8C8;"> | = </span><span style=3D"display:inline-block;"><a style=3D"color:= #666666; text-decoration:none; font-size:12px; font-family:'Segoe UI','Sego= e WP',sans-serif;" id=3D"BD5134C6-8D33-4ABA-A0C4-08581FDF89DB" href=3D"http= s://outlook.office365.com/groups/groupsubscription?source=3DEscalatedMessag= e&action=3Dleave&smtp=3Dcategories%40mq.edu.au&bO=3Dtrue&Gu= estId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c">Leave group</a></span><s= pan style=3D"color:#C8C8C8;"> | </span><s= pan style=3D"display:inline-block;"><a style=3D"color:#666666; text-decorat= ion:none;font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" hre= f=3D"https://aka.ms/o365g">Learn more about Microsoft 365 Groups</a></span></td> </tr> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> </tbody> </table> </div> </body> </html> --MCBoundary=_12603250417450051--