DataMod 2025 - Final Call for Papers, Extended Deadline
Ouadie Khebbeb <[email protected]> Tue, 26 Aug 2025 12:45:33 +0100
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CALqNa21f-A_619heXCOgTjvF3Pw958erDH0R9OOLaWT0s58S0g@mail.gmail.com> |
RGF0YU1vZCAyMDI1IC0gMTN0aCBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSAiRnJvbSBEYXRhIHRv IE1vZGVscyBhbmQgQmFjayINClRvbGVkbywgU3BhaW4sIDEwLTExIE5vdmVtYmVyIDIwMjUNCg0K V2Vic2l0ZTogaHR0cHM6Ly9kYXRhbW9kLXN5bXBvc2l1bS5naXRodWIuaW8vRGF0YU1vZC0yMDI1 Lw0KDQpEYXRhTW9kIDIwMjUgaXMgYSBzYXRlbGxpdGUgZXZlbnQgb2YgdGhlIDIzcmQgSW50ZXJu YXRpb25hbCBDb25mZXJlbmNlIG9mDQpTb2Z0d2FyZSBFbmdpbmVlcmluZyBhbmQgRm9ybWFsIE1l dGhvZHMgKFNFRk0gMjAyNSk6DQpodHRwczovL3NlZm0tY29uZmVyZW5jZS5naXRodWIuaW8vMjAy NS8NCg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NClBhcGVyIHN1Ym1pc3Npb24gZGVhZGxpbmUg KGV4dGVuZGVkKTogICAgICAxMCBTZXB0ZW1iZXIgMjAyNQ0KLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0NCg0KQ09OVEVYVCAmIE9CSkVDVElWRVMNCg0KRGF0YU1vZCAyMDI1IGFpbXMgYXQgYnJpbmdp bmcgdG9nZXRoZXIgcHJhY3RpdGlvbmVycyBhbmQgcmVzZWFyY2hlcnMgZnJvbQ0KYWNhZGVtaWEs IGluZHVzdHJ5IGFuZCByZXNlYXJjaCBpbnN0aXR1dGlvbnMgaW50ZXJlc3RlZCBpbiB0aGUgY29t YmluZWQNCmNvbXB1dGF0aW9uYWwgbW9kZWxsaW5nIG1ldGhvZHMgd2l0aCBkYXRhLWRyaXZlbiB0 ZWNobmlxdWVzIGZyb20gdGhlIGFyZWFzDQpvZiBrbm93bGVkZ2UgbWFuYWdlbWVudCwgZGF0YSBt aW5pbmcgYW5kIG1hY2hpbmUgbGVhcm5pbmcuIE1vZGVsbGluZw0KbWV0aG9kb2xvZ2llcyBvZiBp bnRlcmVzdCBpbmNsdWRlIGF1dG9tYXRhLCBhZ2VudHMsIFBldHJpIG5ldHMsIHByb2Nlc3MNCmFs Z2VicmFzIGFuZCByZXdyaXRpbmcgc3lzdGVtcy4gQXBwbGljYXRpb24gZG9tYWlucyBpbmNsdWRl IHNvY2lhbCBzeXN0ZW1zLA0KZWNvbG9neSwgYmlvbG9neSwgbWVkaWNpbmUsIHNtYXJ0IGNpdGll cywgZ292ZXJuYW5jZSwgc2VjdXJpdHksIGVkdWNhdGlvbiwNCnNvZnR3YXJlIGVuZ2luZWVyaW5n LCBhbmQgYW55IG90aGVyIGZpZWxkIHRoYXQgZGVhbHMgd2l0aCBjb21wbGV4IHN5c3RlbXMNCmFu ZCBsYXJnZSBhbW91bnRzIG9mIGRhdGEuDQoNClBhcGVycyBjYW4gcHJlc2VudCByZXNlYXJjaCBy ZXN1bHRzIGluIGFueSBvZiB0aGUgdGhlbWVzIG9mIGludGVyZXN0IGZvciB0aGUNCnN5bXBvc2l1 bSwgYXMgd2VsbCBhcyBhcHBsaWNhdGlvbiBleHBlcmllbmNlcywgdG9vbHMgYW5kIHByb21pc2lu ZyBwcmVsaW1pbmFyeQ0KaWRlYXMuIFBhcGVycyBkZWFsaW5nIHdpdGggc3luZXJnaXN0aWMgYXBw cm9hY2hlcyB0aGF0IGludGVncmF0ZSBtb2RlbGxpbmcgYW5kDQprbm93bGVkZ2UgbWFuYWdlbWVu dC9kaXNjb3ZlcnksIG9yIHRoYXQgZXhwbG9pdCBrbm93bGVkZ2UgbWFuYWdlbWVudC9kaXNjb3Zl cnkNCnRvIGRldmVsb3Avc3ludGhlc2lzZSBzeXN0ZW0gbW9kZWxzIGFyZSBlc3BlY2lhbGx5IHdl bGNvbWUuDQoNCkF1dGhvcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IG9yaWdpbmFsIHJlc2VhcmNo IG9yIHRvb2wgcGFwZXJzIG9uIGFueSByZWxldmFudA0KdG9waWMuIFRoZXNlIGNhbiBlaXRoZXIg YmUgbm9ybWFsIG9yIHNob3J0IHBhcGVycy4gU2hvcnQgcGFwZXJzIGNhbiBkaXNjdXNzIG5ldw0K aWRlYXMgd2hpY2ggYXJlIGF0IGFuIGVhcmx5IHN0YWdlIG9mIGRldmVsb3BtZW50IGFuZCB3aGlj aCBoYXZlIG5vdCB5ZXQgYmVlbg0KdGhvcm91Z2hseSBldmFsdWF0ZWQuDQoNCg0KVE9QSUNTDQoN Ck1vZGVsbGluZyBhbmQgYW5hbHlzaXMgbWV0aG9kb2xvZ2llcyBpbmNsdWRlOg0KLSBBZ2VudC1i YXNlZCBNZXRob2RvbG9naWVzDQotIEF1dG9tYXRhLWJhc2VkIE5vdGF0aW9ucw0KLSBCaWcgRGF0 YSBBbmFseXRpY3MNCi0gQ2VsbHVsYXIgQXV0b21hdGENCi0gQ2xhc3NpZmljYXRpb24NCi0gQ2x1 c3RlcmluZywgU2VnbWVudGF0aW9uIGFuZCBQcm9maWxpbmcNCi0gQ29uZm9ybWFuY2UgQW5hbHlz aXMNCi0gQ29uc3RyYWludCBQcm9ncmFtbWluZw0KLSBEYXRhIE1pbmluZw0KLSBEaWZmZXJlbnRp YWwgRXF1YXRpb25zDQotIEdhbWUgVGhlb3J5DQotIE1hY2hpbmUgTGVhcm5pbmcNCi0gTWVtYnJh bmUgU3lzdGVtcw0KLSBOZXR3b3JrIFRoZW9yeSBhbmQgQW5hbHlzaXMNCi0gT250b2xvZ2llcw0K LSBPcHRpbWlzYXRpb24gTW9kZWxsaW5nDQotIFBldHJpIE5ldHMNCi0gUHJvY2VzcyBDYWxjdWxp DQotIFByb2Nlc3MgTWluaW5nDQotIFJld3JpdGluZyBTeXN0ZW1zDQotIFNwYXRpby10ZW1wb3Jh bCBEYXRhIEFuYWx5c2lzL01pbmluZw0KLSBTdGF0aXN0aWNhbCBNb2RlbCBDaGVja2luZw0KLSBU ZXh0IE1pbmluZw0KLSBUb3BvbG9naWNhbCBEYXRhIEFuYWx5c2lzDQoNCkFwcGxpY2F0aW9uIGRv bWFpbnMgaW5jbHVkZToNCi0gQmlvbG9neQ0KLSBCcmFpbiBEYXRhIGFuZCBTaW11bGF0aW9uDQot IEJ1c2luZXNzIFByb2Nlc3MgTWFuYWdlbWVudA0KLSBDbGltYXRlIENoYW5nZQ0KLSBDeWJlcnNl Y3VyaXR5DQotIEVjb2xvZ3kNCi0gRWR1Y2F0aW9uDQotIEVudmlyb25tZW50YWwgUmlzayBBc3Nl c3NtZW50IGFuZCBNYW5hZ2VtZW50DQotIEVudGVycHJpc2UgQXJjaGl0ZWN0dXJlcw0KLSBFcGlk ZW1pb2xvZ3kNCi0gR2VuZXRpY3MgYW5kIEdlbm9taWNzDQotIEdvdmVybmFuY2UNCi0gSENJIGFu ZCBIdW1hbiBCZWhhdmlvdXINCi0gT3BlbiBTb3VyY2UgU29mdHdhcmUgRGV2ZWxvcG1lbnQgYW5k IENvbW11bml0aWVzDQotIFBoYXJtYWNvbG9neQ0KLSBSZXNpbGllbmNlIEVuZ2luZWVyaW5nDQot IFNhZmV0eSBhbmQgU2VjdXJpdHkgUmlzayBBc3Nlc3NtZW50DQotIFNvY2lhbCBHb29kDQotIFNv Y2lhbCBTb2Z0d2FyZSBFbmdpbmVlcmluZw0KLSBTb2NpYWwgU3lzdGVtcw0KLSBTdXN0YWluYWJs ZSBEZXZlbG9wbWVudA0KLSBUaHJlYXQgTW9kZWxsaW5nIGFuZCBBbmFseXNpcw0KLSBVcmJhbiBF Y29sb2d5DQotIFNtYXJ0IENpdGllcyBhbmQgU21hcnQgTGFuZHMNCg0KU3luZXJnaXN0aWMgYXBw cm9hY2hlcyBpbmNsdWRlOg0KDQooMSkgVXNlIG9mIG1vZGVsbGluZyBtZXRob2RzIGFuZCBub3Rh dGlvbnMgaW4gYSBrbm93bGVkZ2UNCiAgIG1hbmFnZW1lbnQvZGlzY292ZXJ5IGNvbnRleHQNCigy KSBEZXZlbG9wbWVudCBhbmQgdXNlIG9mIGNvbW1vbiBtb2RlbGxpbmcgYW5kIGtub3dsZWRnZQ0K ICAgbWFuYWdlbWVudC9kaXNjb3ZlcnkgZnJhbWV3b3JrcyB0byBleHBsb3JlIGFuZCB1bmRlcnN0 YW5kIGNvbXBsZXgNCiAgIHN5c3RlbXMgZnJvbSB0aGUgYXBwbGljYXRpb24gZG9tYWlucyBvZiBp bnRlcmVzdA0KDQpTVUJNSVNTSU9OIEFORCBQVUJMSUNBVElPTg0KDQpQYXBlcnMgY2FuIHRha2Ug b25lIG9mIHRoZSBmb2xsb3dpbmcgdGhyZWUgdHlwZXM6DQoNCi0gcmVndWxhciAocmVzZWFyY2gs IHRvb2wgb3IgcG9zaXRpb24pIHBhcGVyLCB1cCB0byAxNiBwYWdlcyAoZXhjbHVkaW5nDQpyZWZl cmVuY2VzKQ0KLSBzaG9ydCAocmVzZWFyY2gsIHRvb2wgb3IgcG9zaXRpb24pIHBhcGVyLCB1cCB0 byA4IHBhZ2VzIChleGNsdWRpbmcgcmVmZXJlbmNlcykNCi0gcHJlc2VudGF0aW9uIHJlcG9ydCwg dXAgdG8gNCBwYWdlcw0KDQpQcmVzZW50YXRpb24gcmVwb3J0cyBjb25jZXJuIHJlY2VudCBvciBv bmdvaW5nIHdvcmsgb24gcmVsZXZhbnQgdG9waWNzIGFuZA0KaWRlYXMsIGZvciB0aW1lbHkgZGlz Y3Vzc2lvbiBhbmQgZmVlZGJhY2sgYXQgdGhlIHdvcmtzaG9wLiBUaGVyZSBpcyBubw0KcmVzdHJp Y3Rpb24gYXMgdG8gcHJldmlvdXMvZnV0dXJlIHB1YmxpY2F0aW9uIG9mIHRoZSBjb250ZW50cyBv ZiBhDQpwcmVzZW50YXRpb24uIFR5cGljYWxseSwgYSBwcmVzZW50YXRpb24gaXMgYmFzZWQgb24g YSBwYXBlciB3aGljaCByZWNlbnRseQ0KYXBwZWFyZWQgKG9yIHdoaWNoIGlzIGdvaW5nIHRvIGFw cGVhcikgaW4gdGhlIHByb2NlZWRpbmdzIG9mIGFub3RoZXIgcmVjb2duaXNlZA0KY29uZmVyZW5j ZSwgb3Igd2hpY2ggaGFzIG5vdCB5ZXQgYmVlbiBzdWJtaXR0ZWQuIFByZXNlbnRhdGlvbiByZXBv cnRzIHdpbGwNCnJlY2VpdmUgYSBsaWdodHdlaWdodCByZXZpZXcgdG8gZXN0YWJsaXNoIHRoZWly IHJlbGV2YW5jZSBmb3IgRGF0YU1vZC4NCg0KQWxsIHN1Ym1pc3Npb25zIG11c3QgYmUgb3JpZ2lu YWwsIHVucHVibGlzaGVkLCBhbmQgbm90IHN1Ym1pdHRlZCBjb25jdXJyZW50bHkNCmZvciBwdWJs aWNhdGlvbiBlbHNld2hlcmUuDQoNCkF1dGhvcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IHRoZWly IHByZXNlbnRhdGlvbiByZXBvcnQgdmlhIEVhc3ljaGFpcg0KaHR0cHM6Ly9lYXN5Y2hhaXIub3Jn L2NvbmZlcmVuY2VzLz9jb25mPWRhdGFtb2QyMDI1DQoNClBhcGVycyBtdXN0IGJlIGZvcm1hdHRl ZCBhY2NvcmRpbmcgdG8gdGhlIGd1aWRlbGluZXMgZm9yIFNwcmluZ2VyIExOQ1MgcGFwZXJzLA0K d2l0aG91dCBtb2RpZmljYXRpb25zIG9mIG1hcmdpbnMgYW5kIG90aGVyIHNwYWNlLXNhdmluZyBt ZWFzdXJlcy4gQXV0aG9ycyBzaG91bGQNCnRoZXJlZm9yZSBjb25zdWx0IFNwcmluZ2VyJ3MgYXV0 aG9ycycgaW5zdHJ1Y3Rpb25zIGFuZCB1c2UgdGhlaXIgcHJvY2VlZGluZ3MNCnRlbXBsYXRlcywg ZWl0aGVyIGZvciBMYVRlWCBvciBmb3IgV29yZCwgZm9yIHRoZSBwcmVwYXJhdGlvbiBvZiB0aGVp ciBwYXBlcnMuDQpTcHJpbmdlcuKAmXMgcHJvY2VlZGluZ3MgTGFUZVggdGVtcGxhdGVzIGFyZSBh bHNvIGF2YWlsYWJsZSBpbiBPdmVybGVhZi4gU3ByaW5nZXINCmVuY291cmFnZXMgYXV0aG9ycyB0 byBpbmNsdWRlIHRoZWlyIE9SQ0lEcyBpbiB0aGVpciBwYXBlcnMuDQoNCkVhY2ggcGFwZXIgd2ls bCBiZSByZXZpZXdlZCBieSB0aHJlZSBQcm9ncmFtIENvbW1pdHRlZSBtZW1iZXJzLiBOb3RpZmlj YXRpb24NCmFuZCByZXZpZXdzIHdpbGwgYmUgY29tbXVuaWNhdGVkIHZpYSBlbWFpbCB0aHJvdWdo IHRoZSBFYXN5Y2hhaXIgcGxhdGZvcm0uDQoNCkFjY2VwdGVkIHBhcGVycyAoYm90aCByZWd1bGFy IGFuZCBzaG9ydCkgd2lsbCBiZSBpbmNsdWRlZCBpbiBhIGRlZGljYXRlZCBMTkNTDQpwb3N0LXBy b2NlZWRpbmdzIHZvbHVtZSBwdWJsaXNoZWQgYnkgU3ByaW5nZXIgYWZ0ZXIgdGhlIFN5bXBvc2l1 bS4gQ29uZGl0aW9uDQpmb3IgaW5jbHVzaW9uIGluIHRoZSBwcm9jZWVkaW5ncyBpcyB0aGF0IGF0 IGxlYXN0IG9uZSBvZiB0aGUgY28tYXV0aG9ycyBhdHRlbmRzDQphbmQgcHJlc2VudHMgdGhlIHBh cGVyIGF0IHRoZSBTeW1wb3NpdW0uDQoNCg0KSU1QT1JUQU5UIERBVEVTDQoNCi0gUmVzZWFyY2gg UGFwZXJzDQpBYnN0cmFjdCBzdWJtaXNzaW9uIGRlYWRsaW5lIChvcHRpb25hbCk6ICAgMjIgQXVn dXN0IDIwMjUNClBhcGVyIHN1Ym1pc3Npb24gZGVhZGxpbmUgKGV4dGVuZGVkKTogICAgICAxMCBT ZXB0ZW1iZXIgMjAyNQ0KQWNjZXB0YW5jZSBub3RpZmljYXRpb246ICAgICAgICAgICAgICAgICAg IDMwIFNlcHRlbWJlciAyMDI1DQpSZXZpc2VkIHZlcnNpb246ICAgICAgICAgICAgICAgICAgICAg ICAgICAgNyBPY3RvYmVyIDIwMjUNClN5bXBvc2l1bTogICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAxMC0xMSBOb3ZlbWJlciAyMDI1DQoNCk5vdGUgdGhhdCB5b3Ugd2lsbCBoYXZlIHRo ZSBvcHBvcnR1bml0eSB0byBzdWJtaXQgdGhlIGNhbWVyYS1yZWFkeSBwYXBlciBmb3IgdGhlDQpM TkNTIFByb2NlZWRpbmdzIHdpdGggZGlzY3Vzc2lvbnMgYW5kIHJlbWFya3MgYWZ0ZXIgdGhlIHN5 bXBvc2l1bSwNCmkuZS4sIGJ5IHRoZSBlbmQNCm9mIHRoZSB5ZWFyIG9yIGVhcmx5IEphbi8yNi4N Cg0KDQpQUk9HUkFNIENPLUNIQUlSUw0KDQoqIExpdmlhIExlc3RpbmdpLCBQb2xpdGVjbmljbyBk aSBNaWxhbm8sIEl0YWx5DQoqIEd3ZW4gU2FsYcO8biwgVW5pdmVyc2l0w6kgR3Jlbm9ibGUgQWxw ZXMsIEZyYW5jZQ0KDQpQVUJMSUNJVFkgQ0hBSVJTDQoNCiogT3VhZGllIEtoZWJiZWIsIFVuaXZl cnNpdMOpIGRlIEdyZW5vYmxlIEFscGVzLCBGcmFuY2UNCg0KU1RFRVJJTkcgQ09NTUlUVEVFDQoN CiogT2FuYSBBbmRyZWksIFVuaXZlcnNpdHkgb2YgR2xhc2dvdywgVUsNCiogQW50b25pbyBDZXJv bmUsIE5hemFyYmF5ZXYgVW5pdmVyc2l0eSwgS2F6YWtoc3Rhbg0KKiBSaWNjYXJkbyBHdWlkb3R0 aSwgVW5pdmVyc2l0eSBvZiBQaXNhLCBJdGFseQ0KKiBNYXJpam4gSmFuc3NlbiwgRGVsZnQgVW5p dmVyc2l0eSBvZiBUZWNobm9sb2d5LCB0aGUgTmV0aGVybGFuZHMNCiogU3RhbiBNYXR3aW4sIFVu aXZlcnNpdHkgb2YgT3R0YXdhLCBDYW5hZGENCiogUGFvbG8gTWlsYXp6bywgVW5pdmVyc2l0eSBv ZiBQaXNhLCBJdGFseQ0KKiBBbm5hIE1vbnJlYWxlLCBVbml2ZXJzaXR5IG9mIFBpc2EsIEl0YWx5 DQoNClBST0dSQU0gQ09NTUlUVEVFDQoNCiogT2FuYSBBbmRyZWksIFVuaXZlcnNpdHkgb2YgR2xh c2dvdw0KKiBLeXVuZ21pbiBCYWUsIFBvaGFuZyBVbml2ZXJzaXR5IG9mIFNjaWVuY2UgYW5kIFRl Y2hub2xvZ3kgKFBPU1RFQ0gpDQoqIEp1bGlhbmEgQm93bGVzLCBTY2hvb2wgb2YgQ29tcHV0ZXIg U2NpZW5jZSwgVW5pdmVyc2l0eSBvZiBTdCBBbmRyZXdzDQoqIEdpb3Zhbm5hIEJyb2NjaWEsIElT VEktQ05SLCBGTVQgTGFiDQoqIEFudG9uaW8gQ2Vyb25lLCBOYXphcmJheWV2IFVuaXZlcnNpdHkN CiogUm9iZXJ0IENsYXJpc8OzLCBVbml2ZXJzaXRhdCBPYmVydGEgZGUgQ2F0YWx1bnlhDQoqIENh cmxhIEZlcnJlaXJhLCBVbml2ZXJzaWRhZGUgTk9WQSBkZSBMaXNib2ENCiogTWFyYyBGcmFwcGll ciwgVW5pdmVyc2l0w6kgZGUgU2hlcmJyb29rZQ0KKiBFbGlzYSBHb256YWxleiBCb2l4LCBWcmlq ZSBVbml2ZXJzaXRlaXQgQnJ1c3NlbA0KKiBSaWNjYXJkbyBHdWlkb3R0aSwgVW5pdmVyc2l0eSBv ZiBQaXNhDQoqIEFsZXhhbmRlciBLb2NpYW4sIFVuaXZlcnNpdHkgb2YgUGlzYQ0KKiBSaWNhcmRv IE0uIEN6ZWtzdGVyLCBBc3RvbiBVbml2ZXJzaXR5DQoqIEpvc8OpIE1hY2hhZG8sIFVuaXZlcnNp dHkgb2YgTWluaG8sIERJLCBBTEdPUklUTUkvTEFTSQ0KKiBQYW9sbyBNaWxhenpvLCBEaXBhcnRp bWVudG8gZGkgSW5mb3JtYXRpY2EgLSBVbml2ZXJzaXTDoCBkaSBQaXNhDQoqIFBlZHJvIFJpYmVp cm8sIFVuaXZlcnNpdHkgb2YgWW9yaw0KKiBBcnBpdCBTaGFybWEsIEluZGlhbiBJbnN0aXR1dGUg b2YgU2NpZW5jZSBFZHVjYXRpb24gYW5kIFJlc2VhcmNoDQoqIFZvbGtlciBTdG9seiwgSMO4Z3Nr dWxlbiBww6UgVmVzdGxhbmRldA0KKiBNYXJ0aW4gVGFwcGxlciwgVFUgV2llbg0KKiBUaGFpcyBX ZWJiZXIsIEFzdG9uIFVuaXZlcnNpdHkNCiogTGluYSBZZSwgQ2VudHJhbGVTdXDDqWxlYywgTE1G LCBVbml2ZXJzaXR5IFBhcmlzLVNhY2xheSwgRnJhbmNlDQoNCg0KQ09OVEFDVA0KDQo+IEFsbCBp bnF1aXJpZXMgc2hvdWxkIGJlIHNlbnQgdG8gZGF0YW1vZDIwMjVAZWFzeWNoYWlyLm9yZw0KX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBtYWls aW5nIGxpc3QgLS0gaGFza2VsbEBoYXNrZWxsLm9yZwpUbyB1bnN1YnNjcmliZSBzZW5kIGFuIGVt YWlsIHRvIGhhc2tlbGwtbGVhdmVAaGFza2VsbC5vcmcK