LIQCS 2026 - Call for participation

Alejandro Díaz-Caro <alejandro-bV/[email protected]> Wed, 6 May 2026 14:18:51 +0200
Newsgroups gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory
Message-ID <CAGvJX+x0GFMR7_QTR=s80T8wdyqu0vtpMWyzNPrNVGcHR=wiLg@mail.gmail.com> 
WyBUaGUgVHlwZXMgRm9ydW0gKGFubm91bmNlbWVudHMgb25seSksCiAgICAgaHR0cDovL2xpc3Rz
LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtYW5ub3VuY2UgXQoKPT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgpDQUxMIEZPUiBQQVJUSUNJUEFUSU9OOiBM
SVFDUyAyMDI2CgpXb3Jrc2hvcCBvbiBMb2dpYyBpbiBRdWFudHVtIENvbXB1dGVyIFNjaWVuY2UK
Ckp1bmUgMTctMTksIDIwMjYKUGFyaXMsIEZyYW5jZQoKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92
My9fX2h0dHBzOi8vbGlxY3MyMDI2LmdpdGh1Yi5pby9fXzshIUlCeldMVXMhUUhzZGZMVHdoRWYt
czZSZjMwRXEzbVkyVEZKZ092SjhqbHYwTWhpTUloSG1vd3MwSVVrWDk5czByNlVZS3dkY0RxMi14
blJCMzZzQjRTNUFvOUVvemxQQ3ZfS3d4VWNWRmV4RUJ1NCQgCgoqKiogQ29udHJpYnV0ZWQgdGFs
a3MgYXJlIG9ubGluZS4gUmVnaXN0cmF0aW9uIGlzIG9wZW4uICoqKgoKPT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09CgojIEFib3V0IExJUUNTCgpMSVFDUyBpcyBhIHdvcmtzaG9w
IGRlZGljYXRlZCB0byB0aGUgbG9naWNhbCBhbmQgbWF0aGVtYXRpY2FsCmZvdW5kYXRpb25zIG9m
IHF1YW50dW0gY29tcHV0ZXIgc2NpZW5jZS4gSXRzIGdvYWwgaXMgdG8gYnJpbmcgdG9nZXRoZXIK
cmVzZWFyY2hlcnMgd29ya2luZyBvbiByaWdvcm91cyBmcmFtZXdvcmtzIGZvciBxdWFudHVtIGNv
bXB1dGF0aW9uLAppbmNsdWRpbmcgbG9naWMsIHR5cGUgdGhlb3J5LCBzZW1hbnRpY3MsIGFsZ2Vi
cmFpYyBhbmQgY2F0ZWdvcmljYWwKbWV0aG9kcywgYW5kIGZvcm1hbCB2ZXJpZmljYXRpb24uCgoj
IFJlZ2lzdHJhdGlvbgoKVGhlIHJlZ2lzdHJhdGlvbiBkZWFkbGluZSBpcyAqKkp1bmUgOCoqLiBU
aGUgcmVnaXN0cmF0aW9uIGlzIGZyZWUgYnV0IG1hbmRhdG9yeS4KCiMgQ29udHJpYnV0ZWQgdGFs
a3MKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vbGlxY3MyMDI2LmdpdGh1Yi5p
by8qdGFsa3NfXztJdyEhSUJ6V0xVcyFRSHNkZkxUd2hFZi1zNlJmMzBFcTNtWTJURkpnT3ZKOGps
djBNaGlNSWhIbW93czBJVWtYOTlzMHI2VVlLd2RjRHEyLXhuUkIzNnNCNFM1QW85RW96bFBDdl9L
d3hVY1ZVZ1FWUERvJCAKCiMgUHJvZ3JhbSBDb21taXR0ZWUKS29zdGlhIENoYXJkb25uZXQKVWdv
IERhbCBMYWdvCktpbm5hcmkgRGF2ZQpBbGVqYW5kcm8gRMOtYXotQ2FybyAoQ28tY2hhaXIpCkNs
YXVkaWEgRmFnZ2lhbgpFbW1hbnVlbCBIYWlucnkKQ2hyaXMgSGV1bmVuCk9jdGF2aW8gTWFsaGVy
YmUKUm9tYWluIFDDqWNob3V4IChDby1jaGFpcikKUGV0ZXIgU2VsaW5nZXIKU2FtIFN0YXRvbgpU
YWtlc2hpIFRzdWthZGEKQmVub8OudCBWYWxpcm9uIChDby1jaGFpcikKVmxhZGltaXIgWmFtZHpo
aWV2IChDby1jaGFpcikKCi0tIApodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9t
ZW1iZXJzLmxvcmlhLmZyL0FEaWF6Q2Fyby9fXzshIUlCeldMVXMhUUhzZGZMVHdoRWYtczZSZjMw
RXEzbVkyVEZKZ092SjhqbHYwTWhpTUloSG1vd3MwSVVrWDk5czByNlVZS3dkY0RxMi14blJCMzZz
QjRTNUFvOUVvemxQQ3ZfS3d4VWNWNlFfZ2JrMCQgCg==