CMCS 2026: Call for Papers
Thorsten Wissmann <[email protected]> Wed, 7 Jan 2026 15:36:42 +0100
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <[email protected]> |
ICAgVGhlIDE4dGggSUZJUCBXRyAxLjMgSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbg0KICBDb2Fs Z2VicmFpYyBNZXRob2RzIGluIENvbXB1dGVyIFNjaWVuY2UgKENNQ1MnMjYpDQogICAgICAgICAg IFR1cmluIChJdGFseSksIDExLTEyIEFwcmlsIDIwMjYNCiAgICAgICAgICAgICAoY28tbG9jYXRl ZCB3aXRoIEVUQVBTIDIwMjYpDQogICAgICAgICAgICAgaHR0cHM6Ly93d3cuY29hbGcub3JnL2Nt Y3MyNi8NCg0KPT09PSBPYmplY3RpdmVzIGFuZCBzY29wZSA9PT09DQoNCkVzdGFibGlzaGVkIGlu IDE5OTgsIHRoZSBDTUNTIHdvcmtzaG9wcyBhaW0gdG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hl cnMgd2l0aCBhIGNvbW1vbiBpbnRlcmVzdCBpbiB0aGUgdGhlb3J5IG9mIGNvYWxnZWJyYXMsIHRo ZWlyIGxvZ2ljcywgYW5kIHRoZWlyIGFwcGxpY2F0aW9ucy4gQXMgdGhlIHdvcmtzaG9wIHNlcmll cyBzdHJpdmVzIHRvIG1haW50YWluIGJyZWFkdGggaW4gaXRzIHNjb3BlLCBhcmVhcyBvZiBpbnRl cmVzdCBpbmNsdWRlIG5laWdoYm91cmluZyBmaWVsZHMgYXMgd2VsbC4NCg0KVG9waWNzIG9mIGlu dGVyZXN0IGFyZSB0aGUgdGhlb3J5IGFuZCBhcHBsaWNhdGlvbnMgb2YgY29hbGdlYnJhIGFuZCBj b2luZHVjdGl2ZSByZWFzb25pbmcgaW4gYWxsIHJlc2VhcmNoIGFyZWFzIG9mIENvbXB1dGVyIFNj aWVuY2UsIGluY2x1ZGluZyAoYnV0IG5vdCBsaW1pdGVkIHRvKSB0aGUgZm9sbG93aW5nOg0KDQoq IHNldC10aGVvcmV0aWMgYW5kIGNhdGVnb3JpY2FsIGZvdW5kYXRpb25zIG9mIGNvYWxnZWJyYTsN CiogYWxnZWJyYSAmIGNvYWxnZWJyYSwgKGNvKW1vbmFkcywgYW5kIGRpc3RyaWJ1dGl2ZSBsYXdz Ow0KKiAobW9kYWwpIGxvZ2ljOw0KKiBhdXRvbWF0YSB0aGVvcnkgYW5kIGZvcm1hbCBsYW5ndWFn ZXM7DQoqIGNvaW5kdWN0aXZlIGRlZmluaXRpb25zIGFuZCBwcm9vZiBwcmluY2lwbGVzIChpbmNs dWRpbmcgInVwLXRvIiB0ZWNobmlxdWVzKQ0KKiBzZW1hbnRpYyBtb2RlbHMgb2YgY29tcHV0YXRp b24gKGZvciBwcm9ncmFtbWluZyBsYW5ndWFnZXMsIGR5bmFtaWNhbCBzeXN0ZW1zLCB0ZXJtIHJl d3JpdGluZywgZXRjLikNCiogZnVuY3Rpb25hbCwgb2JqZWN0ZWQtb3JpZW50ZWQsIGNvbmN1cnJl bnQsIGFuZCBjb25zdHJhaW50IHByb2dyYW1taW5nOw0KKiB0eXBlIHRoZW9yeSAobm90YWJseSBi ZWhhdmlvdXJhbCB0eXBpbmcpOw0KKiBmb3JtYWwgdmVyaWZpY2F0aW9uIGFuZCBzcGVjaWZpY2F0 aW9uOw0KKiBjb250cm9sIHRoZW9yeSAobm90YWJseSBkaXNjcmV0ZSBldmVudHMgYW5kIGh5YnJp ZCBzeXN0ZW1zKTsNCiogcXVhbnR1bSBjb21wdXRpbmc7DQoqIGdhbWUgdGhlb3J5Ow0KKiBpbXBs ZW1lbnRhdGlvbiwgdG9vbHMsIGFuZCBwcm9vZiBhc3Npc3RhbnRzDQoNCj09PT0gVmVudWUgYW5k IGV2ZW50ID09PT0NCg0KQ01DUyAnMjYgd2lsbCBiZSBoZWxkIGluIFR1cmluLCBJdGFseSwgY28t bG9jYXRlZCB3aXRoIEVUQVBTIDIwMjYgb24gMTEtMTIgQXByaWwgMjAyNi4NCg0KPT09PSBJbnZp dGVkIFNwZWFrZXJzID09PT0NCg0KLSBLZXlub3RlOiBCYXJiYXJhIEvDtm5pZw0KLSBJbnZpdGVk IHRhbGtzOiBCYWhhcmVoIEFmc2hhcmkgYW5kIFNlcmdleSBHb25jaGFyb3YNCi0gVHV0b3JpYWw6 IEJlbmphbWluIEJpc3BpbmcNCg0KPT09PSBJbXBvcnRhbnQgZGF0ZXMgKEFueXdoZXJlIE9uIEVh cnRoKSA9PT09DQoNCkFic3RyYWN0IG9mIHJlZ3VsYXIgcGFwZXJzOiAyOSBKYW51YXJ5IDIwMjYN ClN1Ym1pc3Npb24gb2YgcmVndWxhciBwYXBlcnM6IDAyIEZlYnJ1YXJ5IDIwMjYNCk5vdGlmaWNh dGlvbiBvZiByZWd1bGFyIHBhcGVyczogMDQgTWFyY2ggMjAyNg0KU3VibWlzc2lvbiBzaG9ydCBj b250cmlidXRpb25zOiAwNSBNYXJjaCAyMDI2DQpOb3RpZmljYXRpb24gc2hvcnQgY29udHJpYnV0 aW9uczogMTAgTWFyY2ggMjAyMg0KRmluYWwgY2FtZXJhLXJlYWR5IHZlcnNpb246IDI3IE1hcmNo IDIwMjYNCg0KPT09PSBDb21taXR0ZWVzIGFuZCBjaGFpcnMgPT09PQ0KDQo9PSBQcm9ncmFtbWUg Y29tbWl0dGVlID09DQogICAgU3RlbGlvcyBUc2FtcGFzIChVbml2ZXJzaXR5IG9mIFNvdXRoZXJu IERlbm1hcmspDQogICAgSm9yZ2UgQS4gUMOpcmV6IChVbml2ZXJzaXR5IG9mIEdyb25pbmdlbikN CiAgICBDaGFzZSBGb3JkIChMZWlkZW4gVW5pdmVyc2l0eSkNCiAgICBBbmRyZWkgUG9wZXNjdSAo VW5pdmVyc2l0eSBvZiBTaGVmZmllbGQpDQogICAgQ2xvdmlzIEViZXJoYXJ0IChUb2hva3UgVW5p dmVyc2l0eSkNCiAgICBGaWxpcHBvIEJvbmNoaSAoVW5pdmVyc2l0eSBvZiBQaXNhKQ0KICAgIE5p Y2NvbMOyIFZlbHRyaSAoVGFsbGlubiBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kpDQogICAgQ29y aW5hIENpcnN0ZWEgKFVuaXZlcnNpdHkgb2YgU291dGhhbXB0b24pDQogICAgSGFyc2ggQmVvaGFy IChVbml2ZXJzaXR5IG9mIFNoZWZmaWVsZCkNCiAgICBTZWJhc3RpYW4gRW5xdmlzdCAoTHVuZCBV bml2ZXJzaXR5KQ0KICAgIExhcnJ5IE1vc3MgKEluZGlhbmEgVW5pdmVyc2l0eSBCbG9vbWluZ3Rv bikNCiAgICBBbGV4YW5kZXIgS3VyeiAoQ2hhcG1hbiBVbml2ZXJzaXR5KQ0KICAgIEFuYSBTb2tv bG92YSAoVW5pdmVyc2l0eSBvZiBTYWx6YnVyZykNCiAgICBWaW5jZW56byBDaWFuY2lhIChJc3Rp dHV0byBkaSBTY2llbnphIGUgVGVjbm9sb2dpZSkNCiAgICBFbGVuYSBEaSBMYXZvcmUgKFVuaXZl cnNpdHkgb2YgT3hmb3JkKQ0KICAgIFNoaW4tWWEgS2F0c3VtYXRhIChLeW90byBTYW5neW8gVW5p dmVyc2l0eSkNCiAgICBIZWxsZSBIdmlkIEhhbnNlbiAoVW5pdmVyc2l0eSBvZiBHcm9uaW5nZW4p DQogICAgRGFtaWVuIFBvdXMgKENOUlMgLSBFTlMgTHlvbikNCg0KPT0gUEMgQ28tQ2hhaXJzID09 DQogICAgSGVubmluZyBCYXNvbGQgKFVuaXZlcnNpdGVpdCBMZWlkZW4sIFRoZSBOZXRoZXJsYW5k cykNCiAgICBDbGVtZW5zIEt1cGtlIChVbml2ZXJzaXR5IG9mIFN0cmF0aGNseWRlLCBHbGFzZ293 KQ0KDQo9PSBQdWJsaWNpdHkgY2hhaXIgYW5kIHdlYnNpdGUgPT0NCiAgICBUaG9yc3RlbiBXacOf bWFubiAoRnJpZWRyaWNoLUFsZXhhbmRlci1Vbml2ZXJzaXTDpHQgRXJsYW5nZW4tTsO8cm5iZXJn LCBHZXJtYW55KQ0KDQo9PSBTdGVlcmluZyBjb21taXR0ZWUgPT0NCiAgICBDb3JpbmEgQ2lyc3Rl YSAoVW5pdmVyc2l0eSBvZiBTb3V0aGFtcHRvbiwgVW5pdGVkIEtpbmdkb20pDQogICAgSGVsbGUg SHZpZCBIYW5zZW4gKFVuaXZlcnNpdHkgb2YgR3JvbmluZ2VuLCBUaGUgTmV0aGVybGFuZHMpDQog ICAgSWNoaXJvIEhhc3VvIChOYXRpb25hbCBJbnN0aXR1dGUgb2YgSW5mb3JtYXRpY3MsIEphcGFu KQ0KICAgIEJhcnQgSmFjb2JzIChSYWRib3VkIFVuaXZlcnNpdHkgTmlqbWVnZW4sIFRoZSBOZXRo ZXJsYW5kcykNCiAgICBEYW5pZWxhIFBldHJpxZ9hbiAoSVJJRiwgVW5pdmVyc2l0w6kgUGFyaXMt Q2l0w6ksIEZyYW5jZSkNCiAgICBKdXJyaWFhbiBSb3QgKFJhZGJvdWQgVW5pdmVyc2l0eSBOaWpt ZWdlbiwgVGhlIE5ldGhlcmxhbmRzKQ0KICAgIEx1dHogU2NocsO2ZGVyIChGcmllZHJpY2gtQWxl eGFuZGVyIFVuaXZlcnNpdMOkdCBFcmxhbmdlbi1Ow7xybmJlcmcsIEdlcm1hbnkpDQogICAgQWxl eGFuZHJhIFNpbHZhIChDb3JuZWxsIFVuaXZlcnNpdHksIFVuaXRlZCBTdGF0ZXMpDQogICAgSGVu bmluZyBVcmJhdCAoRnJpZWRyaWNoLUFsZXhhbmRlci1Vbml2ZXJzaXTDpHQgRXJsYW5nZW4tTsO8 cm5iZXJnLCBHZXJtYW55KQ0KICAgIEZhYmlvIFphbmFzaSAoVW5pdmVyc2l0eSBDb2xsZWdlIExv bmRvbiwgVW5pdGVkIEtpbmdkb20pDQoNCj09PT0gU3VibWlzc2lvbiBndWlkZWxpbmVzID09PT0N Cg0KV2Ugc29saWNpdCB0d28gdHlwZXMgb2YgY29udHJpYnV0aW9uczogcmVndWxhciBwYXBlcnMg YW5kIHNob3J0IGNvbnRyaWJ1dGlvbnMuIFJlZ3VsYXIgcGFwZXJzIG11c3QgYmUgb3JpZ2luYWws IHVucHVibGlzaGVkLCBhbmQgbm90IHN1Ym1pdHRlZCBmb3IgcHVibGljYXRpb24gZWxzZXdoZXJl LiBSZWd1bGFyIHBhcGVycyBzaG91bGQgYmUgYXQgbW9zdCAxOCBwYWdlcyBsb25nIGluIFNwcmlu Z2VyIExOQ1Mgc3R5bGUsIGV4Y2x1ZGluZyByZWZlcmVuY2VzLiBBIGNsZWFybHkgbWFya2VkIGFw cGVuZGl4IGNvbnRhaW5pbmcgdGVjaG5pY2FsIHByb29mcyBjYW4gYmUgYWRkZWQsIGJ1dCB0aGlz IHdpbGwgbm90IGJlIHB1Ymxpc2hlZCBpbiB0aGUgcHJvY2VlZGluZ3MuIE5vdGUgdGhhdCB0aGUg cmV2aWV3ZXJzIGFyZSBub3Qgb2JsaWdlZCB0byByZWFkIHRoZSBhcHBlbmRpeCwgYW5kIHRoZSBt ZXJpdHMgb2YgdGhlIHBhcGVyIHNob3VsZCBiZSBjbGVhciBmcm9tIHRoZSBtYWluIHRleHQuDQoN ClNob3J0IGNvbnRyaWJ1dGlvbnMgbWF5IGRlc2NyaWJlIHdvcmsgaW4gcHJvZ3Jlc3MsIG9yIHN1 bW1hcmlzZSB3b3JrIHN1Ym1pdHRlZCB0byBhIGNvbmZlcmVuY2Ugb3Igd29ya3Nob3AgZWxzZXdo ZXJlLiBUaGV5IHNob3VsZCBiZSBubyBtb3JlIHRoYW4gdHdvIHBhZ2VzIGluY2x1ZGluZyByZWZl cmVuY2VzLg0KDQpSZWd1bGFyIHBhcGVycyBhbmQgc2hvcnQgY29udHJpYnV0aW9ucyBtdXN0IGJl IHN1Ym1pdHRlZCBlbGVjdHJvbmljYWxseSBhcyBhIFBERiBmaWxlIHZpYSB0aGUgRWFzeWNoYWly IHN5c3RlbSBhdA0KDQpodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9Y21j czIwMjYNCg0KVGhlIHByb2NlZWRpbmdzIG9mIENNQ1MgMjAyNiB3aWxsIGluY2x1ZGUgYWxsIGFj Y2VwdGVkIHJlZ3VsYXIgcGFwZXJzIGFuZCB3aWxsIGJlIHB1Ymxpc2hlZCBwb3N0LWNvbmZlcmVu Y2UgYXMgYSBTcHJpbmdlciB2b2x1bWUgaW4gdGhlIElGSVAtTE5DUyBzZXJpZXMuIEFjY2VwdGVk IHNob3J0IGNvbnRyaWJ1dGlvbnMgd2lsbCBiZSBidW5kbGVkIGluIGEgdGVjaG5pY2FsIHJlcG9y dC4NCg0KDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpI YXNrZWxsIG1haWxpbmcgbGlzdCAtLSBoYXNrZWxsQGhhc2tlbGwub3JnClRvIHVuc3Vic2NyaWJl IHNlbmQgYW4gZW1haWwgdG8gaGFza2VsbC1sZWF2ZUBoYXNrZWxsLm9yZwo=