IFl 2025, Second call for papers
Mart Lubbers <[email protected]> Tue, 3 Jun 2025 09:35:53 +0000
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAGtcRvBg2OpsPu50174Z7KSQJcm34CWXU7EySdj3XXS4mxfrRw@mail.gmail.com> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSUZMIDIwMjUKCjM3 dGggU3ltcG9zaXVtIG9uIEltcGxlbWVudGF0aW9uIGFuZCBBcHBsaWNhdGlvbiBvZiBGdW5jdGlv bmFsIExhbmd1YWdlcwoKICAgICAgICAgICAgICAgICAgICAgICAgTW9udGV2aWRlbywgVXJ1Z3Vh eQoKICAgICAgICAgICAgICAgICAgICAgICAgT2N0b2JlciAxLTMsIDIwMjUKCiAgICAgICAgICAg ICAgICAgICAgICAgaHR0cHM6Ly93d3cuZmluZy5lZHUudXkvaW5jby9jb25ncmVzb3MvaWZsMjAy NQoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09CiMjIyBTY29wZQoKVGhlIGdvYWwgb2YgdGhlIElGTCBzeW1wb3NpYSBp cyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3RpdmVseQplbmdhZ2VkIGluIHRoZSBp bXBsZW1lbnRhdGlvbiBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBhbmQKZnVuY3Rpb24t YmFzZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJRkwgMjAyNSB3aWxsIGJlIGEgdmVudWUgZm9y CnJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYW5kIGRpc2N1c3MgbmV3IGlkZWFzIGFuZCBjb25jZXB0 cywgd29yayBpbgpwcm9ncmVzcywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0cyByZWxhdGVk IHRvIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQKYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBsYW5n dWFnZXMgYW5kIGZ1bmN0aW9uLWJhc2VkIHByb2dyYW1taW5nLgoKIyMjIFRvcGljcyBvZiBpbnRl cmVzdAoKVG9waWNzIG9mIGludGVyZXN0IHRvIElGTCBpbmNsdWRlLCBidXQgYXJlIG5vdCBsaW1p dGVkIHRvOgoKLSBsYW5ndWFnZSBjb25jZXB0cwotIHR5cGUgc3lzdGVtcywgdHlwZSBjaGVja2lu ZywgdHlwZSBpbmZlcmVuY2luZwotIGNvbXBpbGF0aW9uIHRlY2huaXF1ZXMKLSBzdGFnZWQgY29t cGlsYXRpb24KLSBydW4tdGltZSBmdW5jdGlvbiBzcGVjaWFsaXNhdGlvbgotIHJ1bi10aW1lIGNv ZGUgZ2VuZXJhdGlvbgotIHBhcnRpYWwgZXZhbHVhdGlvbgotIChhYnN0cmFjdCkgaW50ZXJwcmV0 YXRpb24KLSBtZXRhLXByb2dyYW1taW5nCi0gZ2VuZXJpYyBwcm9ncmFtbWluZwotIGF1dG9tYXRp YyBwcm9ncmFtIGdlbmVyYXRpb24KLSBhcnJheSBwcm9jZXNzaW5nCi0gY29uY3VycmVudC9wYXJh bGxlbCBwcm9ncmFtbWluZwotIGNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3JhbSBleGVjdXRpb24K LSBlbWJlZGRlZCBzeXN0ZW1zCi0gd2ViIGFwcGxpY2F0aW9ucwotIChlbWJlZGRlZCkgZG9tYWlu IHNwZWNpZmljIGxhbmd1YWdlcwotIHNlY3VyaXR5Ci0gbm92ZWwgbWVtb3J5IG1hbmFnZW1lbnQg dGVjaG5pcXVlcwotIHJ1bi10aW1lIHByb2ZpbGluZyBwZXJmb3JtYW5jZSBtZWFzdXJlbWVudHMK LSBkZWJ1Z2dpbmcgYW5kIHRyYWNpbmcKLSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUgYXJjaGl0 ZWN0dXJlcwotIHZhbGlkYXRpb24sIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFsIHByb2dyYW1z Ci0gdG9vbHMgYW5kIHByb2dyYW1taW5nIHRlY2huaXF1ZXMKCiMjIyBQZWVyLXJldmlldyBwcm9j ZXNzCgpEaWZmZXJlbnRseSBmcm9tIHByZXZpb3VzIGVkaXRpb25zIG9mIElGTCwgSUZMIDIwMjUg c29saWNpdHMgdHdvIGtpbmRzCm9mIHN1Ym1pc3Npb25zOgoKKiBSZWd1bGFyIHBhcGVycyAoMTIg cGFnZXMgZXhjbHVkaW5nIHJlZmVyZW5jZXMpCiogRHJhZnQgcGFwZXJzIGZvciBwcmVzZW50YXRp b25zICgnd2VhaycgbGltaXQgYmV0d2VlbiA4IGFuZCAxNSBwYWdlcykKClJlZ3VsYXIgcGFwZXJz IHdpbGwgdW5kZXJnbyBhIHJpZ29yb3VzIHJldmlldyBieSB0aGUgcHJvZ3JhbQpjb21taXR0ZWUs IGFuZCB3aWxsIGJlIGV2YWx1YXRlZCBhY2NvcmRpbmcgdG8gdGhlaXIgY29ycmVjdG5lc3MsCm5v dmVsdHksIG9yaWdpbmFsaXR5LCByZWxldmFuY2UsIHNpZ25pZmljYW5jZSwgYW5kIGNsYXJpdHku IFJlZ3VsYXIKcGFwZXJzIGNhbiBiZTogYWNjZXB0ZWQgZm9yIHB1YmxpY2F0aW9uIGluIHRoZSBm b3JtYWwgcHJvY2VlZGluZ3MsCmFjY2VwdGVkIGZvciBwcmVzZW50YXRpb24gYXQgdGhlIHN5bXBv c2l1bSBvciByZWplY3RlZC4KRHJhZnQgcGFwZXJzIHdpbGwgYmUgc2NyZWVuZWQgdG8gbWFrZSBz dXJlIHRoYXQgdGhleSBhcmUgd2l0aGluIHRoZQpzY29wZSBvZiBJRkwsIGFuZCB3aWxsIGJlIGFj Y2VwdGVkIGZvciBwcmVzZW50YXRpb24gb3IgcmVqZWN0ZWQKYWNjb3JkaW5nbHkuCldlIHJlcXVp cmUgdGhhdCBhdCBsZWFzdCBvbmUgb2YgdGhlIGF1dGhvcnMgcHJlc2VudCB0aGUgd29yayBhdCBJ RkwgMjAyNS4KQXV0aG9ycyBvZiBhY2NlcHRlZCBwcmVzZW50YXRpb25zIHdpbGwgYmUgZ2l2ZW4g dGhlIG9wcG9ydHVuaXR5IHRvCmluY29ycG9yYXRlIHRoZSBmZWVkYmFjayBmcm9tIGRpc2N1c3Np b25zIGF0IHRoZSBzeW1wb3NpdW0gYW5kIHdpbGwgYmUKaW52aXRlZCB0byBzdWJtaXQgYSByZXZp c2VkIGZ1bGwgYXJ0aWNsZSBmb3IgdGhlIGZvcm1hbApwb3N0LXByb2NlZWRpbmdzIGFmdGVyIHRo ZSBzeW1wb3NpdW0uIFRoZSBwcm9ncmFtIGNvbW1pdHRlZSB3aWxsCmV2YWx1YXRlIHRoZXNlIHN1 Ym1pc3Npb25zIGFjY29yZGluZyB0byB0aGVpciBjb3JyZWN0bmVzcywgbm92ZWx0eSwKb3JpZ2lu YWxpdHksIHJlbGV2YW5jZSwgc2lnbmlmaWNhbmNlLCBhbmQgY2xhcml0eSwgYW5kIHdpbGwgdGhl cmVieQpkZXRlcm1pbmUgd2hldGhlciB0aGUgcGFwZXIgaXMgYWNjZXB0ZWQgb3IgcmVqZWN0ZWQu CgojIyMgSW1wb3J0YW50IGRhdGVzCgpTdWJtaXNzaW9uIG9mIHJlZ3VsYXIgcGFwZXJzOiAgICAg ICAgICAgICAgICAgICAgICBKdW5lIDE2LCAyMDI1ClJlZ3VsYXIgcGFwZXJzIG5vdGlmaWNhdGlv bjogICAgICAgICAgICAgICAgICAgICAgICAgIEF1Z3VzdCA0LCAyMDI1ClN1Ym1pc3Npb24gb2Yg ZHJhZnQgcGFwZXJzOiAgICAgICAgICAgICAgICAgICAgICAgICAgQXVndXN0IDQsIDIwMjUKRHJh ZnQgcGFwZXJzIG5vdGlmaWNhdGlvbjogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQXVn dXN0IDExLCAyMDI1CkRlYWRsaW5lIGZvciBlYXJseSByZWdpc3RyYXRpb246ICAgICAgICAgICAg ICAgICAgICAgIFNlcHRlbWJlciA1LCAyMDI1ClN1Ym1pc3Npb24gb2YgcHJlLXByb2NlZWRpbmdz IHZlcnNpb246ICAgICAgIFNlcHRlbWJlciA4LCAyMDI1CklGTCBTeW1wb3NpdW06ICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBPY3RvYmVyIDEtMywgMjAyNQpTdWJt aXNzaW9uIG9mIHBhcGVycyBmb3IgcG9zdC1wcm9jZWVkaW5nczogRGVjZW1iZXIgMTUsIDIwMjUK Tm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICAgICAgICAgICAgICAgICAgICAgICAgICAgIEZl YnJ1YXJ5IDI4LCAyMDI2CkNhbWVyYS1yZWFkeSB2ZXJzaW9uOiAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgIE1hcmNoIDMwLCAyMDI2CgpEZWFkbGluZXMgYXJlIGVuZCBvZiBkYXkgQW55 d2hlcmUgb24gRWFydGggKFVUQy0xMikKKGh0dHBzOi8vd3d3LnRpbWVhbmRkYXRlLmNvbS90aW1l L3pvbmVzL2FvZSkuCgojIyMgU3VibWlzc2lvbiBkZXRhaWxzCgpBbGwgY29udHJpYnV0aW9ucyBt dXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlzaC4gUGFwZXJzIG11c3QgdXNlIHRoZSBBQ00KdHdvIGNv bHVtbnMgY29uZmVyZW5jZSBmb3JtYXQsIHdoaWNoIGNhbiBiZSBmb3VuZCBhdDoKCiAgICBodHRw Oi8vd3d3LmFjbS5vcmcvcHVibGljYXRpb25zL3Byb2NlZWRpbmdzLXRlbXBsYXRlCgpTdWJtaXQg eW91ciBwYXBlciBoZXJlOgoKICAgIGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/ Y29uZj1pZmwyMDI1CgpJbXBvcnRhbnQgbm90ZSB0byBhdXRob3JzIGFib3V0IHRoZSBuZXcgQUNN IG9wZW4gYWNjZXNzIHB1Ymxpc2hpbmcgbW9kZWwKQUNNIGhhcyBpbnRyb2R1Y2VkIGEgbmV3IG9w ZW4gYWNjZXNzIHB1Ymxpc2hpbmcgbW9kZWwgZm9yIHRoZSBJbnRlcm5hdGlvbmFsCgpDb25mZXJl bmNlIFByb2NlZWRpbmdzIFNlcmllcyAoSUNQUykuIEF1dGhvcnMgYmFzZWQgYXQgaW5zdGl0dXRp b25zIHRoYXQgYXJlCm5vdCB5ZXQgcGFydCBvZiB0aGUgQUNNIE9wZW4gcHJvZ3JhbSBhbmQgZG8g bm90IHF1YWxpZnkgZm9yIGEgd2FpdmVyIHdpbGwgYmUKcmVxdWlyZWQgdG8gcGF5IGFuIGFydGlj bGUgcHJvY2Vzc2luZyBjaGFyZ2UgKEFQQykgdG8gcHVibGlzaCB0aGVpciBJQ1BTCmFydGljbGUg aW4gdGhlIEFDTSBEaWdpdGFsIExpYnJhcnkuIFRvIGRldGVybWluZSB3aGV0aGVyIG9yIG5vdCBh biBBUEMgd2lsbCBiZQphcHBsaWNhYmxlIHRvIHlvdXIgYXJ0aWNsZSwgcGxlYXNlIGZvbGxvdyB0 aGUgZGV0YWlsZWQgZ3VpZGFuY2UgaGVyZToKaHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlv bnMvaWNwcy9hdXRob3ItZ3VpZGFuY2UuCgpGdXJ0aGVyIGluZm9ybWF0aW9uIG1heSBiZSBmb3Vu ZCBvbiB0aGUgQUNNIHdlYnNpdGUsIGFzIGZvbGxvd3M6CgotIEZ1bGwgZGV0YWlscyBvZiB0aGUg bmV3IElDUFMgcHVibGlzaGluZyBtb2RlbDoKICBodHRwczovL3d3dy5hY20ub3JnL3B1YmxpY2F0 aW9ucy9pY3BzL2ZhcQoKLSBGdWxsIGRldGFpbHMgb2YgdGhlIEFDTSBPcGVuIHByb2dyYW06CiAg aHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvb3BlbmFjY2VzcwoKLSBQbGVhc2UgZGly ZWN0IGFsbCBxdWVzdGlvbnMgYWJvdXQgdGhlIG5ldyBtb2RlbCB0byBpY3BzLWluZm9AYWNtLm9y Zy4KCiMjIyBQZXRlciBMYW5kaW4gUHJpemUKClRoZSBQZXRlciBMYW5kaW4gUHJpemUgaXMgYXdh cmRlZCB0byB0aGUgYmVzdCBwYXBlciBwcmVzZW50ZWQgYXQgdGhlCnN5bXBvc2l1bSBldmVyeSB5 ZWFyLiBUaGUgaG9ub3VyZWQgYXJ0aWNsZSBpcyBzZWxlY3RlZCBieSB0aGUgcHJvZ3JhbQpjb21t aXR0ZWUgYmFzZWQgb24gdGhlIHN1Ym1pc3Npb25zIHJlY2VpdmVkIGZvciB0aGUgZm9ybWFsIHJl dmlldwpwcm9jZXNzLiBUaGUgcHJpemUgY2FycmllcyBhIGNhc2ggYXdhcmQgZXF1aXZhbGVudCB0 byAxNTAgRXVyb3MuCgojIyMgT3JnYW5pc2F0aW9uCgpQQyBDaGFpcnM6CkFsYmVydG8gUGFyZG8s IFVuaXZlcnNpZGFkIGRlIGxhIFJlcMO6YmxpY2EsIE1vbnRldmlkZW8sIFVydWd1YXkKTWFyY29z IFZpZXJhLCBVbml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5 CgpQdWJsaWNpdHkgQ2hhaXI6Ck1hcnQgTHViYmVycywgUmFkYm91ZCBVbml2ZXJzaXR5LCBUaGUg TmV0aGVybGFuZHMKCkxvY2FsIENoYWlyczoKQWxiZXJ0byBQYXJkbywgVW5pdmVyc2lkYWQgZGUg bGEgUmVww7pibGljYSwgTW9udGV2aWRlbywgVXJ1Z3VheQoKTWFyY29zIFZpZXJhLCBVbml2ZXJz aWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5CiMjIyBQcm9ncmFtIGNv bW1pdHRlZToKTWF0dGVvIENpbWluaSwgVW5pdmVyc2l0eSBvZiBNYXNzYWNodXNldHRzIExvd2Vs bApGYWN1bmRvIERvbcOtbmd1ZXosIFR3ZWFnCkpvw6NvIFBhdWxvIEZlcm5hbmRlcywgVW5pdmVy c2lkYWRlIGRvIFBvcnRvCkplcmVteSBHaWJib25zLCBPeGZvcmQgVW5pdmVyc2l0eQpKdXJyaWFh biBIYWdlLCBIZXJpb3QgV2F0dCBVbml2ZXJzaXR5Ckphc29uIEhlbWFubiwgU2V0b24gSGFsbCBV bml2ZXJzaXR5Ck1hamEgSGFubmUgS2lya2VieSwgUm9za2lsZGUgVW5pdmVyc2l0eQpNYXJ0IEx1 YmJlcnMsIFJhZGJvdWQgVW5pdmVyc2l0eQpCcnVubyBDLiBELiBTLiBPbGl2ZWlyYSwgVGhlIFVu aXZlcnNpdHkgb2YgSG9uZyBLb25nClJpbnVzIFBsYXNtZWlqZXIsIFJhZGJvdWQgVW5pdmVyc2l0 eQpBbmRyZSBSYXViZXIgRHUgQm9pcywgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUgUGVsb3RhcwpS b2RyaWdvIFJpYmVpcm8sIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIE91cm8gUHJldG8KQWxlamFu ZHJvIFJ1c3NvLCBDaGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKSm/Do28gU2FyYWl2 YSwgVW5pdmVyc2l0eSBvZiBNaW5obwpXZW5oYW8gVGFuZywgVW5pdmVyc2l0eSBvZiBFZGluYnVy Z2gKWmhpeHVhbiBZYW5nLCBJbXBlcmlhbCBDb2xsZWdlIExvbmRvbgpCcmVudCBZb3JnZXksIEhl bmRyaXggQ29sbGVnZQpCZXRhIFppbGlhbmksIE1hbmFzLlRlY2gKVmlrdMOzcmlhIFpzw7NrLCBF w7Z0dsO2cyBMb3LDoW5kIFVuaXZlcnNpdHkKCiMjIyBWZW51ZQoKSUZMIDIwMjUgd2lsbCBiZSBo ZWxkIHBoeXNpY2FsbHkgaW4gTW9udGV2aWRlbywgVXJ1Z3VheS4gU2VlIHRoZQp3ZWJzaXRlIGZv ciBtb3JlIGluZm9ybWF0aW9uLgoKICAgIGh0dHBzOi8vd3d3LmZpbmcuZWR1LnV5L2luY28vY29u Z3Jlc29zL2lmbDIwMjUKCiMjIyBBY2tub3dsZWRnbWVudHMKClRoaXMgY2FsbC1mb3ItcGFwZXJz IGlzIGFuIGFkYXB0YXRpb24gYW5kIGV2b2x1dGlvbiBvZiBjb250ZW50IGZyb20KcHJldmlvdXMg aW5zdGFuY2VzIG9mIElGTC4gV2UgYXJlIGdyYXRlZnVsIHRvIHByaW9yIG9yZ2FuaXNlcnMgZm9y IHRoZWlyCndvcmssIHdoaWNoIGlzIHJldXNlZCBoZXJlLgpfX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fXwpIYXNrZWxsIG1haWxpbmcgbGlzdApIYXNrZWxsQGhh c2tlbGwub3JnCmh0dHA6Ly9tYWlsLmhhc2tlbGwub3JnL2NnaS1iaW4vbWFpbG1hbi9saXN0aW5m by9oYXNrZWxsCg==