TYPES 2025: Post-proceedings Final Call for Papers
Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg-3oVnsloLHoGFxr2TtlUqVg@public.gmane.org> Mon, 17 Nov 2025 12:17:06 +0000
| Newsgroups | gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
RGVhciBhbGwsIHRoaXMgaXMgYSBmaW5hbCBpbnZpdGF0aW9uIHRvIHN1Ym1pdCB0byB0aGUgVFlQ RVMgMjAyNSAKcG9zdC1wcm9jZWVkaW5ncy4gV2UgaGF2ZSBleHRlbmRlZCB0aGUgYWJzdHJhY3Qg ZGVhZGxpbmUgdW50aWwgKkZyaWRheSAKMjEgTm92ZW1iZXIqLCBhbmQgdGhlIGZ1bGwgcGFwZXIg ZGVhZGxpbmUgdW50aWwgKkZyaWRheSA2IERlY2VtYmVyKi4KCgoqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKgpUWVBFUyAyMDI1OiBQb3N0LXByb2NlZWRp bmdzIEZpbmFsIENhbGwgZm9yIFBhcGVycwoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKgoKaHR0cHM6Ly9tc3AuY2lzLnN0cmF0aC5hYy51ay90eXBlczIw MjUvcG9zdHByb2NlZWRpbmdzLmh0bWwKClRZUEVTIGlzIGEgbWFqb3IgZm9ydW0gZm9yIHRoZSBw cmVzZW50YXRpb24gb2YgcmVzZWFyY2ggb24gYWxsIGFzcGVjdHMgCm9mIHR5cGUgdGhlb3J5IGFu ZCBpdHMgYXBwbGljYXRpb25zLiBUWVBFUyAyMDI1IHdhcyBoZWxkIGZyb20gOSB0byAxMyAKSnVu ZSBhdCB0aGUgVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSwgR2xhc2dvdywgU2NvdGxhbmQuIFRo ZSAKcG9zdC1wcm9jZWVkaW5ncyB2b2x1bWUgd2lsbCBiZSBwdWJsaXNoZWQgaW4gTElQSWNzLCBM ZWlibml6IApJbnRlcm5hdGlvbmFsIFByb2NlZWRpbmdzIGluIEluZm9ybWF0aWNzLCBhbiBvcGVu LWFjY2VzcyBzZXJpZXMgb2YgCmNvbmZlcmVuY2UgcHJvY2VlZGluZ3MuCgpTdWJtaXNzaW9uIEd1 aWRlbGluZXMKLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgpTdWJtaXNzaW9uIGlzIG9wZW4gdG8gZXZl cnlvbmUsIGFsc28gdG8gdGhvc2Ugd2hvIGRpZCBub3QgcGFydGljaXBhdGUgaW4gCnRoZSBUWVBF UyAyMDI1IGNvbmZlcmVuY2UuIFdlIHdlbGNvbWUgaGlnaC1xdWFsaXR5IGRlc2NyaXB0aW9ucyBv ZiAKb3JpZ2luYWwgd29yaywgYXMgd2VsbCBhcyBwb3NpdGlvbiBwYXBlcnMsIG92ZXJ2aWV3IHBh cGVycywgYW5kIHN5c3RlbSAKZGVzY3JpcHRpb25zLiBTdWJtaXNzaW9ucyBzaG91bGQgYmUgd3Jp dHRlbiBpbiBFbmdsaXNoLCBhbmQgYmUgb3JpZ2luYWwsIAppLmUuLCBuZWl0aGVyIHByZXZpb3Vz bHkgcHVibGlzaGVkLCBub3Igc2ltdWx0YW5lb3VzbHkgc3VibWl0dGVkIHRvIGEgCmpvdXJuYWwg b3IgYSBjb25mZXJlbmNlLgoKLSBGb3JtYXR0aW5nOiBQYXBlcnMgaGF2ZSB0byBiZSBmb3JtYXR0 ZWQgd2l0aCB0aGUgY3VycmVudCBMSVBJY3Mgc3R5bGUgCmFuZCBhZGhlcmUgdG8gdGhlIHN0eWxl IHJlcXVpcmVtZW50cyBvZiBMSVBJY3MuCgotIFBhZ2UgbGltaXRzOiBUaGUgdXBwZXIgbGltaXQg Zm9yIHRoZSBsZW5ndGggb2Ygc3VibWlzc2lvbnMgaXMgMjAgcGFnZXMgCmZvciB0aGUgbWFpbiB0 ZXh0IChpbmNsdWRpbmcgYXBwZW5kaWNlcywgYnV0IGV4Y2x1ZGluZyB0aXRsZSBwYWdlIGFuZCAK YmlibGlvZ3JhcGh5KS4KCi0gU3VwcGxlbWVudGFyeSBtYXRlcmlhbDogQXV0aG9ycyBoYXZlIHRo ZSBvcHRpb24gdG8gYXR0YWNoIHRvIHRoZWlyIApzdWJtaXNzaW9uIGEgemlwIG9yIHRneiBmaWxl IGNvbnRhaW5pbmcgY29kZSAoZm9ybWFsaXNlZCBwcm9vZnMgb3IgCnByb2dyYW1zKSwgYnV0IHJl dmlld2VycyBhcmUgbm90IG9ibGlnZWQgdG8gdGFrZSB0aGUgYXR0YWNobWVudHMgaW50byAKYWNj b3VudCwgYW5kIHRoZXkgd2lsbCBub3QgYmUgcHVibGlzaGVkLgoKLSBTdWJtaXNzaW9uIHNpdGU6 IGh0dHBzOi8vdHlwZXMtaG90Y3JwLnBhcmlzLmlucmlhLmZyL3R5cGVzMjUtcG9zdC8gLgoKRGVh ZGxpbmVzCi0tLS0tLS0tLQoKU3VibWlzc2lvbiBvZiB0aXRsZSBhbmQgYWJzdHJhY3Q6wqAgRnJp ZGF5IDIxIE5vdmVtYmVyIDIwMjUgQW9FClN1Ym1pc3Npb24gb2YgZnVsbCBwYXBlcjogRnJpZGF5 IDUgRGVjZW1iZXIgMjAyNSBBb0UKQXV0aG9yIG5vdGlmaWNhdGlvbjogMSBBcHJpbCAyMDI2CgpU b3BpY3Mgb2YgaW50ZXJlc3QKLS0tLS0tLS0tLS0tLS0tLS0tCgpUaGUgc2NvcGUgb2YgdGhlIHBv c3QtcHJvY2VlZGluZ3MgaXMgdGhlIHNhbWUgYXMgdGhlIHNjb3BlIG9mIHRoZSAKY29uZmVyZW5j ZTogdGhlIHRoZW9yeSBhbmQgcHJhY3RpY2Ugb2YgdHlwZSB0aGVvcnkuIEluIHBhcnRpY3VsYXIs IHdlIAp3ZWxjb21lIHN1Ym1pc3Npb25zIG9uIHRoZSBmb2xsb3dpbmcgdG9waWNzOgoKKiBGb3Vu ZGF0aW9ucyBvZiB0eXBlIHRoZW9yeTsKKiBBcHBsaWNhdGlvbnMgb2YgdHlwZSB0aGVvcnkgKGUu Zy4gbGluZ3Vpc3RpY3Mgb3IgY29uY3VycmVuY3kpOwoqIENvbnN0cnVjdGl2ZSBtYXRoZW1hdGlj czsKKiBEZXBlbmRlbnRseSB0eXBlZCBwcm9ncmFtbWluZzsKKiBJbmR1c3RyaWFsIHVzZXMgb2Yg dHlwZSB0aGVvcnkgdGVjaG5vbG9neTsKKiBNZXRhLXRoZW9yZXRpYyBzdHVkaWVzIG9mIHR5cGUg c3lzdGVtczsKKiBQcm9vZiBhc3Npc3RhbnRzIGFuZCBwcm9vZiB0ZWNobm9sb2d5OwoqIEF1dG9t YXRpb24gaW4gY29tcHV0ZXItYXNzaXN0ZWQgcmVhc29uaW5nOwoqIExpbmtzIGJldHdlZW4gdHlw ZSB0aGVvcnkgYW5kIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmc7CiogRm9ybWFsaXNpbmcgbWF0aGVt YXRpY3MgdXNpbmcgdHlwZSB0aGVvcnk7CiogSG9tb3RvcHkgdHlwZSB0aGVvcnkgYW5kIHVuaXZh bGVudCBtYXRoZW1hdGljcy4KCkVkaXRvcnMKLS0tLS0tLQoKRnJlZHJpayBOb3JkdmFsbCBGb3Jz YmVyZywgVW5pdmVyc2l0eSBvZiBTdHJhdGhjbHlkZSwgR2xhc2dvdywgU2NvdGxhbmQKSmFtZXMg TWNLaW5uYSwgSGVyaW90LVdhdHQgVW5pdmVyc2l0eSwgRWRpbmJ1cmdoLCBTY290bGFuZAoKQ29u dGFjdAotLS0tLS0tCgpDSVNfdHlwZXMyMDI1LXBvc3RAZ3JvdXBzLnN0cmF0aC5hYy51awoKCl9f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkFnZGEgbWFpbGlu ZyBsaXN0CkFnZGFAbGlzdHMuY2hhbG1lcnMuc2UKaHR0cHM6Ly9saXN0cy5jaGFsbWVycy5zZS9t YWlsbWFuL2xpc3RpbmZvL2FnZGEK