Second CfP: Festschrift and Workshop in Honor of David Basin (Deadline: 21st May 2026)
"Achim D. Brucker" <[email protected]> Tue, 10 Mar 2026 17:21:36 +0000
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <BW65GSANPSU4.6XR8W2W0ZVSN3@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 IFRpbWVsaW5lOg0KICAqIFN1Ym1pc3Npb246ICAgMjEgTWF5IDIwMjYNCiAgKiBOb3RpZmljYXRp b246IGVuZCBvZiBKdW5lIDIwMjYgKHRvIGJlIGNvbmZpcm1lZCkNCiAgKiBDYW1lcmEgUmVhZHkg Q29weTogZWFybHkgU2VwdGVtYmVyIDIwMjYgKHRvIGJlIGNvbmZpcm1lZCkNCg0KDQpQbGVhc2Ug bGV0IHVzIGtub3cgaWYgeW91IGhhdmUgYW55IHF1ZXN0aW9ucyENCg0KQmVzdCB3aXNoZXMNCkFj aGltIEQuIEJydWNrZXIgKFVuaXZlcnNpdHkgb2YgRXhldGVyKQ0KU2ViYXN0aWFuIE3DtmRlcnNo ZWltIChEYW5tYXJrcyBUZWtuaXNrZSBVbml2ZXJzaXRldCkNCkNocmlzdG9waCBTcHJlbmdlciAo RVRIIFrDvHJpY2gpDQpMdWNhIFZpZ2Fuw7IgKEtpbmfigJlzIENvbGxlZ2UgTG9uZG9uKQ0KDQoN Cg0KDQoNCiAgDQotLSAgDQpQcm9mLiBBY2hpbSBCcnVja2VyIHwgQ2hhaXIgaW4gQ3liZXJzZWN1 cml0eSAmIEhlYWQgb2YgR3JvdXAgfCBVbml2ZXJzaXR5IG9mIEV4ZXRlciAgDQogICAgICAgICAg IGh0dHBzOi8vd3d3LmJydWNrZXIuY2ggfCBodHRwczovL2xvZ2ljYWxoYWNraW5nLmNvbS9ibG9n ICANCiAgICAgICAgICAgICAgICAgICAgICAgICBAYWRicnVja2VyIHwgQGxvZ2ljYWxoYWNraW5n DQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpIYXNrZWxs LUNhZmUgbWFpbGluZyBsaXN0IC0tIGhhc2tlbGwtY2FmZUBoYXNrZWxsLm9yZwpUbyAodW4pc3Vi c2NyaWJlLCBtb2RpZnkgb3B0aW9ucyBvciB2aWV3IGFyY2hpdmVzIGdvIHRvOgpPbmx5IG1lbWJl cnMgc3Vic2NyaWJlZCB2aWEgdGhlIG1haWxtYW4gbGlzdCBhcmUgYWxsb3dlZCB0byBwb3N0Lg==