IFL 2025 - Call For Draft Papers (deadline extension)
Mart Lubbers <[email protected]> Sun, 27 Jul 2025 10:57:09 -0400
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAGtcRvA3VSXaHaTSMRQjwx2tpyjDqn0=oeZjBF996bJ3yNfe+g@mail.gmail.com> |
UGxlYXNlLCBmaW5kIGJlbG93IHRoZSBjYWxsIGZvciBkcmFmdCBwYXBlcnMgZm9yIElGTCAyMDI1 LiBUaGUKc3VibWlzc2lvbiBkZWFkbGluZSBoYXMgYmVlbiBleHRlbmRlZCB0byBBdWd1c3QgMzEu IEluIHRoaXMgQ0ZQIHdlCmFsc28gaW5jbHVkZSB0aGUgYW5ub3VuY2VtZW50IG9mIG91ciBrZXlu b3RlIHNwZWFrZXJzIGFuZCBvZiB0dXRvcmlhbHMKdG8gYmUgaGVsZCBvbiBTZXB0ZW1iZXIgMjkg YW5kIDMwLCBwcmlvciB0byBJRkwuCgpQbGVhc2UgZm9yd2FyZCB0aGlzIHRvIGFueW9uZSB5b3Ug dGhpbmsgbWF5IGJlIGludGVyZXN0ZWQuCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICBJRkwgMjAyNQoKMzd0aCBTeW1wb3NpdW0gb24gSW1wbGVtZW50YXRpb24g YW5kIEFwcGxpY2F0aW9uIG9mIEZ1bmN0aW9uYWwgTGFuZ3VhZ2VzCgoKICAgICAgICAgICAgICAg ICAgICAgICAgTW9udGV2aWRlbywgVXJ1Z3VheQoKICAgICAgICAgICAgICAgICAgICAgICAgT2N0 b2JlciAxLTMsIDIwMjUKCiAgICAgICAgICAgICAgICAgICAgICAgaHR0cHM6Ly93d3cuZmluZy5l ZHUudXkvaW5jby9jb25ncmVzb3MvaWZsMjAyNQoKPT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CltORVdTOiBFeHRlbmRl ZCBkZWFkbGluZSBmb3IgZHJhZnQgcGFwZXIgc3VibWlzc2lvbiwgS2V5bm90ZSBzcGVha2VycywK VHV0b3JpYWxzXQoKIyMjIFNjb3BlCgpUaGUgZ29hbCBvZiB0aGUgSUZMIHN5bXBvc2lhIGlzIHRv IGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIGFjdGl2ZWx5CmVuZ2FnZWQgaW4gdGhlIGltcGxl bWVudGF0aW9uIGFuZCBhcHBsaWNhdGlvbiBvZiBmdW5jdGlvbmFsIGFuZApmdW5jdGlvbi1iYXNl ZCBwcm9ncmFtbWluZyBsYW5ndWFnZXMuIElGTCAyMDI1IHdpbGwgYmUgYSB2ZW51ZSBmb3IKcmVz ZWFyY2hlcnMgdG8gcHJlc2VudCBhbmQgZGlzY3VzcyBuZXcgaWRlYXMgYW5kIGNvbmNlcHRzLCB3 b3JrIGluCnByb2dyZXNzLCBhbmQgcHVibGljYXRpb24tcmlwZSByZXN1bHRzIHJlbGF0ZWQgdG8g dGhlIGltcGxlbWVudGF0aW9uCmFuZCBhcHBsaWNhdGlvbiBvZiBmdW5jdGlvbmFsIGxhbmd1YWdl cyBhbmQgZnVuY3Rpb24tYmFzZWQKcHJvZ3JhbW1pbmcuCgojIyMgVG9waWNzIG9mIGludGVyZXN0 CgpUb3BpY3Mgb2YgaW50ZXJlc3QgdG8gSUZMIGluY2x1ZGUsIGJ1dCBhcmUgbm90IGxpbWl0ZWQg dG86CgotIGxhbmd1YWdlIGNvbmNlcHRzCi0gdHlwZSBzeXN0ZW1zLCB0eXBlIGNoZWNraW5nLCB0 eXBlIGluZmVyZW5jaW5nCi0gY29tcGlsYXRpb24gdGVjaG5pcXVlcwotIHN0YWdlZCBjb21waWxh dGlvbgotIHJ1bi10aW1lIGZ1bmN0aW9uIHNwZWNpYWxpc2F0aW9uCi0gcnVuLXRpbWUgY29kZSBn ZW5lcmF0aW9uCi0gcGFydGlhbCBldmFsdWF0aW9uCi0gKGFic3RyYWN0KSBpbnRlcnByZXRhdGlv bgotIG1ldGEtcHJvZ3JhbW1pbmcKLSBnZW5lcmljIHByb2dyYW1taW5nCi0gYXV0b21hdGljIHBy b2dyYW0gZ2VuZXJhdGlvbgotIGFycmF5IHByb2Nlc3NpbmcKLSBjb25jdXJyZW50L3BhcmFsbGVs IHByb2dyYW1taW5nCi0gY29uY3VycmVudC9wYXJhbGxlbCBwcm9ncmFtIGV4ZWN1dGlvbgotIGVt YmVkZGVkIHN5c3RlbXMKLSB3ZWIgYXBwbGljYXRpb25zCi0gKGVtYmVkZGVkKSBkb21haW4gc3Bl Y2lmaWMgbGFuZ3VhZ2VzCi0gc2VjdXJpdHkKLSBub3ZlbCBtZW1vcnkgbWFuYWdlbWVudCB0ZWNo bmlxdWVzCi0gcnVuLXRpbWUgcHJvZmlsaW5nIHBlcmZvcm1hbmNlIG1lYXN1cmVtZW50cwotIGRl YnVnZ2luZyBhbmQgdHJhY2luZwotIHZpcnR1YWwvYWJzdHJhY3QgbWFjaGluZSBhcmNoaXRlY3R1 cmVzCi0gdmFsaWRhdGlvbiwgdmVyaWZpY2F0aW9uIG9mIGZ1bmN0aW9uYWwgcHJvZ3JhbXMKLSB0 b29scyBhbmQgcHJvZ3JhbW1pbmcgdGVjaG5pcXVlcwoKIyMjIEtleW5vdGUgc3BlYWtlcnMKCi0g Um9iZXJ0byBJZXJ1c2FsaW1zY2h5CgpEZXBhcnRhbWVudG8gZGUgSW5mb3Jtw6F0aWNhLCBQVUMt UmlvLCBSw61vIGRlIEphbmVpcm8sIEJyYXppbAoKLSBJdsOhbiBQw6lyZXoKCk5BU0EgQW1lcyBS ZXNlYXJjaCBDZW50ZXIsIENhbGlmb3JuaWEsIFVTQQoKIyMjIFR1dG9yaWFscwoKT24gU2VwdGVt YmVyIDI5IGFuZCAzMCwgdGhlIHR3byBkYXlzIHByaW9yIHRvIHRoZSBzeW1wb3NpdW0sIGZvdXIK dHV0b3JpYWxzIHdpbGwgYmUgaGVsZDoKCi0gR3JhZHVhbCB0eXBpbmcKw4lyaWMgVGFudGVyLCBV bml2ZXJzaXR5IG9mIENoaWxlLCBDaGlsZQoKLSBUeXBlIEJhc2VkIFN0YXRpYyBBbmFseXNpcwpK dXJyaWFhbiBIYWdlLCBIZXJpb3QtV2F0dCBVbml2ZXJzaXR5LCBVSwoKLSBEZXZlbG9wbWVudCBv ZiBkQXBwcyBpbiB0aGUgVVR4TyBtb2RlbApUeFBpcGUsIEFyZ2VudGluYQoKLSBUQkEKCgojIyMg UGVlci1yZXZpZXcgcHJvY2VzcwoKRGlmZmVyZW50bHkgZnJvbSBwcmV2aW91cyBlZGl0aW9ucyBv ZiBJRkwsIElGTCAyMDI1IHNvbGljaXRzIHR3byBraW5kcwpvZiBzdWJtaXNzaW9uczoKCiogUmVn dWxhciBwYXBlcnMgKDEyIHBhZ2VzIGV4Y2x1ZGluZyByZWZlcmVuY2VzKQoqIERyYWZ0IHBhcGVy cyBmb3IgcHJlc2VudGF0aW9ucyAoJ3dlYWsnIGxpbWl0IGJldHdlZW4gNSBhbmQgMTUgcGFnZXMp CgpSZWd1bGFyIHBhcGVycyB3aWxsIHVuZGVyZ28gYSByaWdvcm91cyByZXZpZXcgYnkgdGhlIHBy b2dyYW0KY29tbWl0dGVlLCBhbmQgd2lsbCBiZSBldmFsdWF0ZWQgYWNjb3JkaW5nIHRvIHRoZWly IGNvcnJlY3RuZXNzLApub3ZlbHR5LCBvcmlnaW5hbGl0eSwgcmVsZXZhbmNlLCBzaWduaWZpY2Fu Y2UsIGFuZCBjbGFyaXR5LiBSZWd1bGFyCnBhcGVycyBjYW4gYmU6IGFjY2VwdGVkIGZvciBwdWJs aWNhdGlvbiBpbiB0aGUgZm9ybWFsIHByb2NlZWRpbmdzLAphY2NlcHRlZCBmb3IgcHJlc2VudGF0 aW9uIGF0IHRoZSBzeW1wb3NpdW0gb3IgcmVqZWN0ZWQuCgpEcmFmdCBwYXBlcnMgd2lsbCBiZSBz Y3JlZW5lZCB0byBtYWtlIHN1cmUgdGhhdCB0aGV5IGFyZSB3aXRoaW4gdGhlCnNjb3BlIG9mIElG TCwgYW5kIHdpbGwgYmUgYWNjZXB0ZWQgZm9yIHByZXNlbnRhdGlvbiBvciByZWplY3RlZAphY2Nv cmRpbmdseS4KCldlIHJlcXVpcmUgdGhhdCBhdCBsZWFzdCBvbmUgb2YgdGhlIGF1dGhvcnMgcHJl c2VudCB0aGUgd29yayBhdCBJRkwgMjAyNS4KCkF1dGhvcnMgb2YgYWNjZXB0ZWQgcHJlc2VudGF0 aW9ucyB3aWxsIGJlIGdpdmVuIHRoZSBvcHBvcnR1bml0eSB0bwppbmNvcnBvcmF0ZSB0aGUgZmVl ZGJhY2sgZnJvbSBkaXNjdXNzaW9ucyBhdCB0aGUgc3ltcG9zaXVtIGFuZCB3aWxsIGJlCmludml0 ZWQgdG8gc3VibWl0IGEgcmV2aXNlZCBmdWxsIGFydGljbGUgZm9yIHRoZSBmb3JtYWwKcG9zdC1w cm9jZWVkaW5ncyBhZnRlciB0aGUgc3ltcG9zaXVtLiBUaGUgcHJvZ3JhbSBjb21taXR0ZWUgd2ls bApldmFsdWF0ZSB0aGVzZSBzdWJtaXNzaW9ucyBhY2NvcmRpbmcgdG8gdGhlaXIgY29ycmVjdG5l c3MsIG5vdmVsdHksCm9yaWdpbmFsaXR5LCByZWxldmFuY2UsIHNpZ25pZmljYW5jZSwgYW5kIGNs YXJpdHksIGFuZCB3aWxsIHRoZXJlYnkKZGV0ZXJtaW5lIHdoZXRoZXIgdGhlIHBhcGVyIGlzIGFj Y2VwdGVkIG9yIHJlamVjdGVkLgoKIyMjIEltcG9ydGFudCBkYXRlcwoKU3VibWlzc2lvbiBvZiBy ZWd1bGFyIHBhcGVyczogICAgICAgICAgICAgIEp1bmUgMjMsIDIwMjUgKGV4dGVuZGVkKQpSZWd1 bGFyIHBhcGVycyBub3RpZmljYXRpb246ICAgICAgICAgICAgICAgQXVndXN0IDQsIDIwMjUKU3Vi bWlzc2lvbiBvZiBkcmFmdCBwYXBlcnM6ICAgICAgICAgICAgICAgIEF1Z3VzdCAzMSwgMjAyNSAo ZXh0ZW5kZWQpCkRyYWZ0IHBhcGVycyBub3RpZmljYXRpb246ICAgICAgICAgICAgICAgICBTZXB0 ZW1iZXIgNCwgMjAyNQpEZWFkbGluZSBmb3IgZWFybHkgcmVnaXN0cmF0aW9uOiAgICAgICAgICAg U2VwdGVtYmVyIDUsIDIwMjUKU3VibWlzc2lvbiBvZiBwcmUtcHJvY2VlZGluZ3MgdmVyc2lvbjog ICAgIFNlcHRlbWJlciA4LCAyMDI1ClByZS1zeW1wb3NpdW0gdHV0b3JpYWxzICAgICAgICAgICAg ICAgICAgICBTZXB0ZW1iZXIgMjktMzAsIDIwMjUKSUZMIFN5bXBvc2l1bTogICAgICAgICAgICAg ICAgICAgICAgICAgICAgIE9jdG9iZXIgMS0zLCAyMDI1ClN1Ym1pc3Npb24gb2YgcGFwZXJzIGZv ciBwb3N0LXByb2NlZWRpbmdzOiBEZWNlbWJlciAxNSwgMjAyNQpOb3RpZmljYXRpb24gb2YgYWNj ZXB0YW5jZTogICAgICAgICAgICAgICAgRmVicnVhcnkgMjgsIDIwMjYKQ2FtZXJhLXJlYWR5IHZl cnNpb246ICAgICAgICAgICAgICAgICAgICAgIE1hcmNoIDMwLCAyMDI2CgpEZWFkbGluZXMgYXJl IGVuZCBvZiBkYXkgQW55d2hlcmUgb24gRWFydGggKFVUQy0xMikKKGh0dHBzOi8vd3d3LnRpbWVh bmRkYXRlLmNvbS90aW1lL3pvbmVzL2FvZSkuCgojIyMgU3VibWlzc2lvbiBkZXRhaWxzCgpBbGwg Y29udHJpYnV0aW9ucyBtdXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaC4gUGFwZXJzIG11c3QgdXNl IHRoZSBBQ00KdHdvIGNvbHVtbnMgY29uZmVyZW5jZSBmb3JtYXQsIHdoaWNoIGNhbiBiZSBmb3Vu ZCBhdDoKCiAgICBodHRwOi8vd3d3LmFjbS5vcmcvcHVibGljYXRpb25zL3Byb2NlZWRpbmdzLXRl bXBsYXRlCgpTdWJtaXQgeW91ciBkcmFmdCBwYXBlciBoZXJlOgoKICAgIGh0dHBzOi8vZWFzeWNo YWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1pZmwyMDI1Cgp1c2luZyB0aGUgdHJhY2sgW0lGTCAy MDI1IC0gRHJhZnQgcGFwZXJzXS4KCkltcG9ydGFudCBub3RlIHRvIGF1dGhvcnMgYWJvdXQgdGhl IG5ldyBBQ00gb3BlbiBhY2Nlc3MgcHVibGlzaGluZwptb2RlbCBBQ00gaGFzIGludHJvZHVjZWQg YSBuZXcgb3BlbiBhY2Nlc3MgcHVibGlzaGluZyBtb2RlbCBmb3IgdGhlCkludGVybmF0aW9uYWwg Q29uZmVyZW5jZSBQcm9jZWVkaW5ncyBTZXJpZXMgKElDUFMpLiBBdXRob3JzIGJhc2VkIGF0Cmlu c3RpdHV0aW9ucyB0aGF0IGFyZSBub3QgeWV0IHBhcnQgb2YgdGhlIEFDTSBPcGVuIHByb2dyYW0g YW5kIGRvIG5vdApxdWFsaWZ5IGZvciBhIHdhaXZlciB3aWxsIGJlIHJlcXVpcmVkIHRvIHBheSBh biBhcnRpY2xlIHByb2Nlc3NpbmcKY2hhcmdlIChBUEMpIHRvIHB1Ymxpc2ggdGhlaXIgSUNQUyBh cnRpY2xlIGluIHRoZSBBQ00gRGlnaXRhbCBMaWJyYXJ5LgpUbyBkZXRlcm1pbmUgd2hldGhlciBv ciBub3QgYW4gQVBDIHdpbGwgYmUgYXBwbGljYWJsZSB0byB5b3VyIGFydGljbGUsCnBsZWFzZSBm b2xsb3cgdGhlIGRldGFpbGVkIGd1aWRhbmNlIGhlcmU6CgpodHRwczovL3d3dy5hY20ub3JnL3B1 YmxpY2F0aW9ucy9pY3BzL2F1dGhvci1ndWlkYW5jZS4KCkZ1cnRoZXIgaW5mb3JtYXRpb24gbWF5 IGJlIGZvdW5kIG9uIHRoZSBBQ00gd2Vic2l0ZSwgYXMgZm9sbG93czoKCi0gRnVsbCBkZXRhaWxz IG9mIHRoZSBuZXcgSUNQUyBwdWJsaXNoaW5nIG1vZGVsOgpodHRwczovL3d3dy5hY20ub3JnL3B1 YmxpY2F0aW9ucy9pY3BzL2ZhcQoKLSBGdWxsIGRldGFpbHMgb2YgdGhlIEFDTSBPcGVuIHByb2dy YW06Cmh0dHBzOi8vd3d3LmFjbS5vcmcvcHVibGljYXRpb25zL29wZW5hY2Nlc3MKCi0gUGxlYXNl IGRpcmVjdCBhbGwgcXVlc3Rpb25zIGFib3V0IHRoZSBuZXcgbW9kZWwgdG8gaWNwcy1pbmZvQGFj bS5vcmcuCgojIyMgUGV0ZXIgTGFuZGluIFByaXplCgpUaGUgUGV0ZXIgTGFuZGluIFByaXplIGlz IGF3YXJkZWQgdG8gdGhlIGJlc3QgcGFwZXIgcHJlc2VudGVkIGF0IHRoZQpzeW1wb3NpdW0gZXZl cnkgeWVhci4gVGhlIGhvbm91cmVkIGFydGljbGUgaXMgc2VsZWN0ZWQgYnkgdGhlIHByb2dyYW0K Y29tbWl0dGVlIGJhc2VkIG9uIHRoZSBzdWJtaXNzaW9ucyByZWNlaXZlZCBmb3IgdGhlIGZvcm1h bCByZXZpZXcKcHJvY2Vzcy4gVGhlIHByaXplIGNhcnJpZXMgYSBjYXNoIGF3YXJkIGVxdWl2YWxl bnQgdG8gMTUwIEV1cm9zLgoKIyMjIE9yZ2FuaXNhdGlvbgoKUEMgQ2hhaXJzOgpBbGJlcnRvIFBh cmRvLCBVbml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5Ck1h cmNvcyBWaWVyYSwgVW5pdmVyc2lkYWQgZGUgbGEgUmVww7pibGljYSwgTW9udGV2aWRlbywgVXJ1 Z3VheQoKUHVibGljaXR5IENoYWlyOgpNYXJ0IEx1YmJlcnMsIFJhZGJvdWQgVW5pdmVyc2l0eSwg VGhlIE5ldGhlcmxhbmRzCgpMb2NhbCBDaGFpcnM6CkFsYmVydG8gUGFyZG8sIFVuaXZlcnNpZGFk IGRlIGxhIFJlcMO6YmxpY2EsIE1vbnRldmlkZW8sIFVydWd1YXkKTWFyY29zIFZpZXJhLCBVbml2 ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5CgojIyMgUHJvZ3Jh bSBjb21taXR0ZWU6CgpNYXR0ZW8gQ2ltaW5pLCBVbml2ZXJzaXR5IG9mIE1hc3NhY2h1c2V0dHMg TG93ZWxsCkZhY3VuZG8gRG9tw61uZ3VleiwgVHdlYWcKSm/Do28gUGF1bG8gRmVybmFuZGVzLCBV bml2ZXJzaWRhZGUgZG8gUG9ydG8KSmVyZW15IEdpYmJvbnMsIE94Zm9yZCBVbml2ZXJzaXR5Ckp1 cnJpYWFuIEhhZ2UsIEhlcmlvdCBXYXR0IFVuaXZlcnNpdHkKSmFzb24gSGVtYW5uLCBTZXRvbiBI YWxsIFVuaXZlcnNpdHkKTWFqYSBIYW5uZSBLaXJrZWJ5LCBSb3NraWxkZSBVbml2ZXJzaXR5Ck1h cnQgTHViYmVycywgUmFkYm91ZCBVbml2ZXJzaXR5CkJydW5vIEMuIEQuIFMuIE9saXZlaXJhLCBU aGUgVW5pdmVyc2l0eSBvZiBIb25nIEtvbmcKUmludXMgUGxhc21laWplciwgUmFkYm91ZCBVbml2 ZXJzaXR5CkFuZHJlIFJhdWJlciBEdSBCb2lzLCBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkZSBQZWxv dGFzClJvZHJpZ28gUmliZWlybywgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUgT3VybyBQcmV0bwpB bGVqYW5kcm8gUnVzc28sIENoYWxtZXJzIFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neQpKb8OjbyBT YXJhaXZhLCBVbml2ZXJzaXR5IG9mIE1pbmhvCldlbmhhbyBUYW5nLCBVbml2ZXJzaXR5IG9mIEVk aW5idXJnaApaaGl4dWFuIFlhbmcsIEltcGVyaWFsIENvbGxlZ2UgTG9uZG9uCkJyZW50IFlvcmdl eSwgSGVuZHJpeCBDb2xsZWdlCkJldGEgWmlsaWFuaSwgTWFuYXMuVGVjaApWaWt0w7NyaWEgWnPD s2ssIEXDtnR2w7ZzIExvcsOhbmQgVW5pdmVyc2l0eQoKIyMjIFZlbnVlCgpJRkwgMjAyNSB3aWxs IGJlIGhlbGQgcGh5c2ljYWxseSBpbiBNb250ZXZpZGVvLCBVcnVndWF5LiBTZWUgdGhlCndlYnNp dGUgZm9yIG1vcmUgaW5mb3JtYXRpb24uCgogICAgaHR0cHM6Ly93d3cuZmluZy5lZHUudXkvaW5j by9jb25ncmVzb3MvaWZsMjAyNQoKIyMjIEFja25vd2xlZGdtZW50cwoKVGhpcyBjYWxsLWZvci1w YXBlcnMgaXMgYW4gYWRhcHRhdGlvbiBhbmQgZXZvbHV0aW9uIG9mIGNvbnRlbnQgZnJvbQpwcmV2 aW91cyBpbnN0YW5jZXMgb2YgSUZMLiBXZSBhcmUgZ3JhdGVmdWwgdG8gcHJpb3Igb3JnYW5pc2Vy cyBmb3IKdGhlaXIgd29yaywgd2hpY2ggaXMgcmV1c2VkIGhlcmUuCl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkhhc2tlbGwgbWFpbGluZyBsaXN0Ckhhc2tl bGxAaGFza2VsbC5vcmcKaHR0cDovL21haWwuaGFza2VsbC5vcmcvY2dpLWJpbi9tYWlsbWFuL2xp c3RpbmZvL2hhc2tlbGwK