2nd cfp: 10th International Workshop on Trends in Linear Logic and Applications
"federico.olimpieri" <[email protected]> Mon, 27 Apr 2026 18:10:57 +0200
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Organization | Aix-Marseille Université |
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKPT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PQogICAgICAgICAgICAgICAgICAgICAgICAgICAgIENhbGwgZm9yIFBhcGVycwoKICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgIFRMTEEgMjAyNgoKICAgICAgICAgICAgICAgICAg ICAgMTB0aCBJbnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uCiAgICAgICAgICAgICAgICAgVHJlbmRz IGluIExpbmVhciBMb2dpYyBhbmQgQXBwbGljYXRpb25zCgogICAgICAgICAgICAgICAgICAgICAg ICAgIExpc2JvbiwgMTgtMTkgSnVseSAyMDI2CgogICAgICAgICAgICAgICAgICAgICAgICAgQWZm aWxpYXRlZCB3aXRoIEZMb0MgMjAyNgoKICAgICAgICAgICAgICAgICAgICAgaHR0cHM6Ly91cmxk ZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vdGxsYS5saW5lYXItbG9naWMub3JnLzIwMjYvX187ISFJ QnpXTFVzIVFWd2hZVlo2d0tKZ0s4VlluV19HX2pNS2pTRFFFNUlQdkZYSWZTM2kzbE56dEtpZEhX aWdOeGNRYW1JOFdQZ3B1VHhOU3hFT1FDbDNELUFRSHNGSV8xZ1djNU4zMERwZDYtdTdTRmJWakJY WSQgCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09CgpMaW5lYXIgTG9naWMgaXMgbm90IG9ubHkgYSBwcm9vZi10aGVv cmV0aWNhbCB0b29sIHRvIGFuYWx5emUgb3IKY29udHJvbCB0aGUgdXNlIG9mIHJlc291cmNlcyBp biBsb2dpYyBhbmQgY29tcHV0YXRpb24uIEl0IGlzIGFsc28gYQpjb3JwdXMgb2YgdG9vbHMsIGFw cHJvYWNoZXMsIGFuZCBtZXRob2RvbG9naWVzIHRoYXQsIGV2ZW4gaWYgZGV2ZWxvcGVkCmZvciBz dHVkeWluZyBMaW5lYXIgTG9naWMgc3ludGF4IGFuZCBzZW1hbnRpY3MsIGhhdmUgYmVlbiBhcHBs aWVkIGluCnNldmVyYWwgb3RoZXIgZmllbGRzIChhbmFseXNpcyBvZiBsYW1iZGEtY2FsY3VsaSBj b21wdXRhdGlvbnMsIGdhbWUKc2VtYW50aWNzLCBjb21wdXRhdGlvbmFsICBjb21wbGV4aXR5LCBw cm9ncmFtIHZlcmlmaWNhdGlvbiwgZXRjLikuCgpUaGUgVExMQSBpbnRlcm5hdGlvbmFsIHdvcmtz aG9wIGFpbXMgYXQgYnJpbmdpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMKd29ya2luZyBvbiBMaW5l YXIgTG9naWMgb3Igb24gYXBwbHlpbmcgaXQgb3IgaXRzIHRvb2xzLiBUaGUgbWFpbiBnb2FsIGlz CnRvIHByZXNlbnQgYW5kIGRpc2N1c3MgdHJlbmRzIGluIHRoZSByZXNlYXJjaCBvbiBMaW5lYXIg TG9naWMgYW5kIGl0cwphcHBsaWNhdGlvbnMgYnkgbWVhbnMgb2YgdHV0b3JpYWxzLCBpbnZpdGVk IHRhbGtzLCBvcGVuIGRpc2N1c3Npb25zLAphbmQgY29udHJpYnV0ZWQgdGFsa3MuCgpUaGUgcHVy cG9zZSBpcyB0byBnYXRoZXIgcmVzZWFyY2hlcnMgaW50ZXJlc3RlZCBpbiB0aGUgY29ubmVjdGlv bnMKYmV0d2VlbiBMaW5lYXIgTG9naWMgYW5kIHZhcmlvdXMgdG9waWNzIHN1Y2ggYXMKCiAgKiB0 aGVvcnkgb2YgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzCiAgKiBnYW1lcyBhbmQgbGFuZ3VhZ2VzCiAg KiBwcm9vZiB0aGVvcnkKICAqIGNhdGVnb3JpZXMgYW5kIGFsZ2VicmEKICAqIGltcGxpY2l0IGNv bXB1dGF0aW9uYWwgY29tcGxleGl0eQogICogcGFyYWxsZWxpc20gYW5kIGNvbmN1cnJlbmN5CiAg KiBxdWFudHVtIGFuZCBwcm9iYWJpbGlzdGljIGNvbXB1dGluZwogICogbW9kZWxzIG9mIGNvbXB1 dGF0aW9uCiAgKiBjb25uZWN0aW9ucyB3aXRoIGNvbWJpbmF0b3JpY3MKICAqIGZ1bmN0aW9uYWwg YW5hbHlzaXMgYW5kIG9wZXJhdG9yIGFsZ2VicmFzCiAgKiBwaGlsb3NvcGh5IG9mIGxvZ2ljIGFu ZCBtYXRoZW1hdGljcwogICogbGluZ3Vpc3RpY3MKCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCioqIFN1Ym1pc3Np b24gR3VpZGVsaW5lcwotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpDb250cmlidXRpb25zIGFyZSBub3QgcmVzdHJp Y3RlZCB0byB0YWxrcyBwcmVzZW50aW5nIG9yaWdpbmFsCnJlc3VsdHMsIGJ1dCBvcGVuIHRvIHR1 dG9yaWFscywgb3BlbiBkaXNjdXNzaW9ucywgYW5kIHBvc2l0aW9uCnBhcGVycy4gRm9yIHRoaXMg cmVhc29uLCB3ZSBzdHJvbmdseSBlbmNvdXJhZ2UgY29udHJpYnV0aW9ucwpwcmVzZW50aW5nIHdv cmsgaW4gcHJvZ3Jlc3MsIG9wZW4gcXVlc3Rpb25zLCBhbmQgcmVzZWFyY2gKcHJvamVjdHMuIENv bnRyaWJ1dGlvbnMgcHJlc2VudGluZyB0aGUgYXBwbGljYXRpb24gb2YgbGluZWFyIGxvZ2ljCnJl c3VsdHMsIHRlY2huaXF1ZXMsIG9yIHRvb2xzIHRvIG90aGVyIGZpZWxkcywgb3IgdmljZSB2ZXJz YSwgYXJlIG1vc3QKd2VsY29tZS4KClRvIHByb3Bvc2UgYSBjb250cmlidXRlZCB0YWxrLCBwbGVh c2Ugc3VibWl0IGEgc2hvcnQgYWJzdHJhY3Qgd2hvc2UKbGVuZ3RoIGlzIGJldHdlZW4gMiBhbmQg NSBwYWdlcyBhdAoKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vc3VibWlzc2lv bnMuZmxvYzI2Lm9yZy90bGxhX187ISFJQnpXTFVzIVFWd2hZVlo2d0tKZ0s4VlluV19HX2pNS2pT RFFFNUlQdkZYSWZTM2kzbE56dEtpZEhXaWdOeGNRYW1JOFdQZ3B1VHhOU3hFT1FDbDNELUFRSHNG SV8xZ1djNU4zMERwZDYtdTdTSU9qVUl6ZyQgCgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoqKiBJbXBvcnRhbnQg ZGF0ZXMKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQoKICAgKiBTdWJtaXNzaW9uIGRlYWRsaW5lOiAgICAgICAgICAg IDE1IE1heSAyMDI2CiAgICogTm90aWZpY2F0aW9uIHRvIGF1dGhvcnM6ICAgICAgICAyNSBNYXkg MjAyNgogICAqIEZpbmFsIHZlcnNpb25zIGR1ZTogICAgICAgICAgICAgMzEgTWF5IDIwMjYKCiAg ICogV29ya3Nob3AgZGF0ZTogICAgICAgICAgICAgICAgIDE4LTE5IEp1bHkgMjAyNgoKCi0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0KKiogVHV0b3JpYWwKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKICAgKiBVZ28gRGFsIExhZ28gKFVu aXZlcnNpdMOgIGRpIEJvbG9nbmEpLCBUQkEKCldlIGFyZSBwbGVhc2VkIHRvIGFubm91bmNlIHRo YXQgdGhlIHR1dG9yaWFsIHdpbGwgYmUgYQpqb2ludCBldmVudCB3aXRoIHRoZSBJVFJTIHdvcmtz aG9wLgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tCioqIEludml0ZWQgU3BlYWtlcnMKLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKICAg KiBMaXNvbiBCbG9uZGVhdS1QYXRpc3NpZXIgKEVOUyBMeW9uKSwgVEJBCiAgICogSHVnbyBQYXF1 ZXQgKEVOUyBQYXJpcyksIFRCQQogICAqIEJyaWdpdHRlIFBpZW50a2EgKE1jR2lsbCBVbml2ZXJz aXR5KSwgVEJBCgoKV2UgYXJlIHBsZWFzZWQgdG8gYW5ub3VuY2UgdGhhdCBIdWdvIFBhcXVldCdz IHRhbGsgd2lsbCBiZSBhCmpvaW50IGV2ZW50IHdpdGggdGhlIEdhTG9QIHdvcmtzaG9wLgoKLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLQoqKiBQcm9ncmFtIENvbW1pdHRlZQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgoKCiAgICogQW1h bCBBaG1lZCwgTm9ydGhlYXN0ZXJuIFVuaXZlcnNpdHkgKFVTQSkKICAgKiBSw6lteSBDZXJkYSwg VW5pdmVyc2l0w6AgZGkgQm9sb2duYSAoSXRhbHkpCiAgICogUGllcnJlIENsYWlyYW1iYXVsdCwg Q05SUywgVW5pdmVyc2l0w6kgZOKAmUFpeC1NYXJzZWlsbGUgKEZyYW5jZSkKICAgKiBOZWVsIEty aXNobmFzd2FtaSwgVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UgKFVLKQogICAqIEFkcmllbm5lIExh bmNlbG90LCBVbml2ZXJzaXTDoCBkaSBCb2xvZ25hIChJdGFseSkKICAgKiBEeWxhbiBNY0Rlcm1v dHQsIFVuaXZlcnNpdHkgb2YgT3hmb3JkIChVSykKICAgKiBLb2tvIE11cm95YSwgIE9jaGFub21p enUgVW5pdmVyc2l0eSAoSmFwYW4pCiAgICogRmVkZXJpY28gT2xpbXBpZXJpIChjaGFpciksIFVu aXZlcnNpdMOpIGTigJlBaXgtTWFyc2VpbGxlIChGcmFuY2UpCiAgICogUGV0ZXIgU2VsaW5nZXIs IERhbGhvdXNpZSBVbml2ZXJzaXR5IChDYW5hZGEpCiAgICogR2FicmllbGUgVmFub25pLCBJUklG IChGcmFuY2UpCgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoqKiBPcmdhbml6YXRpb24gQ29tbWl0dGVlCi0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0KCiAgICogU3RlZmFubyBHdWVycmluaSwgVW5pdmVyc2l0w6kgU29yYm9ubmUgUGFy aXMgTm9yZCAoRnJhbmNlKQogICAqIExvcmVuem8gVG9ydG9yYSBkZSBGYWxjbywgVW5pdmVyc2l0 w6AgUm9tYSBUcmUgKEl0YWx5KQogICAqIExpb25lbCBWYXV4IEF1Y2xhaXIsIFVuaXZlcnNpdMOp IGTigJlBaXgtTWFyc2VpbGxlIChGcmFuY2UpCgoKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoqKiBQcm9jZWVkaW5n cwotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tCgpUaGUgYWJzdHJhY3RzIG9mIHRoZSBjb250cmlidXRlZCBhbmQgaW52 aXRlZCB0YWxrcyB3aWxsIGJlIHB1Ymxpc2hlZApvbiB0aGUgd2Vic2l0ZSBvZiB0aGUgY29uZmVy ZW5jZS4KUG9zc2libGUgb3RoZXIgZm9ybWF0cyB3aWxsIGJlIGRpc2N1c3NlZCBhdCB0aGUgd29y a3Nob3AuCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tCioqIENvbnRhY3QKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKSW4gY2FzZSB5 b3UgaGF2ZSBhbnkgcXVlc3Rpb24gcmVnYXJkaW5nIHN1Ym1pc3Npb25zIG9yIHRoZQpvcmdhbml6 YXRpb24gb2YgdGhlIHdvcmtzaG9wLCBwbGVhc2UgY29udGFjdCB1cyBhdApmZWRlcmljby5vbGlt cGllcmlAbGlzLWxhYi5mciBvciBhdApmZWRlcmljby5vbGltcGllcmlAdW5pdi1hbXUuZnIK