Richard Bird Distinguished Dissertation Award - Final Call for Nominations

"Graham Hutton (staff) via Haskell-Cafe" <[email protected]> Tue, 4 Aug 2026 06:55:34 +0000
Newsgroups gmane.comp.lang.haskell.cafe,gmane.comp.lang.haskell.general,gmane.comp.science.types.announce
Message-ID <[email protected]>
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09DQoNCkZJTkFMIENBTEwgRk9SIE5PTUlOQVRJT05TDQoNClJpY2hhcmQgQmlyZCBE
aXN0aW5ndWlzaGVkIERpc3NlcnRhdGlvbiBBd2FyZCAyMDI1DQoNCkRlYWRsaW5lOiAzMXN0IEF1
Z3VzdCAyMDI2DQoNCmh0dHA6Ly90aW55dXJsLmNvbS9qZnAtYmlyZC1hd2FyZA0KDQo9PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PQ0KDQpPVkVSVklFVw0KDQpUaGUgSm91cm5hbCBvZiBGdW5jdGlvbmFsIFByb2dyYW1taW5nIGlz
IHBsZWFzZWQgdG8gZXN0YWJsaXNoDQp0aGUgUmljaGFyZCBCaXJkIERpc3Rpbmd1aXNoZWQgRGlz
c2VydGF0aW9uIEF3YXJkLCB0byByZWNvZ25pc2UNCmFuIG91dHN0YW5kaW5nIFBoRCBkaXNzZXJ0
YXRpb24gaW4gZnVuY3Rpb25hbCBwcm9ncmFtbWluZy4NCg0KUmljaGFyZCBCaXJkICgxOTQzLTIw
MjIpIHdhcyBvbmUgb2YgdGhlIGxlYWRpbmcgZmlndXJlcyBpbg0KZnVuY3Rpb25hbCBwcm9ncmFt
bWluZy4gIEhlIHdhcyBhIFByb2Zlc3NvciBpbiBPeGZvcmQsIHdoZXJlDQpoZSBmb3VuZGVkIHRo
ZSBBbGdlYnJhIG9mIFByb2dyYW1taW5nIGdyb3VwLCBhbmQgc2VydmVkIGFzDQpEaXJlY3RvciBv
ZiB0aGUgQ29tcHV0aW5nIExhYm9yYXRvcnkuICBSaWNoYXJkIGlzIHJlbm93bmVkDQpmb3IgaGlz
IG1hbnkgYm9va3MgYW5kIHBlYXJscyBvbiBmdW5jdGlvbmFsIHByb2dyYW1taW5nLA0Kd2hpY2gg
c2V0IGEgbGFzdGluZyBzdGFuZGFyZCBmb3IgY2xlYXIgYW5kIGVsZWdhbnQgd3JpdGluZy4NCkl0
IHNlZW1zIGZpdHRpbmcgdGhhdCBhbiBhd2FyZCBiZSBlc3RhYmxpc2hlZCBpbiBoaXMgbmFtZQ0K
dG8gZnVydGhlciBlbmNvdXJhZ2UgdGhlc2UgdmFsdWVzIGluIHRoZSBmaWVsZC4NCg0KVGhlIGF3
YXJkIGluY2x1ZGVzIGEgcHJpemUgb2YgwqMxLDAwMC4gIEZ1bmRpbmcgZm9yIHRoZSBwcml6ZQ0K
aXMgc3VwcG9ydGVkIGJ5IGEgZ2VuZXJvdXMgZG9uYXRpb24gZnJvbSBSaWNoYXJkIGhpbXNlbGYg
dG8NCmZ1cnRoZXIgdGhlIGNhdXNlIG9mIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcuDQoNCkNSSVRF
UklBDQoNCkVsaWdpYmxlIGRpc3NlcnRhdGlvbnMgbXVzdCBoYXZlIGJlZW4gY29tcGxldGVkIGlu
IDIwMjUuDQpEZXBlbmRpbmcgb24gdGhlIGluc3RpdHV0aW9uLCB0aGlzIG1heSBiZSB0aGUgZGF0
ZSBvZiB0aGUgdml2YSwNCmNvcnJlY3Rpb25zIGJlaW5nIGFwcHJvdmVkLCBncmFkdWF0aW9uIGNl
cmVtb255LCBvciBvdGhlcndpc2UuDQoNClRoZSBhd2FyZCBpcyBvcGVuIHRvIGFsbCB0b3BpY3Mg
d2l0aGluIHRoZSByZW1pdCBvZiBKRlAsIHdpdGgNCmEgcGFydGljdWxhciBlbXBoYXNpcyBvbiBk
aXNzZXJ0YXRpb25zIHRoYXQgcmVmbGVjdCBSaWNoYXJkJ3MNCm93biB2YWx1ZXMgb2YgY2xhcml0
eSwgc2ltcGxpY2l0eSBhbmQgZWxlZ2FuY2UuICBGb3IgYQ0KZGlzc2VydGF0aW9uIHRvIGJlIGNv
bnNpZGVyZWQgZm9yIHRoZSBhd2FyZCBpdCBzaG91bGQ6DQoNCi0gUmVhY2ggYSBoaWdoIHN0YW5k
YXJkIG9mIGV4cG9zaXRpb247DQoNCi0gTWFrZSBhIG5vdGV3b3J0aHkgY29udHJpYnV0aW9uIHRv
IHRoZSBzdWJqZWN0Ow0KDQotIFBsYWNlIHRoZSByZXN1bHRzIGluIHRoZSB3aWRlciBjb250ZXh0
IG9mIGNvbXB1dGVyIHNjaWVuY2UuDQoNCk5PTUlOQVRJT05TDQoNClBsZWFzZSBzdWJtaXQgdGhl
IGZvbGxvd2luZyBpbmZvcm1hdGlvbiB0byB0aGUgYXdhcmQgY2hhaXIsDQo8Z3JhaGFtLmh1dHRv
bkBub3R0aW5naGFtLmFjLnVrPiwgYnkgMzFzdCBBdWd1c3QgMjAyNjoNCg0KLSBUd28gbGV0dGVy
cyBvZiBzdXBwb3J0LCBleHBsYWluaW5nIHdoeSB0aGUgZGlzc2VydGF0aW9uDQogIHNob3VsZCBi
ZSBjb25zaWRlcmVkIGZvciB0aGUgYXdhcmQuICBPbmUgbGV0dGVyIHNob3VsZCBiZQ0KICBmcm9t
IHRoZSBhZHZpc29yL3N1cGVydmlzb3IsIGFuZCBvbmUgZnJvbSBhbiBpbmRlcGVuZGVudA0KICBz
b3VyY2Ugd2l0aCBubyBjb25mbGljdCBvZiBpbnRlcmVzdCB3aXRoIHRoZSBjYW5kaWRhdGUsDQog
IHN1Y2ggYXMgYW4gZXh0ZXJuYWwgZXhhbWluZXIgb3Igb3RoZXIgZXhwZXJ0IGluIHRoZSBmaWVs
ZC4NCg0KLSBBIGNvcHkgb2YgdGhlIGRpc3NlcnRhdGlvbiBpdHNlbGYuDQoNCkFXQVJEIENPTU1J
VFRFRQ0KDQpHcmFoYW0gSHV0dG9uIChjaGFpciksIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbQ0K
TWF0dGhldyBGbGF0dCwgVW5pdmVyc2l0eSBvZiBVdGFoDQpKZXJlbXkgR2liYm9ucywgVW5pdmVy
c2l0eSBvZiBPeGZvcmQNCkZyYW7Dp29pcyBQb3R0aWVyLCBJTlJJQQ0KV291dGVyIFN3aWVyc3Ry
YSwgVW5pdmVyc2l0eSBvZiBVdHJlY2h0DQpOaW5nbmluZyBYaWUsIFVuaXZlcnNpdHkgb2YgVG9y
b250bw0KDQpUaGUgSkZQIGVkaXRvcnMtaW4tY2hpZWYgc2VydmUgYXMgb2JzZXJ2ZXJzIG9mIHRo
ZSBjb21taXR0ZWUuDQoNCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09DQoNClRoaXMgbWVzc2FnZSBhbmQgYW55IGF0dGFjaG1l
bnQgYXJlIGludGVuZGVkIHNvbGVseSBmb3IgdGhlIGFkZHJlc3NlZSBhbmQgbWF5IGNvbnRhaW4g
Y29uZmlkZW50aWFsIGluZm9ybWF0aW9uLiBJZiB5b3UgaGF2ZSByZWNlaXZlZCB0aGlzIG1lc3Nh
Z2UgaW4gZXJyb3IsIHBsZWFzZSBjb250YWN0IHRoZSBzZW5kZXIgYW5kIGRlbGV0ZSB0aGUgZW1h
aWwgYW5kIGF0dGFjaG1lbnQuIEFueSB2aWV3cyBvciBvcGluaW9ucyBleHByZXNzZWQgYnkgdGhl
IGF1dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdCBuZWNlc3NhcmlseSByZWZsZWN0IHRoZSB2aWV3
cyBvZiB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLiBFbWFpbCBjb21tdW5pY2F0aW9ucyB3
aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJlIG1vbml0b3JlZCB3aGVyZSBw
ZXJtaXR0ZWQgYnkgbGF3Lg0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX18KSGFza2VsbC1DYWZlIG1haWxpbmcgbGlzdCAtLSBoYXNrZWxsLWNhZmVAaGFza2Vs
bC5vcmcKVG8gKHVuKXN1YnNjcmliZSwgbW9kaWZ5IG9wdGlvbnMgb3IgdmlldyBhcmNoaXZlcyBn
byB0bzoKT25seSBtZW1iZXJzIHN1YnNjcmliZWQgdmlhIHRoZSBtYWlsbWFuIGxpc3QgYXJlIGFs
bG93ZWQgdG8gcG9zdC4=