Proof Society 2026: 2nd Call for Abstracts (7-11 September, Aussois, FRANCE)
Alexis Saurin <[email protected]> Tue, 19 May 2026 12:40:58 +0200
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKCltBcG9s b2dpZXMgZm9yIG11bHRpcGxlIHBvc3RpbmdzLl0KCioqKlNlY29uZCBDYWxsIGZvciBBYnN0cmFj dHMqKioKClBST09GIFNPQ0lFVFkgMjAyNgo4dGggUFJPT0YgU09DSUVUWSBJTlRFUk5BVElPTkFM IFNDSE9PTCBBTkQgV09SS1NIT1AKNy0xMSBTZXB0ZW1iZXIgMjAyNgpBdXNzb2lzLCBGcmVuY2gg QWxwcywgRnJhbmNlCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL3Byb29mc29j aWV0eTI2LnNjaWVuY2VzY29uZi5vcmdfXzshIUlCeldMVXMhWFFHQ0ZaM2o3T3dOUl81YWNGN3gz VUFFUUo3ZFV6OVhPVi1XOU1ZRkRiZXNXeVFKZDZXQzhDTjNyOHFEVnd5TmhrUTlBV1BsdEdTRmRP OFpkcG10RmxHNzBwQjdTbEtCQ01xVGhxcyQgCgoKTkVXUwotIHN1Ym1pc3Npb24gZGV0YWlscwot IGluZm8gb24gaW52aXRlZCBzcGVha2VycwoKCklNUE9SVEFOVCBEQVRFUwoKLSBBYnN0cmFjdCBk ZWFkbGluZTogMjkgTWF5IDIwMjYKLSBOb3RpZmljYXRpb246IDE1IEp1bmUgMjAyNgotIEZpbmFs IHZlcnNpb246IDMwIEp1bmUgMjAyNgotIFNjaG9vbCAmIFdvcmtzaG9wOiA3LTExIFNlcHRlbWJl ciAyMDI2CgoKSU5WSVRFRCBTUEVBS0VSUwoKQ29uZmlybWVkIGludml0ZWQgbGVjdHVyZXMgYnk6 Ci0gVmljdG9yaWEgQkFSUkVUVCwgSU5SSUEKLSBNYXJpZSBLRVJKRUFOLCBDTlJTCi0gQWxleCBT SU1QU09OLCBVbml2ZXJzaXR5IG9mIExqdWJsamFuYQoKQ29uZmlybWVkIGludml0ZWQgdGFsa3Mg Ynk6Ci0gR2lhbmx1Y2EgQ1VSWkksIFVuaXZlcnNpdHkgb2YgR290aGVuYnVyZwotIEFtaXIgQUtC QVIgVEFCQVRBQkFJLCBVbml2ZXJzaXR5IG9mIEdyb25pbmdlbgoKTW9yZSBzcGVha2VycyB3aWxs IGJlIGFubm91bmNlZCBzaG9ydGx5LgoKClNVQk1JU1NJT05TCgpXZSBzb2xpY2l0IHN1Ym1pc3Np b25zIG9mIHNob3J0IGFic3RyYWN0cyBvZiB1cCB0byAyIHBhZ2VzIChub3QgCmluY2x1ZGluZyBy ZWZlcmVuY2VzKSwgdG8gYmUgcHJlc2VudGVkIGFzIGEgdGFsayBhdCB0aGUgd29ya3Nob3AuIFRo ZXJlIAphcmUgbm8gZm9ybWFsIHB1Ymxpc2hlZCBwcm9jZWVkaW5ncywgYnV0IGFjY2VwdGVkIGFi c3RyYWN0cyB3aWxsIGJlIG1hZGUgCmF2YWlsYWJsZSBmb3IgdGhlIHdvcmtzaG9wLgoKQWJzdHJh Y3QgY2FuIHByZXNlbnQgb25nb2luZyBvciBjb21wbGV0ZWQgd29ya3MsIGFscmVhZHkgcHVibGlz aGVkIG9yIApub3QuIFdlIGFsc28gd2VsY29tZSBhYnN0cmFjdHMgdGhhdCBvZmZlciB0byByZXZp ZXcgYXQgYSBoaWdoZXIgbGV2ZWwgYSAKcmVzdWx0IG9yIHByb29mIHRlY2huaXF1ZSB0aGF0IHRo ZSBhdXRob3IgcHJlc2VudGVkIGluIGEgc2VyaWVzIG9mIApwYXBlcnMuIEluIGNhc2UgdGhlIHNo b3J0IGFic3RyYWN0IGlzIHN1cHBvcnRlZCBieSBwdWJsaXNoZWQgd29yaywgCm1hc3RlciB0aGVz aXMgb3IgUGhEIHRoZXNpcywgYXV0aG9ycyBhcmUgd2VsY29tZSB0byBleHBsaWNpdGVseSBtZW50 aW9uIAppdCB3aXRoIHRoZWlyIHN1Ym1pc3Npb24uCgpTdWJtaXNzaW9ucyBzaGFsbCBiZSBtYWRl IHZpYSBlYXN5Y2hhaXIgdXNpbmcgdGhlIGZvbGxvd2luZyBsaW5rOgpodHRwczovL3VybGRlZmVu c2UuY29tL3YzL19faHR0cHM6Ly9lYXN5Y2hhaXIub3JnL215L2NvbmZlcmVuY2U/Y29uZj1wczI2 X187ISFJQnpXTFVzIVhRR0NGWjNqN093TlJfNWFjRjd4M1VBRVFKN2RVejlYT1YtVzlNWUZEYmVz V3lRSmQ2V0M4Q04zcjhxRFZ3eU5oa1E5QVdQbHRHU0ZkTzhaZHBtdEZsRzcwcEI3U2xLQnpqNnQ4 YWskIAoKCkFJTVMgQU5EIFNDT1BFCgpUaGUgOHRoIFByb29mIFNvY2lldHkgSW50ZXJuYXRpb25h bCBTY2hvb2wgYW5kIFdvcmtzaG9wIHdpbGwgYmUgCm9yZ2FuaXNlZCBpbiB0aGUgUGF1bCBMYW5n ZXZpbiBDZW50ZXIsIEF1c3NvaXMsIGluIHRoZSBGcmVuY2ggQWxwcy4gVGhlIApldmVudCB0YWtl cyBwbGFjZSB1bmRlciB0aGUgYXVzcGljZXMgb2YgVGhlIFByb29mIFNvY2lldHkgKFBTKSwgYSAK c29jaWV0eSBmb3JtZWQgdG8gc3VwcG9ydCB0aGUgbm90aW9uIG9mIHByb29mIGluIGl0cyBicm9h ZGVzdCBzZW5zZS4KClRoZSBhaW0gb2YgdGhlIFNjaG9vbCBpcyB0byBjb3ZlciBiYXNpYyBhbmQg YWR2YW5jZWQgdG9waWNzIGluIHByb29mIAp0aGVvcnkgYW5kIHJlbGF0ZWQgc3ViamVjdHMuIFRo ZSB3b3Jrc2hvcCB3aWxsIGNvbnNpc3QgaW4gYSBtaXh0dXJlIG9mIAppbnZpdGVkIGFuZCBjb250 cmlidXRlZCB0YWxrcy4gVGhpcyB5ZWFyLCBpbiBvcmRlciB0byBiZXR0ZXIgY29ubmVjdCB0aGUg CnR3byBldmVudHMsIHRoZSBtb3JuaW5ncyB3aWxsIGJlIGRlZGljYXRlZCB0byB0aGUgTGVjdHVy ZXMgd2hpbGUgdGhlIAphZnRlcm5vb25zIHdpbGwgY29uc2lzdCBpbiB0aGUgY29udHJpYnV0ZWQg d29ya3Nob3AgdGFsa3MuCgpUaGUgZXZlbiBpcyBhaW1lZCBhdCBhIHdpZGUgYXVkaWVuY2UsIGZy b20gTWFzdGVyJ3MgYW5kIFBoRCBzdHVkZW50cyAKaW50ZXJlc3RlZCBpbiBwcm9vZiB0aGVvcnkg dG8gY29uZmlybWVkIHJlc2VhcmNoZXJzIHdvcmtpbmcgYXJvdW5kIHByb29mIAp0aGVvcnkgYW5k IGl0cyBhcHBsaWNhdGlvbnMgaW4gY29tcHV0ZXIgc2NpZW5jZSwgbWF0aGVtYXRpY3MsIApsaW5n dWlzdGljcyBhbmQgcGhpbG9zb3BoeS4KClRoZSBQUzI2IFdvcmtzaG9wIGFuZCBTY2hvb2wgYWlt IHRvIHByb21vdGUgcHJvb2YgdGhlb3J5IGFuZCBpdHMgcmVsYXRlZCAKYXJlYXMsIGluIHRoZSBi cm9hZGVzdCBzZW5zZS4gVG9waWNzIGluY2x1ZGUgYnV0IGFyZSBub3QgbGltaXRlZCB0bzoKCiAg CSogQXBwbGllZCBwcm9vZiB0aGVvcnksIGUuZy4gcHJvb2YgbWluaW5nCiAgCSogRm9ybWFsaXNl ZCBwcm9vZnMKICAJKiBTdHJ1Y3R1cmFsIHByb29mIHRoZW9yeQogIAkqIExpbmVhciBsb2dpYwog IAkqIENvbXB1dGF0aW9uYWwgaW50ZXJwcmV0YXRpb25zIG9mIHByb29mcwogIAkqIENvbXB1dGFi aWxpdHkgYW5kIHByb29mcywgZS5nLiBSZXZlcnNlIE1hdGhlbWF0aWNzCiAgCSogT3JkaW5hbCBh bmFseXNpcwogIAkqIFBoaWxvc29waHkgb2YgcHJvb2YgdGhlb3J5CiAgCSogUHJvb2Ygc3lzdGVt cyBhbmQgcHJvb2Ygc2VhcmNoCiAgCSogUHJvb2YgY29tcGxleGl0eQogIAkqIEF1dG9tYXRlZCB0 aGVvcmVtIHByb3ZpbmcKCgpQUk9HUkFNIENPTU1JVFRFRQoKICAJKiBNZWxpc3NhIEFudG9uZWxs aSAoVHVlYmluZ2VuIFVuaXZlcnNpdHksIEdlcm1hbnkpCiAgCSogTnVyaWEgQnJlZGUgKElSSUYs IElOUklBLCBGcmFuY2UpCiAgCSogSnVsaWUgQ2FpbGxlciAoTE9SSUEsIFVuaXZlcnNpdMOpIGRl IExvcnJhaW5lLCBGcmFuY2UpCiAgCSogQWJoaXNoZWsgRGUgKEtyZWlhIFVuaXZlcnNpdHksIElu ZGlhKQogIAkqIEh1Z28gRsOpcsOpZSAoSVJJRiwgVW5pdmVyc2l0w6kgUGFyaXMgQ2l0w6ksIEZy YW5jZSkKICAJKiBMYXVyYSBGb250YW5lbGxhIChMQUNMLCBVbml2ZXJzaXTDqSBQYXJpcy1Fc3Qg Q3LDqXRlaWwsIEZyYW5jZSkKICAJKiBSYWplZXYgR29yw6kgKE1vbmFzaCBVbml2ZXJzaXR5LCBB dXN0cmFsaWEpCiAgCSogSmVhbi1CYXB0aXN0ZSBKb2luZXQgKFVuaXZlcnNpdMOpIEx5b24gMywg RnJhbmNlKQogIAkqIENoYW50YWwgS2VsbGVyIChMTUYsIFVuaXZlcnNpdMOpIFBhcmlzLVNhY2xh eSwgRnJhbmNlKQogIAkqIERvbWluaWsgS2lyc3QgKExJWCwgSU5SSUEsIEZyYW5jZSkKICAJKiBP bGl2aWVyIExhdXJlbnQgKExJUCwgQ05SUywgRnJhbmNlKQogIAkqIEFuZWxhIExvbGljIChUVSBX aWVuLCBBdXN0cmlhKQogIAkqIEx1ZG92aWMgUGF0ZXkgKElNSi1QUkcsIENOUlMsIEZyYW5jZSkK ICAJKiBDZWNpbGlhIFByYWRpYyAoU3dhbnNlYSBVbml2ZXJzaXR5LCBVSykKICAJKiBFbGFpbmUg UGltZW50ZWwgKFVDTCwgVUspCiAgCSogQ2hyaXN0aWFuIFJldG9yw6kgKExJUk1NLCBVbml2ZXJz aXTDqSBkZSBNb250cGVsbGllciwgRnJhbmNlKQogIAkqIEFsZXhpcyBTYXVyaW4gKElSSUYsIENO UlMsIEZyYW5jZSkgUEMgY2hhaXIKICAJKiBLYXp1c2hpZ2UgVGVydWkgKFJJTVMsIEphcGFuKQog IAkqIExpb25lbCBWYXV4LUF1Y2xhaXIgKEkyTSwgVW5pdmVyc2l0w6kgZCdBaXgtTWFyc2VpbGxl LCBGcmFuY2UpCiAgCSogTWFyZ2hlcml0YSBab3J6aSAoVW5pdmVyc2l0w6AgZGkgVmVyb25hLCBJ dGFseSkKCgpDT05UQUNUCgpwcm9vZnNvY2lldHkyNkBzY2llbmNlc2NvbmYub3JnCg==