TFPiE 2026, second call for submissions
Mart Lubbers <[email protected]> Mon, 27 Oct 2025 03:32:57 -0500
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAGtcRvACxBCJ2X0PXo7p2c6ogGyM1rUuEeUw-mmFu5GmND9+xw@mail.gmail.com> |
VEZQSUUgMjAyNiBDYWxsIGZvciBwYXBlcnMNCmh0dHBzOi8vd2lraS50ZnBpZS5zY2llbmNlLnJ1 Lm5sL1RGUElFMjAyNg0KKEphbnVhcnkgMjZ0aCAyMDI2LCBPZGVuc2UsIERlbm1hcmssIGNvLWxv Y2F0ZWQgd2l0aCBURlAgMjAyNiBhdA0KVW5pdmVyc2l0eSBvZiBTb3V0aGVybiBEZW5tYXJrKQ0K DQpURlBJRSAyMDI2IHdlbGNvbWVzIHN1Ym1pc3Npb25zIGRlc2NyaWJpbmcgdGVjaG5pcXVlcyB1 c2VkIGluIHRoZQ0KY2xhc3Nyb29tLCB0b29scyB1c2VkIGluIGFuZC9vciBkZXZlbG9wZWQgZm9y IHRoZSBjbGFzc3Jvb20gYW5kIGFueQ0KY3JlYXRpdmUgdXNlIG9mIGZ1bmN0aW9uYWwgcHJvZ3Jh bW1pbmcgKEZQKSB0byBhaWQgZWR1Y2F0aW9uIGluIG9yDQpvdXRzaWRlIENvbXB1dGVyIFNjaWVu Y2UuICBUb3BpY3Mgb2YgaW50ZXJlc3QgaW5jbHVkZSwgYnV0IGFyZSBub3QNCmxpbWl0ZWQgdG86 DQoNCi0gIEZQIGFuZCBiZWdpbm5pbmcgQ1Mgc3R1ZGVudHMNCi0gIEZQIGFuZCBDb21wdXRhdGlv bmFsIFRoaW5raW5nDQotICBGUCBhbmQgQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UNCi0gIEZQIGlu IFJvYm90aWNzDQotICBGUCBhbmQgTXVzaWMNCi0gIEFkdmFuY2VkIEZQIGZvciB1bmRlcmdyYWR1 YXRlcw0KLSAgRlAgaW4gZ3JhZHVhdGUgZWR1Y2F0aW9uDQotICBFbmdhZ2luZyBzdHVkZW50cyBp biByZXNlYXJjaCB1c2luZyBGUA0KLSAgRlAgaW4gUHJvZ3JhbW1pbmcgTGFuZ3VhZ2VzDQotICBG UCBpbiB0aGUgaGlnaCBzY2hvb2wgY3VycmljdWx1bQ0KLSAgRlAgYXMgYSBzdGVwcGluZyBzdG9u ZSB0byBvdGhlciBDUyB0b3BpY3MNCi0gIEZQIGFuZCBQaGlsb3NvcGh5DQotICBUaGUgcGVkYWdv Z3kgb2YgdGVhY2hpbmcgRlANCi0gIEZQIGFuZCBlLWxlYXJuaW5nOiBNT09DcywgYXV0b21hdGVk IGFzc2Vzc21lbnQgZXRjLg0KLSAgQmVzdCBMZWN0dXJlcyAtIG1vcmUgZGV0YWlscyBiZWxvdw0K DQpJbiBhZGRpdGlvbiB0byBwYXBlcnMsIHdlIGFyZSByZXF1ZXN0aW5nIGJlc3QgbGVjdHVyZSBw cmVzZW50YXRpb25zLg0KV2hhdCdzIHlvdXIgYmVzdCBsZWN0dXJlIHRvcGljIGluIGFuIEZQIHJl bGF0ZWQgY291cnNlPyBEbyB5b3UgaGF2ZSBhDQpmdW4gd2F5IHRvIHByZXNlbnQgRlAgY29uY2Vw dHMgdG8gbm92aWNlcyBvciBwZXJoYXBzIGFuIGVzcGVjaWFsbHkNCmludGVyZXN0aW5nIHByZXNl bnRhdGlvbiBvZiBhIGRpZmZpY3VsdCB0b3BpYz8gSW4gZWl0aGVyIGNhc2UsIHBsZWFzZQ0KY29u c2lkZXIgc2hhcmluZyBpdC4gQmVzdCBsZWN0dXJlIHRvcGljcyB3aWxsIGJlIHNlbGVjdGVkIGZv cg0KcHJlc2VudGF0aW9uIGJhc2VkIG9uIGEgc2hvcnQgYWJzdHJhY3QgZGVzY3JpYmluZyB0aGUg bGVjdHVyZSBhbmQgaXRzDQppbnRlcmVzdCB0byBURlBJRSBhdHRlbmRlZXMuIFRoZSBsZW5ndGgg b2YgdGhlIHByZXNlbnRhdGlvbiBzaG91bGQgYmUNCmNvbXBhcmFibGUgdG8gdGhhdCBvZiBhIHBh cGVyLiBJbiBhZGRpdGlvbiwgdGhlIHNwZWFrZXIgY2FuIHByb3ZpZGUNCmNvbW1lbnRhcnkgb24g ZWZmZWN0aXZlbmVzcyBvciBzdHVkZW50IGZlZWRiYWNrLg0KDQojIyBTdWJtaXNzaW9ucw0KDQpQ b3RlbnRpYWwgcHJlc2VudGVycyBhcmUgaW52aXRlZCB0byBzdWJtaXQgYW4gZXh0ZW5kZWQgYWJz dHJhY3QgKDQtNg0KcGFnZXMpIG9yIGEgZHJhZnQgcGFwZXIgKHVwIHRvIDIwIHBhZ2VzKSBpbiBF UFRDUyBzdHlsZS4gVGhlIGF1dGhvcnMNCm9mIGFjY2VwdGVkIHByZXNlbnRhdGlvbnMgd2lsbCBo YXZlIHRoZWlyIHByZXByaW50cyBhbmQgdGhlaXIgc2xpZGVzDQptYWRlIGF2YWlsYWJsZSBvbiB0 aGUgd29ya3Nob3AncyB3ZWJzaXRlLg0KDQpQYXBlcnMgYW5kIGFic3RyYWN0cyBjYW4gYmUgc3Vi bWl0dGVkIHZpYSBlYXN5Y2hhaXIgYXQgdGhlIGZvbGxvd2luZyBsaW5rOg0KDQpodHRwczovL2Vh c3ljaGFpci5vcmcvbXkvY29uZmVyZW5jZT9jb25mPXRmcGllMjYNCg0KQWZ0ZXIgdGhlIHdvcmtz aG9wLCBwcmVzZW50ZXJzIGFyZSBpbnZpdGVkIHRvIHN1Ym1pdCAoYSByZXZpc2VkDQp2ZXJzaW9u IG9mKSB0aGVpciBhcnRpY2xlIGZvciB0aGUgZm9ybWFsIHJldmlldy4gVGhlIFBDIHdpbGwgc2Vs ZWN0DQp0aGUgYmVzdCBhcnRpY2xlcyBmb3IgcHVibGljYXRpb24gaW4gdGhlIEVsZWN0cm9uaWMg UHJvY2VlZGluZ3MgaW4NClRoZW9yZXRpY2FsIENvbXB1dGVyIFNjaWVuY2UgKEVQVENTKS4gQXJ0 aWNsZXMgcmVqZWN0ZWQgZm9yDQpwcmVzZW50YXRpb24gYW5kIGV4dGVuZGVkIGFic3RyYWN0cyB3 aWxsIG5vdCBiZSBmb3JtYWxseSByZXZpZXdlZCBieQ0KdGhlIFBDLg0KDQojIyBJbXBvcnRhbnQg RGF0ZXMNCg0KU3VibWlzc2lvbiBkZWFkbGluZTogRGVjZW1iZXIgMjZ0aCAyMDI1LCBBbnl3aGVy ZSBvbiBFYXJ0aA0KTm90aWZpY2F0aW9uOiBieSBEZWNlbWJlciAzMHRoIDIwMjUgKE5vdGU6IHN1 Ym1pc3Npb25zIHdpbGwgYmUNCmV2YWx1YXRlZCBvbiBhIHJvbGxpbmcgYmFzaXMsIHNvIGVhcmxp ZXIgc3VibWlzc2lvbnMgd2lsbCByZWNlaXZlIGFuDQplYXJsaWVyIHJlc3BvbnNlKQ0KVEZQSUUg UmVnaXN0cmF0aW9uIERlYWRsaW5lOiBUQkENCldvcmtzaG9wOiBKYW51YXJ5IDI2dGggMjAyNg0K U3VibWlzc2lvbiBmb3IgZm9ybWFsIHJldmlldzogQXByaWwgMjJuZCAyMDI2LCBBbnl3aGVyZSBv biBFYXJ0aA0KTm90aWZpY2F0aW9uIG9mIGZ1bGwgYXJ0aWNsZTogTWF5IDI3dGggMjAyNg0KQ2Ft ZXJhIHJlYWR5OiBKdW5lIDI0dGggMjAyNg0KDQojIyBQcm9ncmFtIENvbW1pdHRlZQ0KDQogICAg TWFydCBMdWJiZXJzLCBSYWRib3VkIFVuaXZlcnNpdHksIE5pam1lZ2VuLCBOZXRoZXJsYW5kcyAo UEMgQ2hhaXIpDQpUaW0gU3RlZW52b29yZGVuLCBPcGVuIFVuaXZlcnNpdGVpLCBIZWVybGVuLCBO ZXRoZXJsYW5kcw0KTWFyY28gVC4gTW9yYXrDoW4sIFNldG9uIEhhbGwgVW5pdmVyc2l0eSwgU291 dGggT3JhbmdlLCBOSiwgVVNBDQpHdWFubmFuIFdlaSwgVHVmdHMgVW5pdmVyc2l0eSwgTWVkZm9y ZCwgTUEsIFVTQQ0KTWFyY29zIFZpZXJhLCBVbml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBN b250ZXZpZGVvLCBVcnVndWF5DQpKb2hhbm5lcyDDhW1hbiBQb2hqb2xhLCBDaGFsbWVycyBVbml2 ZXJzaXR5IG9mIFRlY2hub2xvZ3ksIEfDtnRlbmJ1cmcsIFN3ZWRlbg0KDQojIyBSZWdpc3RyYXRp b24gaW5mb3JtYXRpb24NCg0KU2VlIGh0dHBzOi8vd2lraS50ZnBpZS5zY2llbmNlLnJ1Lm5sL1RG UElFMjAyNiBmb3IgdXBkYXRlZCBpbmZvcm1hdGlvbi4NCg0KUmVnaXN0cmF0aW9uIGFuZCBhdHRl bmRhbmNlIGFyZSBtYW5kYXRvcnkgZm9yIGF0IGxlYXN0IG9uZSBhdXRob3Igb2YNCmV2ZXJ5IHBh cGVyIHRoYXQgaXMgcHJlc2VudGVkIGF0IHRoZSB3b3Jrc2hvcC4NCg0KT25seSBwYXBlcnMgdGhh dCBoYXZlIGJlZW4gcHJlc2VudGVkIGF0IFRGUElFIG1heSBiZSBzdWJtaXR0ZWQgdG8gdGhlDQpw b3N0LXJldmlld2luZyBwcm9jZXNzLg0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX18KSGFza2VsbCBtYWlsaW5nIGxpc3QgLS0gaGFza2VsbEBoYXNrZWxsLm9y ZwpUbyB1bnN1YnNjcmliZSBzZW5kIGFuIGVtYWlsIHRvIGhhc2tlbGwtbGVhdmVAaGFza2VsbC5v cmcK