QPL 2025: First Call for Papers
Alejandro Díaz-Caro <alejandro-bV/[email protected]> Wed, 30 Oct 2024 19:04:36 +0100
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CAGvJX+ziZ2uCsdyh1ZMxUFvfnH+9fAo0tjsPHOakHsghj8i4Wg@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKPT09PT09 PT09PT09PT09PT09PT09PT09PT09ClFQTCAyMDI1IC0gRmlyc3QgQ2FsbCBmb3IgUGFwZXJzCj09 PT09PT09PT09PT09PT09PT09PT09PT09PQoKVGhlIDIybmQgSW50ZXJuYXRpb25hbCBDb25mZXJl bmNlIG9uIFF1YW50dW0gUGh5c2ljcyBhbmQgTG9naWMgKFFQTCAyMDI1KQpWYXJuYSwgQnVsZ2Fy aWEsIEp1bHkgMTQtMTgsIDIwMjUKCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczov L3FwbDIwMjUuZ2l0aHViLmlvX187ISFJQnpXTFVzIVh6cmdaLU05bXJjVWxIemNJNEpERk9KRmxt bUJGVGJnQVdtalB3RTZwZU9aZ0ZzS3pNVVE1YktFenZWYjdqSkZDVjd4bjExa2FmSmFDMWE4bzVT QTJJa3VtSDJ2VXpvYkt4UWVPWEkkIAoKUXVhbnR1bSBQaHlzaWNzIGFuZCBMb2dpYyBpcyBhbiBh bm51YWwgY29uZmVyZW5jZSB0aGF0IGJyaW5ncyB0b2dldGhlcgphY2FkZW1pYyBhbmQgaW5kdXN0 cnkgcmVzZWFyY2hlcnMgd29ya2luZyBvbiBtYXRoZW1hdGljYWwgZm91bmRhdGlvbnMKb2YgcXVh bnR1bSBjb21wdXRhdGlvbiwgcXVhbnR1bSBwaHlzaWNzLCBhbmQgcmVsYXRlZCBhcmVhcy4gVGhl IG1haW4KZm9jdXMgaXMgb24gdGhlIHVzZSBvZiBhbGdlYnJhaWMgYW5kIGNhdGVnb3JpY2FsIHN0 cnVjdHVyZXMsIGZvcm1hbApsYW5ndWFnZXMsIHR5cGUgc3lzdGVtcywgbG9naWNzLCBzZW1hbnRp YyBtZXRob2RzLCBhcyB3ZWxsIGFzIG90aGVyCm1hdGhlbWF0aWNhbCBhbmQgY29tcHV0ZXIgc2Np ZW50aWZpYyB0ZWNobmlxdWVzIGFwcGxpY2FibGUgdG8gdGhlCnN0dWR5IG9mIHBoeXNpY2FsIHN5 c3RlbXMsIHBoeXNpY2FsIHByb2Nlc3NlcywgYW5kIHRoZWlyIGNvbXBvc2l0aW9uLgpXb3JrIGFw cGx5aW5nIHF1YW50dW0taW5zcGlyZWQgdGVjaG5pcXVlcyBhbmQgc3RydWN0dXJlcyB0byBvdGhl cgpmaWVsZHMsIHN1Y2ggYXMgbGluZ3Vpc3RpY3MsIGFydGlmaWNpYWwgaW50ZWxsaWdlbmNlLCBh bmQgY2F1c2FsaXR5LAppcyBhbHNvIHdlbGNvbWUuCgo9PT09PT09PT09PT09PT09PT09PT09PT09 PT0KSW1wb3J0YW50IERhdGVzCj09PT09PT09PT09PT09PT09PT09PT09PT09PQoKQWJzdHJhY3Qg c3VibWlzc2lvbiBkZWFkbGluZTogOSBGZWJydWFyeSAyMDI1ClBhcGVyIHN1Ym1pc3Npb24gZGVh ZGxpbmU6IDE2IEZlYnJ1YXJ5IDIwMjUKTm90aWZpY2F0aW9uOiAyNCBNYXJjaCAyMDI1CkNhbWVy YS1yZWFkeSBkZWFkbGluZSAocmV2aXNlZCBhY2NlcHRlZCBwcm9jZWVkaW5ncyBtYW51c2NyaXB0 cyk6IDE1IEp1bmUgMjAyNQpDb25mZXJlbmNlOiAxNCBKdWx5IC0gMTggSnVseSAyMDI1CgpBbGwg ZGVhZGxpbmVzIGFyZSBzdGF0ZWQgd2l0aCByZXNwZWN0IHRvIHRoZSBBbnl3aGVyZSBvbiBFYXJ0 aCAoQW9FKSB0aW1lIHpvbmUuCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT0KU3VibWlzc2lv bnMgZ3VpZGVsaW5lcwo9PT09PT09PT09PT09PT09PT09PT09PT09PT0KClByb3NwZWN0aXZlIHNw ZWFrZXJzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCBvbmUgKG9yIG1vcmUpIG9mIHRoZSBmb2xsb3dp bmc6CgoqIFByb2NlZWRpbmdzIHBhcGVyLiBUaGlzIGNvbnNpc3RzIG9mIGEgNS0xMi1wYWdlIHBh cGVyIHByZXNlbnRpbmcKb3JpZ2luYWwgcmVzZWFyY2ggcmVzdWx0cyBub3QgY3VycmVudGx5IHVu ZGVyIGNvbnNpZGVyYXRpb24gZm9yCnB1YmxpY2F0aW9uIGVsc2V3aGVyZS4gSXQgbXVzdCBwcm92 aWRlIHN1ZmZpY2llbnQgZXZpZGVuY2Ugb2YgcmVzdWx0cwpvZiBnZW51aW5lIGludGVyZXN0LCBp biBzdWZmaWNpZW50IGRldGFpbCwgZm9yIHRoZSBwcm9ncmFtIGNvbW1pdHRlZQp0byBhc3Nlc3Mg dGhlIG1lcml0cyBvZiB0aGUgd29yay4gUHJvY2VlZGluZ3Mgc3VibWlzc2lvbnMgbXVzdCB1c2Ug dGhlCkVQVENTIHN0eWxlIGZpbGVzLgoKKiBUYWxrIHByb3Bvc2FsLiBUaGlzIGNvbnNpc3RzIG9m IGEgMy1wYWdlIHN1bW1hcnkgYWxvbmcgd2l0aCBhIGxpbmsKdG8gYSBzZXBhcmF0ZSBwdWJsaXNo ZWQgcGFwZXIgb3IgcHJlcHJpbnQuIElmIHRoZSBwdWJsaXNoZWQgcGFwZXIgb3IKcHJlcHJpbnQg aXMgbm90IHB1YmxpY2x5IGF2YWlsYWJsZSAoZS5nLiBub3Qgb3BlbiBhY2Nlc3MpLCB0aGVuIGl0 Cm11c3QgYmUgaW5jbHVkZWQgaW4gZnVsbCBhZnRlciB0aGUgc3VtbWFyeS4KCiogUG9zdGVyLiBU aGlzIGNvbnNpc3RzIG9mIGEgMy1wYWdlIHN1bW1hcnkgb2YgKHBhcnRpYWwpIHJlc3VsdHMgb3IK d29yayBpbiBwcm9ncmVzcy4KClN1Ym1pc3Npb24gaXMgdmlhIEVhc3lDaGFpciBhdCB0aGUgZm9s bG93aW5nIFVSTDoKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vZWFzeWNoYWly Lm9yZy9jb25mZXJlbmNlcy8/Y29uZj1xcGwyMDI1X187ISFJQnpXTFVzIVh6cmdaLU05bXJjVWxI emNJNEpERk9KRmxtbUJGVGJnQVdtalB3RTZwZU9aZ0ZzS3pNVVE1YktFenZWYjdqSkZDVjd4bjEx a2FmSmFDMWE4bzVTQTJJa3VtSDJ2VXpvYnY2OEFwa3MkIAoKPT09PT09PT09PT09PT09PT09PT09 PT09PT09ClByZXNlbnRhdGlvbnMKPT09PT09PT09PT09PT09PT09PT09PT09PT09CgpBdXRob3Jz IG9mIGFjY2VwdGVkIHN1Ym1pc3Npb25zIGFyZSBleHBlY3RlZCB0byBwcmVzZW50IHRoZWlyIHdv cmsKZHVyaW5nIHRoZSBjb25mZXJlbmNlIChlLmcuIGJ5IGdpdmluZyBhIHRhbGssIHByZXNlbnRp bmcgYSBwb3N0ZXIsIG9yCnRvb2wgZGVtbykuClRoZXJlIHdpbGwgYmUgYW4gYXdhcmQgZm9yIEJl c3QgU3R1ZGVudCBQYXBlciBhdCB0aGUgZGlzY3JldGlvbiBvZiB0aGUKUHJvZ3JhbSBDb21taXR0 ZWUuIFBhcGVycyBlbGlnaWJsZSBmb3IgdGhlIGF3YXJkIGFyZSB0aG9zZSB3aGVyZSBhbGwKdGhl IGF1dGhvcnMgYXJlIHN0dWRlbnRzIGF0IHRoZSB0aW1lIG9mIHN1Ym1pc3Npb24uCgo9PT09PT09 PT09PT09PT09PT09PT09PT09PT0KQ29uZmVyZW5jZSBQcm9jZWVkaW5ncwo9PT09PT09PT09PT09 PT09PT09PT09PT09PT0KVEJBCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT0KUVBMIDIwMjUg UHJvZ3JhbW1lIENvbW1pdHRlZQo9PT09PT09PT09PT09PT09PT09PT09PT09PT0KVEJBCgoqIEFs ZWphbmRybyBEw61hei1DYXJvLCBJbnJpYSAmIFVOUSAoUEMgQ28tY2hhaXIpCiogT2dueWFuIE9y ZXNoa292LCBVbml2ZXJzaXTDqSBsaWJyZSBkZSBCcnV4ZWxsZXMsIEZOUlMgKFBDIENvLWNoYWly KQoqIEFuYSBCZWzDqW4gU2FpbnosIFVuaXZlcnNpdHkgb2YgR2RhxYRzayAoUEMgQ28tY2hhaXIp Cgo9PT09PT09PT09PT09PT09PT09PT09PT09PT0KUVBMIDIwMjUgT3JnYW5pc2luZyBDb21taXR0 ZWUKPT09PT09PT09PT09PT09PT09PT09PT09PT09CgoqIEphbWVzIEhlZmZvcmQsIElucmlhCiog VGltb3Row6llIEhvZmZyZXVtb24sIFVuaXZlcnNpdMOpIFBhcmlzLVNhY2xheQoqIFppeHVhbiBM aXUsIFVuaXZlcnNpdMOpIGxpYnJlIGRlIEJydXhlbGxlcwoqIE9nbnlhbiBPcmVzaGtvdiwgVW5p dmVyc2l0w6kgbGlicmUgZGUgQnJ1eGVsbGVzLCBGTlJTIChDaGFpcikKKiBFbGVmdGhlcmlvcyBF cm1pcyBUc2VsZW50aXMsIFVuaXZlcnNpdMOpIGxpYnJlIGRlIEJydXhlbGxlcwoqIFZsYWRpbWly IFphbWR6aGlldiwgSW5yaWEKCj09PT09PT09PT09PT09PT09PT09PT09PT09PQpRUEwgU3RlZXJp bmcgQ29tbWl0dGVlCj09PT09PT09PT09PT09PT09PT09PT09PT09PQoKKiBCb2IgQ29lY2tlLCBR dWFudGludXVtCiogQW5hIEJlbMOpbiBTYWlueiwgVW5pdmVyc2l0eSBvZiBHZGHFhHNrCiogUGV0 ZXIgU2VsaW5nZXIsIERhbGhvdXNpZSBVbml2ZXJzaXR5Cgo9PT09PT09PT09PT09PT09PT09PT09 PT09PT0KUVBMIDIwMjUgU3BvbnNvcnMKPT09PT09PT09PT09PT09PT09PT09PT09PT09ClRCQQoK LS0gCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL21lbWJlcnMubG9yaWEuZnIv QURpYXpDYXJvL19fOyEhSUJ6V0xVcyFYenJnWi1NOW1yY1VsSHpjSTRKREZPSkZsbW1CRlRiZ0FX bWpQd0U2cGVPWmdGc0t6TVVRNWJLRXp2VmI3akpGQ1Y3eG4xMWthZkphQzFhOG81U0EySWt1bUgy dlV6b2JfakxEQi04JCAK