LIQCS 2026 - Last call for participation: Registration deadline June 8
Alejandro Díaz-Caro <alejandro-bV/[email protected]> Fri, 5 Jun 2026 10:13:24 +0200
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CAGvJX+w-BNc7wxpEm+nJ57XG9zT7PwoXhggfaGPrhDQwkH4B_w@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQo9PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCkNBTEwgRk9SIFBBUlRJQ0lQQVRJT046IExJ UUNTIDIwMjYKCldvcmtzaG9wIG9uIExvZ2ljIGluIFF1YW50dW0gQ29tcHV0ZXIgU2NpZW5jZQoK SnVuZSAxNy0xOSwgMjAyNgpQYXJpcywgRnJhbmNlCgpodHRwczovL3VybGRlZmVuc2UuY29tL3Yz L19faHR0cHM6Ly9saXFjczIwMjYuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXNi1pdVZjeFNFaXpw ZDkxdWJMaXB6Zm5BS1daYlRuUU9TQlQ0TWxQWGVIakpiUkYyalNhZzMzYjYyUWJ1NGE3cWFqYzhi TjV4UnRRTlNRRUVlMFhWZ2JSM3l3WnFtMjJ1VTAtTlhNJCAKCioqKiBSZWdpc3RyYXRpb24gaXMg bWFuZGF0b3J5IGFuZCBmcmVlIG9mIGNoYXJnZS4gKioqCgo9PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT0KCiMgQWJvdXQgTElRQ1MKCkxJUUNTIGlzIGEgd29ya3Nob3AgZGVkaWNh dGVkIHRvIHRoZSBsb2dpY2FsIGFuZCBtYXRoZW1hdGljYWwKZm91bmRhdGlvbnMgb2YgcXVhbnR1 bSBjb21wdXRlciBzY2llbmNlLiBJdHMgZ29hbCBpcyB0byBicmluZyB0b2dldGhlcgpyZXNlYXJj aGVycyB3b3JraW5nIG9uIHJpZ29yb3VzIGZyYW1ld29ya3MgZm9yIHF1YW50dW0gY29tcHV0YXRp b24sCmluY2x1ZGluZyBsb2dpYywgdHlwZSB0aGVvcnksIHNlbWFudGljcywgYWxnZWJyYWljIGFu ZCBjYXRlZ29yaWNhbAptZXRob2RzLCBhbmQgZm9ybWFsIHZlcmlmaWNhdGlvbi4KCiMgUmVnaXN0 cmF0aW9uCgpUaGUgcmVnaXN0cmF0aW9uIGRlYWRsaW5lIGlzICoqSnVuZSA4KiouIFRoZSByZWdp c3RyYXRpb24gaXMgZnJlZSBidXQgbWFuZGF0b3J5LgoKIyBDb250cmlidXRlZCB0YWxrcwpodHRw czovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9saXFjczIwMjYuZ2l0aHViLmlvLyp0YWxr c19fO0l3ISFJQnpXTFVzIVc2LWl1VmN4U0VpenBkOTF1YkxpcHpmbkFLV1piVG5RT1NCVDRNbFBY ZUhqSmJSRjJqU2FnMzNiNjJRYnU0YTdxYWpjOGJONXhSdFFOU1FFRWUwWFZnYlIzeXdacW0yMjdB UjQ0amskIAoKIyBQcm9ncmFtIENvbW1pdHRlZQpLb3N0aWEgQ2hhcmRvbm5ldApVZ28gRGFsIExh Z28KS2lubmFyaSBEYXZlCkFsZWphbmRybyBEw61hei1DYXJvIChDby1jaGFpcikKQ2xhdWRpYSBG YWdnaWFuCkVtbWFudWVsIEhhaW5yeQpDaHJpcyBIZXVuZW4KT2N0YXZpbyBNYWxoZXJiZQpSb21h aW4gUMOpY2hvdXggKENvLWNoYWlyKQpQZXRlciBTZWxpbmdlcgpTYW0gU3RhdG9uClRha2VzaGkg VHN1a2FkYQpCZW5vw650IFZhbGlyb24gKENvLWNoYWlyKQpWbGFkaW1pciBaYW1kemhpZXYgKENv LWNoYWlyKQoKLS0gCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL21lbWJlcnMu bG9yaWEuZnIvQURpYXpDYXJvL19fOyEhSUJ6V0xVcyFXNi1pdVZjeFNFaXpwZDkxdWJMaXB6Zm5B S1daYlRuUU9TQlQ0TWxQWGVIakpiUkYyalNhZzMzYjYyUWJ1NGE3cWFqYzhiTjV4UnRRTlNRRUVl MFhWZ2JSM3l3WnFtMjJvQktld2hzJCAK