Third CfP: Festschrift and Workshop in Honor of David Basin (Deadline extended to 11 June 2026)
"Achim D. Brucker" <[email protected]> Mon, 27 Apr 2026 13:53:35 +0100
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <LEWZYVGA4TU4.7KGMLMK55DJB@megurogawa> |
DQpEZWFyIEZlbGxvdyBSZXNlYXJjaGVycyENCg0KT3VyIGRlYXIgY29sbGVhZ3VlIGFuZCBmcmll bmQgRGF2aWQgQmFzaW4gaXMgdHVybmluZyA2NSBpbiBEZWNlbWJlciAyMDI2IGFuZCB0aGlzIGhh cyB0byBiZSBjZWxlYnJhdGVkISBXZSB0aGVyZWZvcmUgb3JnYW5pemUgYSBGZXN0c2NocmlmdCBh bmQgYSBGZXN0IHRvIGNlbGVicmF0ZSBoaXMgYmlydGhkYXkgYW5kIGhpcyBleHRlbnNpdmUgcmVz ZWFyY2ggY29udHJpYnV0aW9ucyEgDQoNClRoZSBGZXN0L2NlbGVicmF0aW9uIGl0c2VsZiB3aWxs IGJlIGhlbGQgYXMgYSBvbmUtZGF5IGV2ZW50IG9uIHRoZSAxNXRoIG9mIEphbnVhcnkgMjAyNyBh dCBFVEggWsO8cmljaC4gV2UgaGF2ZSBhbHJlYWR5IGNoZWNrZWQgdGhhdCBEYXZpZCBpcyBhdmFp bGFibGUuIFlvdSBkbyBub3QgaGF2ZSB0byBrZWVwIGl0IGEgc2VjcmV0IC0gb24gdGhlIGNvbnRy YXJ5LCBpdCBpcyBncmVhdCBpZiB5b3Ugc2hhcmUgdGhpcyBtZXNzYWdlIHdpdGggYW55Ym9keSB3 aG8gbWlnaHQgbGlrZSB0byBjb250cmlidXRlIQ0KDQpXZSBoZXJlYnkgY29yZGlhbGx5IGludml0 ZSB5b3UgdG8gY29udHJpYnV0ZSBhbiBhcnRpY2xlIHRvIHRoZSBGZXN0c2NocmlmdCBhbmQgcHJl c2VudCBpdCBhdCB0aGUgRmVzdC4gV2Ugd2VsY29tZSBjb250cmlidXRpb25zIGluIGFsbCBhcmVh cyBjbG9zZSB0byBEYXZpZCdzIHJlc2VhcmNoIGFuZCBpbnRlcmVzdHMsIGluY2x1ZGluZyBidXQg bm90IGxpbWl0ZWQgdG8gc2VjdXJpdHksIHByaXZhY3ksIGZvcm1hbCBtZXRob2RzLCBsb2dpYywg YXV0b21hdGVkIHJlYXNvbmluZywgbW9kZWwgY2hlY2tpbmcsIHRoZW9yZW0gcHJvdmluZywgc29m dHdhcmUgZW5naW5lZXJpbmcsIGJyaWRnZSwganVnZ2xpbmcsIGJpa2luZyBhbmQgbW9yZS4gVGhl IGFydGljbGVzIHdpbGwgYmUgbGlnaHRseSByZXZpZXdlZCBieSB0aGUgRmVzdHNjaHJpZnQgY29t bWl0dGVlLCBhbmQgdGhlIHByb2NlZWRpbmdzIHdpbGwgYmUgKipwdWJsaXNoZWQgYnkgU3ByaW5n ZXIgSGVpZGVsYmVyZyBpbiB0aGUgTE5DUyBzZXJpZXMqKi4gRGF2aWQgd2lsbCBvZiBjb3Vyc2Ug bG92ZSB0byByZWNlaXZlIGEgcmVzZWFyY2ggYXJ0aWNsZSBmcm9tIHlvdSwgYnV0IGFsc28gc2hv cnQgcGVyc29uYWwgYXJ0aWNsZXMgdGhhdCBjZWxlYnJhdGUgdGhlIGhpc3RvcnkgYW5kIGZyaWVu ZHNoaXAgd2l0aCBEYXZpZCB3aWxsIGJlIHZlcnkgbXVjaCBhcHByZWNpYXRlZC4NCg0KV2Ugd291 bGQgbGlrZSB0byBzZXQgYSBkZWFkbGluZSBmb3Igc3VibWlzc2lvbnMgYXQgdGhlIDIxc3Qgb2Yg TWF5IDIwMjYgdmlhIG91ciBzdWJtaXNzaW9uIHNpdGUgPGh0dHBzOi8vZWFzeWNoYWlyLm9yZy9j b25mZXJlbmNlcy8/Y29uZj1mZXNjaGkyMDI3Pi4gQXJ0aWNsZXMgc2hvdWxkIGJlIGZvcm1hdHRl ZCBpbiBTcHJpbmdlcuKAmXMgTE5DUyBzdHlsZSBhbmQgbm90IGV4Y2VlZCA1IHBhZ2VzIGZvciBw ZXJzb25hbCBhcnRpY2xlcyBhbmQgMTYgcGFnZXMgZm9yIHNjaWVudGlmaWMgYXJ0aWNsZXMuIElm IHlvdSBoYXZlIGEgd29yayB0aGF0IHlvdSB3b3VsZCBsaWtlIHRvIGNvbnRyaWJ1dGUgdGhhdCBk b2VzIG5vdCBmaXQgaW50byB0aGlzIHBhZ2UgbGltaXQsIGl0IG1pZ2h0IGJlIHBvc3NpYmxlLCBi dXQgcGxlYXNlIHJlYWNoIG91dCB0byB1cyBmaXJzdC4gDQoNClRoZXJlIHdpbGwgYmUgbm8gcGFy dGljaXBhdGlvbiBmZWUgZm9yIHRoZSBGZXN0IGFuZCBjb2ZmZWUgYnJlYWtzLCBsdW5jaCwgYW5k IGRpbm5lciB3aWxsIGJlIGluY2x1ZGVkLiBUcmF2ZWwgYW5kIGFjY29tbW9kYXRpb24gY29zdHMg YXJlIGF0IHRoZSBleHBlbnNlIG9mIHRoZSBwYXJ0aWNpcGFudHMuIFdlIGFyZSBoYXBweSB0byBw cm92aWRlIGhvdGVsIHN1Z2dlc3Rpb25zIGZvciBaw7xyaWNoLiAgIA0KDQpTdWJtaXNzaW9uIElu Zm9ybWF0aW9uOg0KDQoqIEZvcm1hdDogMTYgcGFnZXMgaW4gTE5DUyBmb3JtYXQsIHRlbXBsYXRl cyBhdmFpbGFibGUgYXQ6DQogIDxodHRwczovL3d3dy5zcHJpbmdlci5jb20vZ3AvY29tcHV0ZXIt c2NpZW5jZS9sbmNzL2NvbmZlcmVuY2UtcHJvY2VlZGluZ3MtZ3VpZGVsaW5lcz4NCiogU3VibWlz c2lvbjogDQogIDxodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9ZmVzY2hp MjAyNz4NCiogV2Vic2l0ZSAodW5kZXIgY29uc3RydWN0aW9uKSB3aXRoIHVwZGF0ZXMgYW5kIGZ1 cnRoZXIgaW5mb3JtYXRpb246IA0KICA8aHR0cHM6Ly9mZXNjaGkyMDI3LmdpdGh1Yi5pby8+DQoq IFRpbWVsaW5lOg0KICAqIFN1Ym1pc3Npb246ICAgMTEgSnVuZSAyMDI2IChleHRlbmRlZCkNCiAg KiBOb3RpZmljYXRpb246IGVuZCBvZiBKdW5lIDIwMjYgKHRvIGJlIGNvbmZpcm1lZCkNCiAgKiBD YW1lcmEgUmVhZHkgQ29weTogZWFybHkgU2VwdGVtYmVyIDIwMjYgKHRvIGJlIGNvbmZpcm1lZCkN Cg0KDQpQbGVhc2UgbGV0IHVzIGtub3cgaWYgeW91IGhhdmUgYW55IHF1ZXN0aW9ucyENCg0KQmVz dCB3aXNoZXMNCkFjaGltIEQuIEJydWNrZXIgKFVuaXZlcnNpdHkgb2YgRXhldGVyKQ0KU2ViYXN0 aWFuIE3DtmRlcnNoZWltIChEYW5tYXJrcyBUZWtuaXNrZSBVbml2ZXJzaXRldCkNCkNocmlzdG9w aCBTcHJlbmdlciAoRVRIIFrDvHJpY2gpDQpMdWNhIFZpZ2Fuw7IgKEtpbmfigJlzIENvbGxlZ2Ug TG9uZG9uKQ0KDQoNCg0KDQoNCiAgDQotLSAgDQpQcm9mLiBBY2hpbSBCcnVja2VyIHwgQ2hhaXIg aW4gQ3liZXJzZWN1cml0eSAmIEhlYWQgb2YgR3JvdXAgfCBVbml2ZXJzaXR5IG9mIEV4ZXRlciAg DQogICAgICAgICAgIGh0dHBzOi8vd3d3LmJydWNrZXIuY2ggfCBodHRwczovL2xvZ2ljYWxoYWNr aW5nLmNvbS9ibG9nICANCiAgICAgICAgICAgICAgICAgICAgICAgICBAYWRicnVja2VyIHwgQGxv Z2ljYWxoYWNraW5nDQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwpIYXNrZWxsLUNhZmUgbWFpbGluZyBsaXN0IC0tIGhhc2tlbGwtY2FmZUBoYXNrZWxsLm9y ZwpUbyAodW4pc3Vic2NyaWJlLCBtb2RpZnkgb3B0aW9ucyBvciB2aWV3IGFyY2hpdmVzIGdvIHRv OgpPbmx5IG1lbWJlcnMgc3Vic2NyaWJlZCB2aWEgdGhlIG1haWxtYW4gbGlzdCBhcmUgYWxsb3dl ZCB0byBwb3N0Lg==