QPL 2025 - Second Call for Papers
Alejandro Díaz-Caro <alejandro-bV/[email protected]> Tue, 14 Jan 2025 13:40:45 +0100
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CAGvJX+x1UvpJYZOdc++czAyntd4Awch3_6+WmEKDUVRxm_1B+A@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKPT09PT09 PT09PT09PT09PT09PT09PT09PT09ClFQTCAyMDI1IC0gU2Vjb25kIENhbGwgZm9yIFBhcGVycwo9 PT09PT09PT09PT09PT09PT09PT09PT09PT0KClRoZSAyMm5kIEludGVybmF0aW9uYWwgQ29uZmVy ZW5jZSBvbiBRdWFudHVtIFBoeXNpY3MgYW5kIExvZ2ljIChRUEwgMjAyNSkKVmFybmEsIEJ1bGdh cmlhLCBKdWx5IDE0LTE4LCAyMDI1CgpodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6 Ly9xcGwyMDI1LmdpdGh1Yi5pb19fOyEhSUJ6V0xVcyFVUlN6bDBBUnR6NElnU0NSeDRxajlPMTNl WUlRNWtPMzVaY3ZseHlKaDRrRUM5dVlBUWFZZmVpeHhyTjA1NUpwa2ZaZWMwZFBySGlyTm0xMnF1 RmJKUTdCX29xLWVNWmdlS0lKeDJzJCAKClF1YW50dW0gUGh5c2ljcyBhbmQgTG9naWMgaXMgYW4g YW5udWFsIGNvbmZlcmVuY2UgdGhhdCBicmluZ3MgdG9nZXRoZXIKYWNhZGVtaWMgYW5kIGluZHVz dHJ5IHJlc2VhcmNoZXJzIHdvcmtpbmcgb24gbWF0aGVtYXRpY2FsIGZvdW5kYXRpb25zCm9mIHF1 YW50dW0gY29tcHV0YXRpb24sIHF1YW50dW0gcGh5c2ljcywgYW5kIHJlbGF0ZWQgYXJlYXMuIFRo ZSBtYWluCmZvY3VzIGlzIG9uIHRoZSB1c2Ugb2YgYWxnZWJyYWljIGFuZCBjYXRlZ29yaWNhbCBz dHJ1Y3R1cmVzLCBmb3JtYWwKbGFuZ3VhZ2VzLCB0eXBlIHN5c3RlbXMsIGxvZ2ljcywgc2VtYW50 aWMgbWV0aG9kcywgYXMgd2VsbCBhcyBvdGhlcgptYXRoZW1hdGljYWwgYW5kIGNvbXB1dGVyIHNj aWVudGlmaWMgdGVjaG5pcXVlcyBhcHBsaWNhYmxlIHRvIHRoZQpzdHVkeSBvZiBwaHlzaWNhbCBz eXN0ZW1zLCBwaHlzaWNhbCBwcm9jZXNzZXMsIGFuZCB0aGVpciBjb21wb3NpdGlvbi4KV29yayBh cHBseWluZyBxdWFudHVtLWluc3BpcmVkIHRlY2huaXF1ZXMgYW5kIHN0cnVjdHVyZXMgdG8gb3Ro ZXIKZmllbGRzLCBzdWNoIGFzIGxpbmd1aXN0aWNzLCBhcnRpZmljaWFsIGludGVsbGlnZW5jZSwg YW5kIGNhdXNhbGl0eSwKaXMgYWxzbyB3ZWxjb21lLgoKPT09PT09PT09PT09PT09PT09PT09PT09 PT09CkltcG9ydGFudCBEYXRlcwo9PT09PT09PT09PT09PT09PT09PT09PT09PT0KCkFic3RyYWN0 IHN1Ym1pc3Npb24gZGVhZGxpbmU6IDkgRmVicnVhcnkgMjAyNQpQYXBlciBzdWJtaXNzaW9uIGRl YWRsaW5lOiAxNiBGZWJydWFyeSAyMDI1Ck5vdGlmaWNhdGlvbjogMjQgTWFyY2ggMjAyNQpDYW1l cmEtcmVhZHkgZGVhZGxpbmUgKHJldmlzZWQgYWNjZXB0ZWQgcHJvY2VlZGluZ3MgbWFudXNjcmlw dHMpOiAxNSBKdW5lIDIwMjUKQ29uZmVyZW5jZTogMTQgSnVseSAtIDE4IEp1bHkgMjAyNQoKQWxs IGRlYWRsaW5lcyBhcmUgc3RhdGVkIHdpdGggcmVzcGVjdCB0byB0aGUgQW55d2hlcmUgb24gRWFy dGggKEFvRSkgdGltZSB6b25lLgoKPT09PT09PT09PT09PT09PT09PT09PT09PT09ClN1Ym1pc3Np b25zIGd1aWRlbGluZXMKPT09PT09PT09PT09PT09PT09PT09PT09PT09CgpQcm9zcGVjdGl2ZSBz cGVha2VycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgb25lIChvciBtb3JlKSBvZiB0aGUgZm9sbG93 aW5nOgoKKiBQcm9jZWVkaW5ncyBwYXBlci4gVGhpcyBjb25zaXN0cyBvZiBhIDUtMTItcGFnZSBw YXBlciBwcmVzZW50aW5nCm9yaWdpbmFsIHJlc2VhcmNoIHJlc3VsdHMgbm90IGN1cnJlbnRseSB1 bmRlciBjb25zaWRlcmF0aW9uIGZvcgpwdWJsaWNhdGlvbiBlbHNld2hlcmUuIEl0IG11c3QgcHJv dmlkZSBzdWZmaWNpZW50IGV2aWRlbmNlIG9mIHJlc3VsdHMKb2YgZ2VudWluZSBpbnRlcmVzdCwg aW4gc3VmZmljaWVudCBkZXRhaWwsIGZvciB0aGUgcHJvZ3JhbSBjb21taXR0ZWUKdG8gYXNzZXNz IHRoZSBtZXJpdHMgYW5kIGNvcnJlY3RuZXNzIG9mIHRoZSB3b3JrLiBQcm9jZWVkaW5ncwpzdWJt aXNzaW9ucyBtdXN0IHVzZSB0aGUgRVBUQ1Mgc3R5bGUgZmlsZXMuCgoqIFRhbGsgcHJvcG9zYWwu IFRoaXMgY29uc2lzdHMgb2YgYSAzLXBhZ2Ugc3VtbWFyeSBhbG9uZyB3aXRoIGEgbGluawp0byBh IHNlcGFyYXRlIHB1Ymxpc2hlZCBwYXBlciBvciBwcmVwcmludC4gSWYgdGhlIHB1Ymxpc2hlZCBw YXBlciBvcgpwcmVwcmludCBpcyBub3QgcHVibGljbHkgYXZhaWxhYmxlIChlLmcuIG5vdCBvcGVu IGFjY2VzcyksIHRoZW4gaXQKbXVzdCBiZSBpbmNsdWRlZCBpbiBmdWxsIGFmdGVyIHRoZSBzdW1t YXJ5LgoKKiBQb3N0ZXIuIFRoaXMgY29uc2lzdHMgb2YgYSAzLXBhZ2Ugc3VtbWFyeSBvZiAocGFy dGlhbCkgcmVzdWx0cyBvcgp3b3JrIGluIHByb2dyZXNzLgoKU3VibWlzc2lvbiBpcyB2aWEgRWFz eUNoYWlyIGF0IHRoZSBmb2xsb3dpbmcgVVJMOgpodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19f aHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPXFwbDIwMjVfXzshIUlCeldM VXMhVVJTemwwQVJ0ejRJZ1NDUng0cWo5TzEzZVlJUTVrTzM1WmN2bHh5Smg0a0VDOXVZQVFhWWZl aXh4ck4wNTVKcGtmWmVjMGRQckhpck5tMTJxdUZiSlE3Ql9vcS1lTVpndXZEMzF3MCQgCgo9PT09 PT09PT09PT09PT09PT09PT09PT09PT0KUHJlc2VudGF0aW9ucwo9PT09PT09PT09PT09PT09PT09 PT09PT09PT0KCkF1dGhvcnMgb2YgYWNjZXB0ZWQgc3VibWlzc2lvbnMgYXJlIGV4cGVjdGVkIHRv IHByZXNlbnQgdGhlaXIgd29yawpkdXJpbmcgdGhlIGNvbmZlcmVuY2UgKGUuZy4gYnkgZ2l2aW5n IGEgdGFsayBvciBwcmVzZW50aW5nIGEgcG9zdGVyKS4KVGhlcmUgd2lsbCBiZSBhbiBhd2FyZCBm b3IgQmVzdCBTdHVkZW50IFBhcGVyIGF0IHRoZSBkaXNjcmV0aW9uIG9mIHRoZQpQcm9ncmFtIENv bW1pdHRlZS4gUGFwZXJzIGVsaWdpYmxlIGZvciB0aGUgYXdhcmQgYXJlIHRob3NlIHdoZXJlIGFs bAp0aGUgYXV0aG9ycyBhcmUgc3R1ZGVudHMgYXQgdGhlIHRpbWUgb2Ygc3VibWlzc2lvbi4KCj09 PT09PT09PT09PT09PT09PT09PT09PT09PQpDb25mZXJlbmNlIFByb2NlZWRpbmdzCj09PT09PT09 PT09PT09PT09PT09PT09PT09PQpDb25mZXJlbmNlIHByb2NlZWRpbmdzIHdpbGwgYmUgcHVibGlz aGVkIGluIEVsZWN0cm9uaWMgUHJvY2VlZGluZ3MgaW4KVGhlb3JldGljYWwgQ29tcHV0ZXIgU2Np ZW5jZSAoRVBUQ1MpIGFmdGVyIHRoZSBjb25mZXJlbmNlLgoKPT09PT09PT09PT09PT09PT09PT09 PT09PT09ClFQTCAyMDI1IFByb2dyYW1tZSBDb21taXR0ZWUKPT09PT09PT09PT09PT09PT09PT09 PT09PT09CiogQWxhc3RhaXIgQWJib3R0CiogUGFibG8gQXJyaWdoaQoqIE1pcmlhbSBCYWNrZW5z CiogUnVpIFNvYXJlcyBCYXJib3NhCiogw4VtaW4gQmF1bWVsZXIKKiBKZXNzaWNhIEJhdmFyZXNj bwoqIEFsZXNzYW5kcm8gQmlzaW8KKiBSb2JlcnQgQm9vdGgKKiBDeXJpbCBCcmFuY2lhcmQKKiBU aXRvdWFuIENhcmV0dGUKKiBVbHlzc2UgQ2hhYmF1ZAoqIEdpdWxpbyBDaGlyaWJlbGxhCiogQm9i IENvZWNrZQoqIFJvc3MgRHVuY2FuCiogQWxlamFuZHJvIETDrWF6LUNhcm8gLS0gQ28tY2hhaXIK KiBQaWVycmUtRW1tYW51ZWwgRW1lcmlhdQoqIEZsYW1pbmlhIEdpYWNvbWluaQoqIFN0ZWZhbm8g R29naW9zbwoqIE1hdHR5IEhvYmFuCiogRW1tYW51ZWwgSmVhbmRlbAoqIEFubmEgSmVuxI1vdsOh CiogUm9iaW4gS2FhcnNnYWFyZAoqIE1hcnR0aSBLYXJ2b25lbgoqIEtvaGVpIEtpc2hpZGEKKiBB bGVrcyBLaXNzaW5nZXIKKiBSYXZpIEt1bmp3YWwKKiBSb2JpbiBMb3JlbnoKKiBHbMOhdWNpYSBN dXJ0YQoqIE51cml5YSBOdXJnYWxpZXZhCiogT2dueWFuIE9yZXNoa292IC0tIENvLWNoYWlyCiog QW5uYSBQZWFyc29uCiogU2ltb24gUGVyZHJpeAoqIE5pY29sYSBQaW56YW5pCiogUm9iZXJ0IFJh bmQKKiBOZWlsIFJvc3MKKiBNZWhybm9vc2ggU2FkcnphZGVoCiogQW5hIEJlbMOpbiBTYWlueiAt LSBDby1jaGFpcgoqIE5pdGljYSBTYWtoYXJ3YWRlCiogQ2FybG8gTWFyaWEgU2NhbmRvbG8KKiBK b2huIFNlbGJ5CiogUGV0ZXIgU2VsaW5nZXIKKiBTb25qYSBTbWV0cwoqIFBhd2VsIFNvYm9jaW5z a2kKKiBJc2FyIFN0dWJiZQoqIE1hcmNlbG8gVGVycmEgQ3VuaGEKKiBCZW5vw650IFZhbGlyb24K KiBBdWd1c3RpbiBWYW5yaWV0dmVsZGUKKiBWLiBWaWxhc2luaQoqIFJlbmF1ZCBWaWxtYXJ0Ciog SnVsaWFuYSBWaXp6b3R0bwoqIFF1YW5sb25nIFdhbmcKKiBKdWxpYW4gV2VjaHMKKiBNaXJqYW0g V2VpbGVubWFubgoqIEpvaG4gdmFuIGRlIFdldGVyaW5nCiogQWxleGFuZGVyIFdpbGNlCiogTWFy Z2hlcml0YSBab3J6aQoKPT09PT09PT09PT09PT09PT09PT09PT09PT09ClFQTCAyMDI1IE9yZ2Fu aXNpbmcgQ29tbWl0dGVlCj09PT09PT09PT09PT09PT09PT09PT09PT09PQoKKiBKYW1lcyBIZWZm b3JkIChJbnJpYSwgRnJhbmNlKQoqIFRpbW90aMOpZSBIb2ZmcmV1bW9uIChVbml2ZXJzaXTDqSBQ YXJpcy1TYWNsYXksIEZyYW5jZSkKKiBaaXh1YW4gTGl1IChVbml2ZXJzaXTDqSBsaWJyZSBkZSBC cnV4ZWxsZXMsIEJlbGdpdW0pCiogT2dueWFuIE9yZXNoa292IChVbml2ZXJzaXTDqSBsaWJyZSBk ZSBCcnV4ZWxsZXMsIEJlbGdpdW0pIC0tIENvbmZlcmVuY2UgQ2hhaXIKKiBFbGVmdGhlcmlvcyBF cm1pcyBUc2VsZW50aXMgKFVuaXZlcnNpdMOpIGxpYnJlIGRlIEJydXhlbGxlcywgQmVsZ2l1bSkK KiBWbGFkaW1pciBaYW1kemhpZXYgKElucmlhLCBGcmFuY2UpCgo9PT09PT09PT09PT09PT09PT09 PT09PT09PT0KUVBMIFN0ZWVyaW5nIENvbW1pdHRlZQo9PT09PT09PT09PT09PT09PT09PT09PT09 PT0KCiogQm9iIENvZWNrZSAoUXVhbnRpbnV1bSwgVUspCiogQW5hIEJlbMOpbiBTYWlueiAoVW5p dmVyc2l0eSBvZiBHZGHFhHNrLCBQb2xhbmQpCiogUGV0ZXIgU2VsaW5nZXIgKERhbGhvdXNpZSBV bml2ZXJzaXR5LCBDYW5hZGEpCgotLSAKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBz Oi8vbWVtYmVycy5sb3JpYS5mci9BRGlhekNhcm8vX187ISFJQnpXTFVzIVVSU3psMEFSdHo0SWdT Q1J4NHFqOU8xM2VZSVE1a08zNVpjdmx4eUpoNGtFQzl1WUFRYVlmZWl4eHJOMDU1SnBrZlplYzBk UHJIaXJObTEycXVGYkpRN0Jfb3EtZU1aZ2EwS1ltb2ckIAo=