Proof Society 2026: Deadline extension for contributions
Alexis Saurin <[email protected]> Sat, 30 May 2026 10:18:14 +0200
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQpbQXBvbG9n aWVzIGZvciBtdWx0aXBsZSBwb3N0aW5ncy5dCgpEdWUgdG8gc2V2ZXJhbCByZXF1ZXN0cywgd2Ug aGF2ZSBleHRlbmRlZCB0aGUgc3VibWlzc2lvbiBkZWFkbGluZSB0aWxsIApKdW5lIDcgSnVuZSAy MDI2LCAyMzo1OSBBb0UgKHdpdGggdGl0bGUgYW5kIGFic3RyYWN0IHJlZ2lzdHJhdGlvbiBiZWZv cmUgClRodXJzZGF5IDQgSnVuZSwgMjNoNTkgQW9FKS4KQmVzdCwKQWxleGlzCgoKKioqRGVhZGxp bmUgRXh0ZW5zaW9uKioqCgpQUk9PRiBTT0NJRVRZIDIwMjYKOHRoIFBST09GIFNPQ0lFVFkgSU5U RVJOQVRJT05BTCBTQ0hPT0wgQU5EIFdPUktTSE9QCjctMTEgU2VwdGVtYmVyIDIwMjYKQXVzc29p cywgRnJlbmNoIEFscHMsIEZyYW5jZQpodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6 Ly9wcm9vZnNvY2lldHkyNi5zY2llbmNlc2NvbmYub3JnX187ISFJQnpXTFVzIVFrd3BnUVhjcGg4 cEZHalRKTWRidlhRdWhSdzdQdHMzNHI1aGlJZUJrVnBiNThYOGpMQTVrdm03OENqZFJBOTZaX2hN REpIQVdZcmpFVGsxcUFIYWxCTTRYeThxZXJSanBrdVoydjgkIAoKCklNUE9SVEFOVCBEQVRFUwoK LSBUaXRsZSAmIGFic3RyYWN0IHJlZ2lzdHJhdGlvbjogNCBKdW5lIDIwMjYsIDIzOjU5IEFvRSAo bmV3KQotIFN1Ym1pc3Npb24gZGVhZGxpbmU6IDcgSnVuZSAyMDI2LCAyMzo1OSBBb0UgKHVwZGF0 ZWQpCi0gTm90aWZpY2F0aW9uOiAxNyBKdW5lIDIwMjYgKHVwZGF0ZWQpCi0gRmluYWwgdmVyc2lv bjogMzAgSnVuZSAyMDI2Ci0gU2Nob29sICYgV29ya3Nob3A6IDctMTEgU2VwdGVtYmVyIDIwMjYK ClNVQk1JU1NJT05TCgpXZSBzb2xpY2l0IHN1Ym1pc3Npb25zIG9mIHNob3J0IGFic3RyYWN0cyBv ZiB1cCB0byAyIHBhZ2VzIChub3QgCmluY2x1ZGluZyByZWZlcmVuY2VzKSwgdG8gYmUgcHJlc2Vu dGVkIGFzIGEgdGFsayBhdCB0aGUgd29ya3Nob3AuIFRoZXJlIAphcmUgbm8gZm9ybWFsIHB1Ymxp c2hlZCBwcm9jZWVkaW5ncywgYnV0IGFjY2VwdGVkIGFic3RyYWN0cyB3aWxsIGJlIG1hZGUgCmF2 YWlsYWJsZSBmb3IgdGhlIHdvcmtzaG9wLgoKQWJzdHJhY3QgY2FuIHByZXNlbnQgb25nb2luZyBv ciBjb21wbGV0ZWQgd29ya3MsIGFscmVhZHkgcHVibGlzaGVkIG9yIApub3QuIFdlIGFsc28gd2Vs Y29tZSBhYnN0cmFjdHMgdGhhdCBvZmZlciB0byByZXZpZXcgYXQgYSBoaWdoZXIgbGV2ZWwgYSAK cmVzdWx0IG9yIHByb29mIHRlY2huaXF1ZSB0aGF0IHRoZSBhdXRob3IgcHJlc2VudGVkIGluIGEg c2VyaWVzIG9mIApwYXBlcnMuIEluIGNhc2UgdGhlIHNob3J0IGFic3RyYWN0IGlzIHN1cHBvcnRl ZCBieSBwdWJsaXNoZWQgd29yaywgCm1hc3RlciB0aGVzaXMgb3IgUGhEIHRoZXNpcywgYXV0aG9y cyBhcmUgd2VsY29tZSB0byBleHBsaWNpdGVseSBtZW50aW9uIAppdCB3aXRoIHRoZWlyIHN1Ym1p c3Npb24uCgpTdWJtaXNzaW9ucyBzaGFsbCBiZSBtYWRlIHZpYSBlYXN5Y2hhaXIgdXNpbmcgdGhl IGZvbGxvd2luZyBsaW5rOgpodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9lYXN5 Y2hhaXIub3JnL215L2NvbmZlcmVuY2U/Y29uZj1wczI2X187ISFJQnpXTFVzIVFrd3BnUVhjcGg4 cEZHalRKTWRidlhRdWhSdzdQdHMzNHI1aGlJZUJrVnBiNThYOGpMQTVrdm03OENqZFJBOTZaX2hN REpIQVdZcmpFVGsxcUFIYWxCTTRYeThxZXJSalpGMkZFa3MkIAoKQUlNUyBBTkQgU0NPUEUKClRo ZSA4dGggUHJvb2YgU29jaWV0eSBJbnRlcm5hdGlvbmFsIFNjaG9vbCBhbmQgV29ya3Nob3Agd2ls bCBiZSAKb3JnYW5pc2VkIGluIHRoZSBQYXVsIExhbmdldmluIENlbnRlciwgQXVzc29pcywgaW4g dGhlIEZyZW5jaCBBbHBzLiBUaGUgCmV2ZW50IHRha2VzIHBsYWNlIHVuZGVyIHRoZSBhdXNwaWNl cyBvZiBUaGUgUHJvb2YgU29jaWV0eSAoUFMpLCBhIApzb2NpZXR5IGZvcm1lZCB0byBzdXBwb3J0 IHRoZSBub3Rpb24gb2YgcHJvb2YgaW4gaXRzIGJyb2FkZXN0IHNlbnNlLgoKVGhlIGFpbSBvZiB0 aGUgU2Nob29sIGlzIHRvIGNvdmVyIGJhc2ljIGFuZCBhZHZhbmNlZCB0b3BpY3MgaW4gcHJvb2Yg CnRoZW9yeSBhbmQgcmVsYXRlZCBzdWJqZWN0cy4gVGhlIHdvcmtzaG9wIHdpbGwgY29uc2lzdCBp biBhIG1peHR1cmUgb2YgCmludml0ZWQgYW5kIGNvbnRyaWJ1dGVkIHRhbGtzLiBUaGlzIHllYXIs IGluIG9yZGVyIHRvIGJldHRlciBjb25uZWN0IHRoZSAKdHdvIGV2ZW50cywgdGhlIG1vcm5pbmdz IHdpbGwgYmUgZGVkaWNhdGVkIHRvIHRoZSBMZWN0dXJlcyB3aGlsZSB0aGUgCmFmdGVybm9vbnMg d2lsbCBjb25zaXN0IGluIHRoZSBjb250cmlidXRlZCB3b3Jrc2hvcCB0YWxrcy4KClRoZSBldmVu IGlzIGFpbWVkIGF0IGEgd2lkZSBhdWRpZW5jZSwgZnJvbSBNYXN0ZXIncyBhbmQgUGhEIHN0dWRl bnRzIAppbnRlcmVzdGVkIGluIHByb29mIHRoZW9yeSB0byBjb25maXJtZWQgcmVzZWFyY2hlcnMg d29ya2luZyBhcm91bmQgcHJvb2YgCnRoZW9yeSBhbmQgaXRzIGFwcGxpY2F0aW9ucyBpbiBjb21w dXRlciBzY2llbmNlLCBtYXRoZW1hdGljcywgCmxpbmd1aXN0aWNzIGFuZCBwaGlsb3NvcGh5LgoK VGhlIFBTMjYgV29ya3Nob3AgYW5kIFNjaG9vbCBhaW0gdG8gcHJvbW90ZSBwcm9vZiB0aGVvcnkg YW5kIGl0cyByZWxhdGVkIAphcmVhcywgaW4gdGhlIGJyb2FkZXN0IHNlbnNlLiBUb3BpY3MgaW5j bHVkZSBidXQgYXJlIG5vdCBsaW1pdGVkIHRvOgoKICAgICAgKiBBcHBsaWVkIHByb29mIHRoZW9y eSwgZS5nLiBwcm9vZiBtaW5pbmcKICAgICAgKiBGb3JtYWxpc2VkIHByb29mcwogICAgICAqIFN0 cnVjdHVyYWwgcHJvb2YgdGhlb3J5CiAgICAgICogTGluZWFyIGxvZ2ljCiAgICAgICogQ29tcHV0 YXRpb25hbCBpbnRlcnByZXRhdGlvbnMgb2YgcHJvb2ZzCiAgICAgICogQ29tcHV0YWJpbGl0eSBh bmQgcHJvb2ZzLCBlLmcuIFJldmVyc2UgTWF0aGVtYXRpY3MKICAgICAgKiBPcmRpbmFsIGFuYWx5 c2lzCiAgICAgICogUGhpbG9zb3BoeSBvZiBwcm9vZiB0aGVvcnkKICAgICAgKiBQcm9vZiBzeXN0 ZW1zIGFuZCBwcm9vZiBzZWFyY2gKICAgICAgKiBQcm9vZiBjb21wbGV4aXR5CiAgICAgICogQXV0 b21hdGVkIHRoZW9yZW0gcHJvdmluZwoKCklOVklURUQgU1BFQUtFUlMKCi0gQW1pciBBS0JBUiBU QUJBVEFCQUksIFVuaXZlcnNpdHkgb2YgR3JvbmluZ2VuCi0gVmljdG9yaWEgQkFSUkVUVCwgSU5S SUEKLSBHaWFubHVjYSBDVVJaSSwgVW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnCi0gTWFyaWUgS0VS SkVBTiwgQ05SUwotIEFsZXggU0lNUFNPTiwgVW5pdmVyc2l0eSBvZiBManVibGphbmEKLSBUQkEK LSBUQkEKClBST0dSQU0gQ09NTUlUVEVFCgogICAgICAqIE1lbGlzc2EgQW50b25lbGxpIChUdWVi aW5nZW4gVW5pdmVyc2l0eSwgR2VybWFueSkKICAgICAgKiBOdXJpYSBCcmVkZSAoSVJJRiwgSU5S SUEsIEZyYW5jZSkKICAgICAgKiBKdWxpZSBDYWlsbGVyIChMT1JJQSwgVW5pdmVyc2l0w6kgZGUg TG9ycmFpbmUsIEZyYW5jZSkKICAgICAgKiBBYmhpc2hlayBEZSAoS3JlaWEgVW5pdmVyc2l0eSwg SW5kaWEpCiAgICAgICogSHVnbyBGw6lyw6llIChJUklGLCBVbml2ZXJzaXTDqSBQYXJpcyBDaXTD qSwgRnJhbmNlKQogICAgICAqIExhdXJhIEZvbnRhbmVsbGEgKExBQ0wsIFVuaXZlcnNpdMOpIFBh cmlzLUVzdCBDcsOpdGVpbCwgRnJhbmNlKQogICAgICAqIFJhamVldiBHb3LDqSAoTW9uYXNoIFVu aXZlcnNpdHksIEF1c3RyYWxpYSkKICAgICAgKiBKZWFuLUJhcHRpc3RlIEpvaW5ldCAoVW5pdmVy c2l0w6kgTHlvbiAzLCBGcmFuY2UpCiAgICAgICogQ2hhbnRhbCBLZWxsZXIgKExNRiwgVW5pdmVy c2l0w6kgUGFyaXMtU2FjbGF5LCBGcmFuY2UpCiAgICAgICogRG9taW5payBLaXJzdCAoTElYLCBJ TlJJQSwgRnJhbmNlKQogICAgICAqIE9saXZpZXIgTGF1cmVudCAoTElQLCBDTlJTLCBGcmFuY2Up CiAgICAgICogQW5lbGEgTG9saWMgKFRVIFdpZW4sIEF1c3RyaWEpCiAgICAgICogTHVkb3ZpYyBQ YXRleSAoSU1KLVBSRywgQ05SUywgRnJhbmNlKQogICAgICAqIENlY2lsaWEgUHJhZGljIChTd2Fu c2VhIFVuaXZlcnNpdHksIFVLKQogICAgICAqIEVsYWluZSBQaW1lbnRlbCAoVUNMLCBVSykKICAg ICAgKiBDaHJpc3RpYW4gUmV0b3LDqSAoTElSTU0sIFVuaXZlcnNpdMOpIGRlIE1vbnRwZWxsaWVy LCBGcmFuY2UpCiAgICAgICogQWxleGlzIFNhdXJpbiAoSVJJRiwgQ05SUywgRnJhbmNlKSBQQyBj aGFpcgogICAgICAqIEthenVzaGlnZSBUZXJ1aSAoUklNUywgSmFwYW4pCiAgICAgICogTGlvbmVs IFZhdXgtQXVjbGFpciAoSTJNLCBVbml2ZXJzaXTDqSBkJ0FpeC1NYXJzZWlsbGUsIEZyYW5jZSkK ICAgICAgKiBNYXJnaGVyaXRhIFpvcnppIChVbml2ZXJzaXTDoCBkaSBWZXJvbmEsIEl0YWx5KQoK Q09OVEFDVAoKcHJvb2Zzb2NpZXR5MjZAc2NpZW5jZXNjb25mLm9yZwo=