IFL 2025: First call for papers
Mart Lubbers <[email protected]> Tue, 29 Apr 2025 02:06:15 -0700
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAGtcRvD860oAat5-mAj7uu1dZFO4cLq3qT1RW=HkFvpR7zDfSA@mail.gmail.com> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSUZMIDIwMjUKCjM3 dGggU3ltcG9zaXVtIG9uIEltcGxlbWVudGF0aW9uIGFuZCBBcHBsaWNhdGlvbiBvZiBGdW5jdGlv bmFsIExhbmd1YWdlcwoKCiAgICAgICAgICAgICAgICAgICAgICAgIE1vbnRldmlkZW8sIFVydWd1 YXkKCiAgICAgICAgICAgICAgICAgICAgICAgIE9jdG9iZXIgMS0zLCAyMDI1CgogICAgICAgICAg ICAgICAgICAgICAgIGh0dHBzOi8vd3d3LmZpbmcuZWR1LnV5L2luY28vY29uZ3Jlc29zL2lmbDIw MjUKCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PQojIyMgU2NvcGUKClRoZSBnb2FsIG9mIHRoZSBJRkwgc3ltcG9zaWEg aXMgdG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgYWN0aXZlbHkKZW5nYWdlZCBpbiB0aGUg aW1wbGVtZW50YXRpb24gYW5kIGFwcGxpY2F0aW9uIG9mIGZ1bmN0aW9uYWwgYW5kCmZ1bmN0aW9u LWJhc2VkIHByb2dyYW1taW5nIGxhbmd1YWdlcy4gSUZMIDIwMjUgd2lsbCBiZSBhIHZlbnVlIGZv cgpyZXNlYXJjaGVycyB0byBwcmVzZW50IGFuZCBkaXNjdXNzIG5ldyBpZGVhcyBhbmQgY29uY2Vw dHMsIHdvcmsgaW4KcHJvZ3Jlc3MsIGFuZCBwdWJsaWNhdGlvbi1yaXBlIHJlc3VsdHMgcmVsYXRl ZCB0byB0aGUgaW1wbGVtZW50YXRpb24gYW5kCmFwcGxpY2F0aW9uIG9mIGZ1bmN0aW9uYWwgbGFu Z3VhZ2VzIGFuZCBmdW5jdGlvbi1iYXNlZCBwcm9ncmFtbWluZy4KCiMjIyBUb3BpY3Mgb2YgaW50 ZXJlc3QKClRvcGljcyBvZiBpbnRlcmVzdCB0byBJRkwgaW5jbHVkZSwgYnV0IGFyZSBub3QgbGlt aXRlZCB0bzoKCi0gbGFuZ3VhZ2UgY29uY2VwdHMKLSB0eXBlIHN5c3RlbXMsIHR5cGUgY2hlY2tp bmcsIHR5cGUgaW5mZXJlbmNpbmcKLSBjb21waWxhdGlvbiB0ZWNobmlxdWVzCi0gc3RhZ2VkIGNv bXBpbGF0aW9uCi0gcnVuLXRpbWUgZnVuY3Rpb24gc3BlY2lhbGlzYXRpb24KLSBydW4tdGltZSBj b2RlIGdlbmVyYXRpb24KLSBwYXJ0aWFsIGV2YWx1YXRpb24KLSAoYWJzdHJhY3QpIGludGVycHJl dGF0aW9uCi0gbWV0YS1wcm9ncmFtbWluZwotIGdlbmVyaWMgcHJvZ3JhbW1pbmcKLSBhdXRvbWF0 aWMgcHJvZ3JhbSBnZW5lcmF0aW9uCi0gYXJyYXkgcHJvY2Vzc2luZwotIGNvbmN1cnJlbnQvcGFy YWxsZWwgcHJvZ3JhbW1pbmcKLSBjb25jdXJyZW50L3BhcmFsbGVsIHByb2dyYW0gZXhlY3V0aW9u Ci0gZW1iZWRkZWQgc3lzdGVtcwotIHdlYiBhcHBsaWNhdGlvbnMKLSAoZW1iZWRkZWQpIGRvbWFp biBzcGVjaWZpYyBsYW5ndWFnZXMKLSBzZWN1cml0eQotIG5vdmVsIG1lbW9yeSBtYW5hZ2VtZW50 IHRlY2huaXF1ZXMKLSBydW4tdGltZSBwcm9maWxpbmcgcGVyZm9ybWFuY2UgbWVhc3VyZW1lbnRz Ci0gZGVidWdnaW5nIGFuZCB0cmFjaW5nCi0gdmlydHVhbC9hYnN0cmFjdCBtYWNoaW5lIGFyY2hp dGVjdHVyZXMKLSB2YWxpZGF0aW9uLCB2ZXJpZmljYXRpb24gb2YgZnVuY3Rpb25hbCBwcm9ncmFt cwotIHRvb2xzIGFuZCBwcm9ncmFtbWluZyB0ZWNobmlxdWVzCgojIyMgUGVlci1yZXZpZXcgcHJv Y2VzcwoKRGlmZmVyZW50bHkgZnJvbSBwcmV2aW91cyBlZGl0aW9ucyBvZiBJRkwsIElGTCAyMDI1 IHNvbGljaXRzIHR3byBraW5kcwpvZiBzdWJtaXNzaW9uczoKCiogUmVndWxhciBwYXBlcnMgKDEy IHBhZ2VzIGluY2x1ZGluZyByZWZlcmVuY2VzKQoqIERyYWZ0IHBhcGVycyBmb3IgcHJlc2VudGF0 aW9ucyAoJ3dlYWsnIGxpbWl0IGJldHdlZW4gOCBhbmQgMTUgcGFnZXMpCgpSZWd1bGFyIHBhcGVy cyB3aWxsIHVuZGVyZ28gYSByaWdvcm91cyByZXZpZXcgYnkgdGhlIHByb2dyYW0gY29tbWl0dGVl LAphbmQgd2lsbCBiZSBldmFsdWF0ZWQgYWNjb3JkaW5nIHRvIHRoZWlyIGNvcnJlY3RuZXNzLCBu b3ZlbHR5LApvcmlnaW5hbGl0eSwgcmVsZXZhbmNlLCBzaWduaWZpY2FuY2UsIGFuZCBjbGFyaXR5 LiBBIHNldCBvZiByZWd1bGFyCnBhcGVycyB3aWxsIGJlIGNvbmRpdGlvbmFsbHkgYWNjZXB0ZWQg Zm9yIHB1YmxpY2F0aW9uLiBBdXRob3JzIG9mCmNvbmRpdGlvbmFsbHkgYWNjZXB0ZWQgcGFwZXJz IHdpbGwgYmUgcHJvdmlkZWQgd2l0aCBjb21taXR0ZWUgcmV2aWV3cwphbG9uZyB3aXRoIGEgc2V0 IG9mIG1hbmRhdG9yeSByZXZpc2lvbnMuIFJlZ3VsYXIgcGFwZXJzIG5vdCBhY2NlcHRlZCBmb3IK cHVibGljYXRpb24gd2lsbCBiZSBjb25zaWRlcmVkIGFzIGRyYWZ0IHBhcGVycywgYXQgdGhlIHJl cXVlc3Qgb2YgdGhlCmF1dGhvci4KCkRyYWZ0IHBhcGVycyB3aWxsIGJlIHNjcmVlbmVkIHRvIG1h a2Ugc3VyZSB0aGF0IHRoZXkgYXJlIHdpdGhpbiB0aGUKc2NvcGUgb2YgSUZMLCBhbmQgd2lsbCBi ZSBhY2NlcHRlZCBmb3IgcHJlc2VudGF0aW9uIG9yIHJlamVjdGVkCmFjY29yZGluZ2x5LgoKUHJp b3IgdG8gdGhlIHN5bXBvc2l1bToKCiAgQXV0aG9ycyBvZiBjb25kaXRpb25hbGx5IGFjY2VwdGVk IHBhcGVycyBhbmQgYWNjZXB0ZWQgcHJlc2VudGF0aW9ucwogIHdpbGwgc3VibWl0IGEgcHJlLXBy b2NlZWRpbmdzIHZlcnNpb24gb2YgdGhlaXIgd29yayB0aGF0IHdpbGwgYXBwZWFyCiAgaW4gdGhl IGRyYWZ0IHByb2NlZWRpbmdzIGRpc3RyaWJ1dGVkIGF0IHRoZSBzeW1wb3NpdW0uIFRoZSBkcmFm dAogIHByb2NlZWRpbmdzIGRvZXMgbm90IGNvbnN0aXR1dGUgYSBmb3JtYWwgcHVibGljYXRpb24u CgogIFdlIHJlcXVpcmUgdGhhdCBhdCBsZWFzdCBvbmUgb2YgdGhlIGF1dGhvcnMgcHJlc2VudCB0 aGUgd29yayBhdCBJRkwKICAyMDI1LgoKQWZ0ZXIgdGhlIHN5bXBvc2l1bToKCiAgQXV0aG9ycyBv ZiBjb25kaXRpb25hbGx5IGFjY2VwdGVkIHBhcGVycyB3aWxsIHN1Ym1pdCBhIHJldmlzZWQKICB2 ZXJzaW9ucyBvZiB0aGVpciBwYXBlciBmb3IgdGhlIGZvcm1hbCBwb3N0LXByb2NlZWRpbmdzLgoK ICBUaGUgcHJvZ3JhbSBjb21taXR0ZWUgd2lsbCBhc3Nlc3Mgd2hldGhlciB0aGUgbWFuZGF0b3J5 IHJldmlzaW9ucyBoYXZlCiAgYmVlbiBhZGVxdWF0ZWx5IGFkZHJlc3NlZCBieSB0aGUgYXV0aG9y cyBhbmQgdGhlcmVieSBkZXRlcm1pbmVzIHRoZQogIGZpbmFsIGFjY2VwdC9yZWplY3Qgc3RhdHVz IG9mIHRoZSBwYXBlci4KCiAgT3VyIGludGVyZXN0IGlzIHRvIHVsdGltYXRlbHkgYWNjZXB0IGFs bCBjb25kaXRpb25hbGx5IGFjY2VwdGVkCiAgcGFwZXJzLiBJZiB5b3UgYXJlIGFuIGF1dGhvciBv ZiBhIGNvbmRpdGlvbmFsbHkgYWNjZXB0ZWQgcGFwZXIsIHBsZWFzZQogIG1ha2Ugc3VyZSB0aGF0 IHlvdSBhZGRyZXNzIGFsbCB0aGUgY29uY2VybnMgb2YgdGhlIHJldmlld2Vycy4KCiAgQXV0aG9y cyBvZiBhY2NlcHRlZCBwcmVzZW50YXRpb25zIHdpbGwgYmUgZ2l2ZW4gdGhlIG9wcG9ydHVuaXR5 IHRvCiAgaW5jb3Jwb3JhdGUgdGhlIGZlZWRiYWNrIGZyb20gZGlzY3Vzc2lvbnMgYXQgdGhlIHN5 bXBvc2l1bSBhbmQgd2lsbCBiZQogIGludml0ZWQgdG8gc3VibWl0IGEgcmV2aXNlZCBmdWxsIGFy dGljbGUgZm9yIHRoZSBmb3JtYWwKICBwb3N0LXByb2NlZWRpbmdzLgoKICBUaGUgcHJvZ3JhbSBj b21taXR0ZWUgd2lsbCBldmFsdWF0ZSB0aGVzZSBzdWJtaXNzaW9ucyBhY2NvcmRpbmcgdG8KICB0 aGVpciBjb3JyZWN0bmVzcywgbm92ZWx0eSwgb3JpZ2luYWxpdHksIHJlbGV2YW5jZSwgc2lnbmlm aWNhbmNlLCBhbmQKICBjbGFyaXR5LCBhbmQgd2lsbCB0aGVyZWJ5IGRldGVybWluZSB3aGV0aGVy IHRoZSBwYXBlciBpcyBhY2NlcHRlZCBvcgogIHJlamVjdGVkLgoKCiMjIyBJbXBvcnRhbnQgZGF0 ZXMKClN1Ym1pc3Npb24gb2YgcmVndWxhciBwYXBlcnM6ICAgICAgICAgICAgICAgICAgSnVuZSAx NiwgMjAyNQpSZWd1bGFyIHBhcGVycyBub3RpZmljYXRpb246ICAgICAgICAgICAgICAgICAgIEF1 Z3VzdCA0LCAyMDI1ClN1Ym1pc3Npb24gb2YgZHJhZnQgcGFwZXJzOiAgICAgICAgICAgICAgICAg ICAgQXVndXN0IDQsIDIwMjUKRHJhZnQgcGFwZXJzIG5vdGlmaWNhdGlvbjogICAgICAgICAgICAg ICAgICAgICBBdWd1c3QgMTEsIDIwMjUKRGVhZGxpbmUgZm9yIGVhcmx5IHJlZ2lzdHJhdGlvbjog ICAgICAgICAgICAgICBTZXB0ZW1iZXIgNSwgMjAyNQpTdWJtaXNzaW9uIG9mIHByZS1wcm9jZWVk aW5ncyB2ZXJzaW9uOiAgICAgICAgIFNlcHRlbWJlciA4LCAyMDI1CklGTCBTeW1wb3NpdW06ICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgT2N0b2JlciAxLTMsIDIwMjUKU3VibWlzc2lv biBvZiBwYXBlcnMgZm9yIHBvc3QtcHJvY2VlZGluZ3M6ICAgICBEZWNlbWJlciAxNSwgMjAyNQpO b3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZTogICAgICAgICAgICAgICAgICAgIEZlYnJ1YXJ5IDI4 LCAyMDI2CkNhbWVyYS1yZWFkeSB2ZXJzaW9uOiAgICAgICAgICAgICAgICAgICAgICAgICAgTWFy Y2ggMzAsIDIwMjYKCkRlYWRsaW5lcyBhcmUgZW5kIG9mIGRheSBBbnl3aGVyZSBvbiBFYXJ0aCAo VVRDLTEyKQooaHR0cHM6Ly93d3cudGltZWFuZGRhdGUuY29tL3RpbWUvem9uZXMvYW9lKS4KCgoj IyMgU3VibWlzc2lvbiBkZXRhaWxzCgpBbGwgY29udHJpYnV0aW9ucyBtdXN0IGJlIHdyaXR0ZW4g aW4gRW5nbGlzaC4gUGFwZXJzIG11c3QgdXNlIHRoZSBBQ00KdHdvIGNvbHVtbnMgY29uZmVyZW5j ZSBmb3JtYXQsIHdoaWNoIGNhbiBiZSBmb3VuZCBhdDoKCiAgICBodHRwOi8vd3d3LmFjbS5vcmcv cHVibGljYXRpb25zL3Byb2NlZWRpbmdzLXRlbXBsYXRlCgpTdWJtaXQgeW91ciBwYXBlciBoZXJl OgoKICAgIGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1pZmwyMDI0MAoK SW1wb3J0YW50IG5vdGUgdG8gYXV0aG9ycyBhYm91dCB0aGUgbmV3IEFDTSBvcGVuIGFjY2VzcyBw dWJsaXNoaW5nIG1vZGVsCkFDTSBoYXMgaW50cm9kdWNlZCBhIG5ldyBvcGVuIGFjY2VzcyBwdWJs aXNoaW5nIG1vZGVsIGZvciB0aGUKSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIFByb2NlZWRpbmdz IFNlcmllcyAoSUNQUykuIEF1dGhvcnMgYmFzZWQgYXQKaW5zdGl0dXRpb25zIHRoYXQgYXJlIG5v dCB5ZXQgcGFydCBvZiB0aGUgQUNNIE9wZW4gcHJvZ3JhbSBhbmQgZG8gbm90CnF1YWxpZnkgZm9y IGEgd2FpdmVyIHdpbGwgYmUgcmVxdWlyZWQgdG8gcGF5IGFuIGFydGljbGUgcHJvY2Vzc2luZwpj aGFyZ2UgKEFQQykgdG8gcHVibGlzaCB0aGVpciBJQ1BTIGFydGljbGUgaW4gdGhlIEFDTSBEaWdp dGFsIExpYnJhcnkuClRvIGRldGVybWluZSB3aGV0aGVyIG9yIG5vdCBhbiBBUEMgd2lsbCBiZSBh cHBsaWNhYmxlIHRvIHlvdXIgYXJ0aWNsZSwKcGxlYXNlIGZvbGxvdyB0aGUgZGV0YWlsZWQgZ3Vp ZGFuY2UgaGVyZToKCmh0dHBzOi8vd3d3LmFjbS5vcmcvcHVibGljYXRpb25zL2ljcHMvYXV0aG9y LWd1aWRhbmNlLgoKRnVydGhlciBpbmZvcm1hdGlvbiBtYXkgYmUgZm91bmQgb24gdGhlIEFDTSB3 ZWJzaXRlLCBhcyBmb2xsb3dzOgoKLSBGdWxsIGRldGFpbHMgb2YgdGhlIG5ldyBJQ1BTIHB1Ymxp c2hpbmcgbW9kZWw6CiAgaHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvaWNwcy9mYXEK LSBGdWxsIGRldGFpbHMgb2YgdGhlIEFDTSBPcGVuIHByb2dyYW06CiAgaHR0cHM6Ly93d3cuYWNt Lm9yZy9wdWJsaWNhdGlvbnMvb3BlbmFjY2VzcwotIFBsZWFzZSBkaXJlY3QgYWxsIHF1ZXN0aW9u cyBhYm91dCB0aGUgbmV3IG1vZGVsIHRvIGljcHMtaW5mb0BhY20ub3JnLgoKIyMjIFBldGVyIExh bmRpbiBQcml6ZQoKVGhlIFBldGVyIExhbmRpbiBQcml6ZSBpcyBhd2FyZGVkIHRvIHRoZSBiZXN0 IHBhcGVyIHByZXNlbnRlZCBhdCB0aGUKc3ltcG9zaXVtIGV2ZXJ5IHllYXIuIFRoZSBob25vdXJl ZCBhcnRpY2xlIGlzIHNlbGVjdGVkIGJ5IHRoZSBwcm9ncmFtCmNvbW1pdHRlZSBiYXNlZCBvbiB0 aGUgc3VibWlzc2lvbnMgcmVjZWl2ZWQgZm9yIHRoZSBmb3JtYWwgcmV2aWV3CnByb2Nlc3MuIFRo ZSBwcml6ZSBjYXJyaWVzIGEgY2FzaCBhd2FyZCBlcXVpdmFsZW50IHRvIDE1MCBFdXJvcy4KCiMj IyBPcmdhbmlzYXRpb24KClBDIENoYWlyczoKCkFsYmVydG8gUGFyZG8sIFVuaXZlcnNpZGFkIGRl IGxhIFJlcMO6YmxpY2EsIE1vbnRldmlkZW8sIFVydWd1YXkKTWFyY29zIFZpZXJhLCBVbml2ZXJz aWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5CgpMb2NhbCBDaGFpcnM6 CgpBbGJlcnRvIFBhcmRvLCBVbml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVv LCBVcnVndWF5Ck1hcmNvcyBWaWVyYSwgVW5pdmVyc2lkYWQgZGUgbGEgUmVww7pibGljYSwgTW9u dGV2aWRlbywgVXJ1Z3VheQoKCiMjIyBQcm9ncmFtIGNvbW1pdHRlZToKCk1hdHRlbyBDaW1pbmks IFVuaXZlcnNpdHkgb2YgTWFzc2FjaHVzZXR0cyBMb3dlbGwKRmFjdW5kbyBEb23DrW5ndWV6LCBU d2VhZwpKb8OjbyBQYXVsbyBGZXJuYW5kZXMsIFVuaXZlcnNpZGFkZSBkbyBQb3J0bwpKZXJlbXkg R2liYm9ucywgT3hmb3JkIFVuaXZlcnNpdHkKSnVycmlhYW4gSGFnZSwgSGVyaW90IFdhdHQgVW5p dmVyc2l0eQpKYXNvbiBIZW1hbm4sIFNldG9uIEhhbGwgVW5pdmVyc2l0eQpNYWphIEhhbm5lIEtp cmtlYnksIFJvc2tpbGRlIFVuaXZlcnNpdHkKTWFydCBMdWJiZXJzLCBSYWRib3VkIFVuaXZlcnNp dHkKQnJ1bm8gQy4gRC4gUy4gT2xpdmVpcmEsIFRoZSBVbml2ZXJzaXR5IG9mIEhvbmcgS29uZwpS aW51cyBQbGFzbWVpamVyLCBSYWRib3VkIFVuaXZlcnNpdHkKQW5kcmUgUmF1YmVyIER1IEJvaXMs IFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIFBlbG90YXMKUm9kcmlnbyBSaWJlaXJvLCBVbml2ZXJz aWRhZGUgRmVkZXJhbCBkZSBPdXJvIFByZXRvCkFsZWphbmRybyBSdXNzbywgQ2hhbG1lcnMgVW5p dmVyc2l0eSBvZiBUZWNobm9sb2d5Ckpvw6NvIFNhcmFpdmEsIFVuaXZlcnNpdHkgb2YgTWluaG8K V2VuaGFvIFRhbmcsIFVuaXZlcnNpdHkgb2YgRWRpbmJ1cmdoClpoaXh1YW4gWWFuZywgSW1wZXJp YWwgQ29sbGVnZSBMb25kb24KQnJlbnQgWW9yZ2V5LCBIZW5kcml4IENvbGxlZ2UKQmV0YSBaaWxp YW5pLCBNYW5hcy5UZWNoClZpa3TDs3JpYSBac8OzaywgRcO2dHbDtnMgTG9yw6FuZCBVbml2ZXJz aXR5CgojIyMgVmVudWUKCklGTCAyMDI1IHdpbGwgYmUgaGVsZCBwaHlzaWNhbGx5IGluIE1vbnRl dmlkZW8sIFVydWd1YXkuIFNlZSB0aGUgd2Vic2l0ZQpmb3IgbW9yZSBpbmZvcm1hdGlvbi4KCiAg ICBodHRwczovL3d3dy5maW5nLmVkdS51eS9pbmNvL2NvbmdyZXNvcy9pZmwyMDI1CgoKIyMjIEFj a25vd2xlZGdtZW50cwoKVGhpcyBjYWxsLWZvci1wYXBlcnMgaXMgYW4gYWRhcHRhdGlvbiBhbmQg ZXZvbHV0aW9uIG9mIGNvbnRlbnQgZnJvbQpwcmV2aW91cyBpbnN0YW5jZXMgb2YgSUZMLiBXZSBh cmUgZ3JhdGVmdWwgdG8gcHJpb3Igb3JnYW5pc2VycyBmb3IgdGhlaXIKd29yaywgd2hpY2ggaXMg cmV1c2VkIGhlcmUuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCkhhc2tlbGwgbWFpbGluZyBsaXN0Ckhhc2tlbGxAaGFza2VsbC5vcmcKaHR0cDovL21haWwu aGFza2VsbC5vcmcvY2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2hhc2tlbGwK