IFL 2026 First call for papers
Mart Lubbers <[email protected]> Wed, 20 May 2026 06:37:06 -0500
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <CAGtcRvDiuS9oF=gapFLys0ikBSjgXKujatHz3cw6J3L=J1q84g@mail.gmail.com> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT0NCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSUZMIDIwMjYN Cg0KMzh0aCBTeW1wb3NpdW0gb24gSW1wbGVtZW50YXRpb24gYW5kIEFwcGxpY2F0aW9uIG9mIEZ1 bmN0aW9uYWwgTGFuZ3VhZ2VzDQoNCg0KICAgICAgICAgICAgdmVudWU6IEFzcGVuw6RzIEhlcnJn w6VyZCwgR290aGVuYnVyZywgU3dlZGVuDQogICAgICAgICAgICAgICAgICAgICAgICBPY3RvYmVy IDI4IC0gMzAgMjAyNg0KDQogICAgICAgICAgICAgICAgICAgIGh0dHBzOi8vaWZsMjYuY3NlLmNo YWxtZXJzLnNlLw0KDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQojIyMgU2NvcGUNCg0KVGhlIGdvYWwgb2Yg dGhlIElGTCBzeW1wb3NpYSBpcyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3RpdmVs eQ0KZW5nYWdlZCBpbiB0aGUgaW1wbGVtZW50YXRpb24gYW5kIGFwcGxpY2F0aW9uIG9mIGZ1bmN0 aW9uYWwgYW5kDQpmdW5jdGlvbi1iYXNlZCBwcm9ncmFtbWluZyBsYW5ndWFnZXMuIElGTCAyMDI2 IHdpbGwgYmUgYSB2ZW51ZSBmb3INCnJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYW5kIGRpc2N1c3Mg bmV3IGlkZWFzIGFuZCBjb25jZXB0cywgd29yayBpbg0KcHJvZ3Jlc3MsIGFuZCBwdWJsaWNhdGlv bi1yaXBlIHJlc3VsdHMgcmVsYXRlZCB0byB0aGUgaW1wbGVtZW50YXRpb24gYW5kDQphcHBsaWNh dGlvbiBvZiBmdW5jdGlvbmFsIGxhbmd1YWdlcyBhbmQgZnVuY3Rpb24tYmFzZWQgcHJvZ3JhbW1p bmcuDQoNCg0KIyMjIFRvcGljcyBvZiBpbnRlcmVzdA0KDQpUb3BpY3Mgb2YgaW50ZXJlc3QgdG8g SUZMIGluY2x1ZGUsIGJ1dCBhcmUgbm90IGxpbWl0ZWQgdG86DQoNCi0gbGFuZ3VhZ2UgY29uY2Vw dHMNCi0gdHlwZSBzeXN0ZW1zLCB0eXBlIGNoZWNraW5nLCB0eXBlIGluZmVyZW5jaW5nDQotIGNv bXBpbGF0aW9uIHRlY2huaXF1ZXMNCi0gc3RhZ2VkIGNvbXBpbGF0aW9uDQotIHJ1bi10aW1lIGZ1 bmN0aW9uIHNwZWNpYWxpc2F0aW9uDQotIHJ1bi10aW1lIGNvZGUgZ2VuZXJhdGlvbg0KLSBwYXJ0 aWFsIGV2YWx1YXRpb24NCi0gKGFic3RyYWN0KSBpbnRlcnByZXRhdGlvbg0KLSBtZXRhLXByb2dy YW1taW5nDQotIGdlbmVyaWMgcHJvZ3JhbW1pbmcNCi0gYXV0b21hdGljIHByb2dyYW0gZ2VuZXJh dGlvbg0KLSBhcnJheSBwcm9jZXNzaW5nDQotIGNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3JhbW1p bmcNCi0gY29uY3VycmVudC9wYXJhbGxlbCBwcm9ncmFtIGV4ZWN1dGlvbg0KLSBlbWJlZGRlZCBz eXN0ZW1zDQotIHdlYiBhcHBsaWNhdGlvbnMNCi0gKGVtYmVkZGVkKSBkb21haW4gc3BlY2lmaWMg bGFuZ3VhZ2VzDQotIHNlY3VyaXR5DQotIG5vdmVsIG1lbW9yeSBtYW5hZ2VtZW50IHRlY2huaXF1 ZXMNCi0gcnVuLXRpbWUgcHJvZmlsaW5nIHBlcmZvcm1hbmNlIG1lYXN1cmVtZW50cw0KLSBkZWJ1 Z2dpbmcgYW5kIHRyYWNpbmcNCi0gdmlydHVhbC9hYnN0cmFjdCBtYWNoaW5lIGFyY2hpdGVjdHVy ZXMNCi0gdmFsaWRhdGlvbiwgdmVyaWZpY2F0aW9uIG9mIGZ1bmN0aW9uYWwgcHJvZ3JhbXMNCi0g dG9vbHMgYW5kIHByb2dyYW1taW5nIHRlY2huaXF1ZXMNCg0KDQojIyMgUGVlci1yZXZpZXcgcHJv Y2Vzcw0KDQpGb2xsb3dpbmcgSUZMIHRyYWRpdGlvbiwgSUZMIDIwMjYgd2lsbCB1c2UgYSBwb3N0 LXN5bXBvc2l1bSByZXZpZXcNCnByb2Nlc3MgZm9yIHRoZSBmb3JtYWwgcHJvY2VlZGluZ3MuDQoN CkF1dGhvcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IGRyYWZ0IHBhcGVycyBiZWZvcmUgdGhlIHN5 bXBvc2l1bS4gVGhlDQpwcm9ncmFtIGNoYWlycyB3aWxsIHNjcmVlbiBzdWJtaXNzaW9ucyBmb3Ig cmVsZXZhbmNlIHRvIElGTCwgYW5kDQphY2NlcHRlZCBkcmFmdHMgd2lsbCBiZSBzaGFyZWQgd2l0 aCBhbGwgcGFydGljaXBhbnRzLiBFYWNoIGFjY2VwdGVkDQpwYXBlciBtdXN0IGJlIHByZXNlbnRl ZCBhdCB0aGUgc3ltcG9zaXVtIGJ5IGF0IGxlYXN0IG9uZSBhdXRob3IuIElmDQpzdWJtaXNzaW9u cyBleGNlZWQgY2FwYWNpdHksIHNlbGVjdGlvbiB3aWxsIGJlIGJhc2VkIG9uIHF1YWxpdHksDQpt YXR1cml0eSwgYW5kIHJlbGV2YW5jZS4NCg0KQXV0aG9ycyBvZiBhY2NlcHRlZCBwcmVzZW50YXRp b25zIHdpbGwgaGF2ZSB0aGUgb3Bwb3J0dW5pdHkgdG8gcmV2aXNlDQp0aGVpciB3b3JrIGluIHJl c3BvbnNlIHRvIHN5bXBvc2l1bSBmZWVkYmFjayBhbmQgc3VibWl0IGEgZnVsbCBwYXBlciB0bw0K dGhlIHBvc3QtcHJvY2VlZGluZ3MuIFRoZXNlIHN1Ym1pc3Npb25zIHdpbGwgYmUgcmV2aWV3ZWQg YnkgdGhlIHByb2dyYW0NCmNvbW1pdHRlZSBmb3IgY29ycmVjdG5lc3MsIG5vdmVsdHksIG9yaWdp bmFsaXR5LCByZWxldmFuY2UsDQpzaWduaWZpY2FuY2UsIGFuZCBjbGFyaXR5LiBUaGUgcG9zdC1z eW1wb3NpdW0gcmV2aWV3IHByb2Nlc3MgaXMNCnNpbmdsZS1ibGluZCwgd2l0aCBhdCBsZWFzdCB0 aHJlZSByZXZpZXdzIHBlciBwYXBlci4gQ2FtZXJhLXJlYWR5DQp2ZXJzaW9ucyBtYXkgaW5jbHVk ZSBtaW5vciByZXZpc2lvbnMgd2l0aG91dCBmdXJ0aGVyIHJldmlldy4NCg0KDQojIyMgSW1wb3J0 YW50IGRhdGVzDQoNClN1Ym1pc3Npb24gb2YgZHJhZnQgcGFwZXJzICAgICAgICAgICAgICAgICAg IFNlcHRlbWJlciA0LCAyMDI2DQpEcmFmdCBwYXBlcnMgbm90aWZpY2F0aW9uICAgICAgICAgICAg ICAgICAgICBTZXB0ZW1iZXIgMTEsIDIwMjYNCkRlYWRsaW5lIGZvciBlYXJseSByZWdpc3RyYXRp b24gICAgICAgICAgICAgIFNlcHRlbWJlciAxOCwgMjAyNg0KRGVhZGxpbmUgZm9yIGxhdGUgcmVn aXN0cmF0aW9uICAgICAgICAgICAgICAgU2VwdGVtYmVyIDI1LCAyMDI2DQpJRkwgc3ltcG9zaXVt ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBPY3RvYmVyIDI4LTMwLCAyMDI2DQpTdWJt aXNzaW9uIG9mIHBhcGVycyBmb3IgcHJvY2VlZGluZ3MgICAgICAgICBOb3ZlbWJlciAyNSwgMjAy Ng0KTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2UgICAgICAgICAgICAgICAgICAgRmVicnVhcnkg MTIsIDIwMjcNCkNhbWVyYS1yZWFkeSB2ZXJzaW9uICAgICAgICAgICAgICAgICAgICAgICAgIE1h cmNoIDEyLCAyMDI3DQoNCkRlYWRsaW5lcyBhcmUgZW5kIG9mIGRheSBBbnl3aGVyZSBvbiBFYXJ0 aCAoVVRDLTEyKS4NCg0KDQojIyMgU3VibWlzc2lvbiBkZXRhaWxzDQoNCkFsbCBjb250cmlidXRp b25zIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLiBQYXBlcnMgbXVzdCB1c2UgdGhlIEFDTQ0K dHdvIGNvbHVtbnMgY29uZmVyZW5jZSBmb3JtYXQsIHdoaWNoIGNhbiBiZSBmb3VuZCBhdDoNCg0K ICAgIGh0dHA6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvcHJvY2VlZGluZ3MtdGVtcGxhdGUN Cg0KU3VibWl0IHlvdXIgcGFwZXIgaGVyZToNCg0KICAgIGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9j b25mZXJlbmNlcy8/Y29uZj1pZmwyNg0KDQpJbXBvcnRhbnQgbm90ZSB0byBhdXRob3JzIGFib3V0 IHRoZSBuZXcgQUNNIG9wZW4gYWNjZXNzIHB1Ymxpc2hpbmcgbW9kZWw6DQpBQ00gaGFzIGludHJv ZHVjZWQgYSBuZXcgb3BlbiBhY2Nlc3MgcHVibGlzaGluZyBtb2RlbCBmb3IgdGhlDQpJbnRlcm5h dGlvbmFsIENvbmZlcmVuY2UgUHJvY2VlZGluZ3MgU2VyaWVzIChJQ1BTKS4gQXV0aG9ycyBiYXNl ZCBhdA0KaW5zdGl0dXRpb25zIHRoYXQgYXJlIG5vdCB5ZXQgcGFydCBvZiB0aGUgQUNNIE9wZW4g cHJvZ3JhbSBhbmQgZG8gbm90DQpxdWFsaWZ5IGZvciBhIHdhaXZlciB3aWxsIGJlIHJlcXVpcmVk IHRvIHBheSBhbiBhcnRpY2xlIHByb2Nlc3NpbmcNCmNoYXJnZSAoQVBDKSB0byBwdWJsaXNoIHRo ZWlyIElDUFMgYXJ0aWNsZSBpbiB0aGUgQUNNIERpZ2l0YWwgTGlicmFyeS4NClRvIGRldGVybWlu ZSB3aGV0aGVyIG9yIG5vdCBhbiBBUEMgd2lsbCBiZSBhcHBsaWNhYmxlIHRvIHlvdXIgYXJ0aWNs ZSwNCnBsZWFzZSBmb2xsb3cgdGhlIGRldGFpbGVkIGd1aWRhbmNlIGhlcmU6DQoNCiAgICBodHRw czovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9pY3BzL2F1dGhvci1ndWlkYW5jZQ0KDQpGdXJ0 aGVyIGluZm9ybWF0aW9uOg0KDQogICAgSUNQUyBwdWJsaXNoaW5nIG1vZGVsIEZBUTogaHR0cHM6 Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvaWNwcy9mYXENCiAgICBBQ00gT3BlbiBwcm9ncmFt IGRldGFpbHM6ICBodHRwczovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9vcGVuYWNjZXNzDQog ICAgUXVlc3Rpb25zOiAgICAgICAgICAgICAgICAgaWNwcy1pbmZvQGFjbS5vcmcNCg0KDQojIyMg UGV0ZXIgTGFuZGluIFByaXplDQoNClRoZSBQZXRlciBMYW5kaW4gUHJpemUgaXMgYXdhcmRlZCB0 byB0aGUgYmVzdCBwYXBlciBwcmVzZW50ZWQgYXQgdGhlDQpzeW1wb3NpdW0gZXZlcnkgeWVhci4g VGhlIGhvbm91cmVkIGFydGljbGUgaXMgc2VsZWN0ZWQgYnkgdGhlIHByb2dyYW0NCmNvbW1pdHRl ZSBiYXNlZCBvbiB0aGUgc3VibWlzc2lvbnMgcmVjZWl2ZWQgZm9yIHRoZSBmb3JtYWwgcmV2aWV3 DQpwcm9jZXNzLiBUaGUgcHJpemUgY2FycmllcyBhIGNhc2ggYXdhcmQgZXF1aXZhbGVudCB0byAx NTAgRXVyb3MuDQoNCg0KIyMjIE9yZ2FuaXNhdGlvbg0KDQpQQyBDaGFpcnM6DQoNCi0gQWxleCBH ZXJkZXMsIENoYWxtZXJzIGFuZCBVbml2ZXJzaXR5IG9mIEdvdGhlbmJ1cmcsIFN3ZWRlbg0KLSBL b2VuIENsYWVzc2VuLCBDaGFsbWVycyBhbmQgVW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnLCBTd2Vk ZW4NCg0KUHVibGljaXR5IENoYWlyOg0KDQotIE1hcnQgTHViYmVycywgUmFkYm91ZCBVbml2ZXJz aXR5LCBUaGUgTmV0aGVybGFuZHMNCg0KTG9jYWwgQ2hhaXJzOg0KDQotIEFsZXggR2VyZGVzLCBD aGFsbWVycyBhbmQgVW5pdmVyc2l0eSBvZiBHb3RoZW5idXJnLCBTd2VkZW4NCi0gS29lbiBDbGFl c3NlbiwgQ2hhbG1lcnMgYW5kIFVuaXZlcnNpdHkgb2YgR290aGVuYnVyZywgU3dlZGVuDQoNClBs ZWFzZSBkaXJlY3QgYW55IHF1ZXN0aW9ucyB5b3UgbWF5IGhhdmUgdG93YXJkcyBhbGV4Z0BjaGFs bWVycy5zZS4NCg0KDQojIyMgUHJvZ3JhbSBjb21taXR0ZWUNCg0KLSBBYmhpcm9vcCBTYXJrYXIs IEVUSCBadXJpY2gNCi0gQW5kcmVzIEzDtmgsIFdlbGwtVHlwZWQgTExQDQotIERhYW4gTGVpamVu LCBNaWNyb3NvZnQNCi0gRG9taW5pYyBPcmNoYXJkLCBVbml2ZXJzaXR5IG9mIEtlbnQNCi0gRnJp dHogSGVuZ2xlaW4sIERJS1UNCi0gR3JhaGFtIEh1dHRvbiwgVW5pdmVyc2l0eSBvZiBOb3R0aW5n aGFtDQotIEd1aWxsYXVtZSBBbGxhaXMsIFVuaXZlcnNpdHkgb2YgU3RyYXRoY2x5ZGUNCi0gSmVz cGVyIENvY2t4LCBEZWxmdCBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kNCi0gTWFydCBMdWJiZXJz LCBSYWRib3VkIFVuaXZlcnNpdHkNCi0gTmFjaGlhcHBhbiBWYWxsaWFwcGFuLCBVbml2ZXJzaXR5 IG9mIEVkaW5idXJnaA0KLSBOaWNvbGFzIFd1LCBJbXBlcmlhbCBDb2xsZWdlIExvbmRvbg0KLSBO aWtpIFZhem91LCBJTURFQSBTb2Z0d2FyZSBJbnN0aXR1dGUNCg0KVGhlIHByb2dyYW0gY29tbWl0 dGVlIGlzIHN0aWxsIGJlaW5nIGZpbmFsaXplZCBhbmQgbWF5IGJlIHVwZGF0ZWQuDQoNCg0KIyMj IFZlbnVlDQoNCklGTCAyMDI2IHdpbGwgYmUgaGVsZCBhdCBBc3BlbsOkcyBIZXJyZ8OlcmQsIGp1 c3Qgb3V0c2lkZSBHb3RoZW5idXJnLA0KU3dlZGVuLiBBc3BlbsOkcyBIZXJyZ8OlcmQgd2lsbCBo b3N0IHRoZSBzeW1wb3NpdW0gdmVudWUgYW5kIHByb3ZpZGUgYSBzY2VuaWMNCnNldHRpbmcgZm9y IHRoZSBjb25mZXJlbmNlLg0KDQpXZSB3aWxsIGFkZCBtb3JlIGluZm9ybWF0aW9uIGFib3V0IHRo ZSB2ZW51ZSwgYWNjb21tb2RhdGlvbiwgYW5kIHRyYXZlbA0Kb3B0aW9ucyBzb29uLg0KDQoNCiMj IyBBY2tub3dsZWRnbWVudHMNCg0KVGhpcyBjYWxsLWZvci1wYXBlcnMgaXMgYW4gYWRhcHRhdGlv biBhbmQgZXZvbHV0aW9uIG9mIGNvbnRlbnQgZnJvbQ0KcHJldmlvdXMgaW5zdGFuY2VzIG9mIElG TC4gV2UgYXJlIGdyYXRlZnVsIHRvIHByaW9yIG9yZ2FuaXNlcnMgZm9yIHRoZWlyDQp3b3JrLCB3 aGljaCBpcyByZXVzZWQgaGVyZS4NCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fCkhhc2tlbGwtQ2FmZSBtYWlsaW5nIGxpc3QgLS0gaGFza2VsbC1jYWZlQGhh c2tlbGwub3JnClRvICh1bilzdWJzY3JpYmUsIG1vZGlmeSBvcHRpb25zIG9yIHZpZXcgYXJjaGl2 ZXMgZ28gdG86Ck9ubHkgbWVtYmVycyBzdWJzY3JpYmVkIHZpYSB0aGUgbWFpbG1hbiBsaXN0IGFy ZSBhbGxvd2VkIHRvIHBvc3Qu