Richard Bird Distinguished Dissertation Award - Call for Nominations
"Graham Hutton (staff)" <graham.hutton-QabDm/[email protected]> Mon, 1 Jun 2026 15:13:18 +0000
| Newsgroups | gmane.comp.lang.agda,gmane.comp.lang.haskell.general,gmane.comp.lang.haskell.cafe,gmane.comp.science.types.announce |
|---|---|
| Message-ID | <[email protected]> |
RGVhciBhbGwsDQoNCkknbSBwbGVhc2VkIHRvIGFubm91bmNlIHRoYXQgSkZQIGlzIGVzdGFibGlz aGluZyB0aGUgUmljaGFyZCBCaXJkDQpEaXN0aW5ndWlzaGVkIERpc3NlcnRhdGlvbiBBd2FyZCwg dG8gcmVjb2duaXNlIGFuIG91dHN0YW5kaW5nIFBoRA0KZGlzc2VydGF0aW9uIGluIGZ1bmN0aW9u YWwgcHJvZ3JhbW1pbmcuICBQbGVhc2Ugc2hhcmUhDQoNCkJlc3Qgd2lzaGVzLA0KDQpHcmFoYW0g SHV0dG9uDQoNCg0KDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PQ0KDQpDQUxMIEZPUiBOT01JTkFUSU9OUw0KDQpSaWNoYXJk IEJpcmQgRGlzdGluZ3Vpc2hlZCBEaXNzZXJ0YXRpb24gQXdhcmQgMjAyNQ0KDQpEZWFkbGluZTog MzFzdCBBdWd1c3QgMjAyNg0KDQpodHRwOi8vdGlueXVybC5jb20vamZwLWJpcmQtYXdhcmQNCg0K PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0NCg0KT1ZFUlZJRVcNCg0KVGhlIEpvdXJuYWwgb2YgRnVuY3Rpb25hbCBQcm9ncmFt bWluZyBpcyBwbGVhc2VkIHRvIGVzdGFibGlzaA0KdGhlIFJpY2hhcmQgQmlyZCBEaXN0aW5ndWlz aGVkIERpc3NlcnRhdGlvbiBBd2FyZCwgdG8gcmVjb2duaXNlDQphbiBvdXRzdGFuZGluZyBQaEQg ZGlzc2VydGF0aW9uIGluIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcuDQoNClJpY2hhcmQgQmlyZCAo MTk0My0yMDIyKSB3YXMgb25lIG9mIHRoZSBsZWFkaW5nIGZpZ3VyZXMgaW4NCmZ1bmN0aW9uYWwg cHJvZ3JhbW1pbmcuICBIZSB3YXMgYSBQcm9mZXNzb3IgaW4gT3hmb3JkLCB3aGVyZQ0KaGUgZm91 bmRlZCB0aGUgQWxnZWJyYSBvZiBQcm9ncmFtbWluZyBncm91cCwgYW5kIHNlcnZlZCBhcw0KRGly ZWN0b3Igb2YgdGhlIENvbXB1dGluZyBMYWJvcmF0b3J5LiAgUmljaGFyZCBpcyByZW5vd25lZA0K Zm9yIGhpcyBtYW55IGJvb2tzIGFuZCBwZWFybHMgb24gZnVuY3Rpb25hbCBwcm9ncmFtbWluZywN CndoaWNoIHNldCBhIGxhc3Rpbmcgc3RhbmRhcmQgZm9yIGNsZWFyIGFuZCBlbGVnYW50IHdyaXRp bmcuDQpJdCBzZWVtcyBmaXR0aW5nIHRoYXQgYW4gYXdhcmQgYmUgZXN0YWJsaXNoZWQgaW4gaGlz IG5hbWUNCnRvIGZ1cnRoZXIgZW5jb3VyYWdlIHRoZXNlIHZhbHVlcyBpbiB0aGUgZmllbGQuDQoN ClRoZSBhd2FyZCBpbmNsdWRlcyBhIHByaXplIG9mIMKjMSwwMDAuICBGdW5kaW5nIGZvciB0aGUg cHJpemUNCmlzIHN1cHBvcnRlZCBieSBhIGdlbmVyb3VzIGRvbmF0aW9uIGZyb20gUmljaGFyZCBo aW1zZWxmIHRvDQpmdXJ0aGVyIHRoZSBjYXVzZSBvZiBmdW5jdGlvbmFsIHByb2dyYW1taW5nLg0K DQpDUklURVJJQQ0KDQpFbGlnaWJsZSBkaXNzZXJ0YXRpb25zIG11c3QgaGF2ZSBiZWVuIGNvbXBs ZXRlZCBpbiAyMDI1Lg0KRGVwZW5kaW5nIG9uIHRoZSBpbnN0aXR1dGlvbiwgdGhpcyBtYXkgYmUg dGhlIGRhdGUgb2YgdGhlIHZpdmEsDQpjb3JyZWN0aW9ucyBiZWluZyBhcHByb3ZlZCwgZ3JhZHVh dGlvbiBjZXJlbW9ueSwgb3Igb3RoZXJ3aXNlLg0KDQpUaGUgYXdhcmQgaXMgb3BlbiB0byBhbGwg dG9waWNzIHdpdGhpbiB0aGUgcmVtaXQgb2YgSkZQLCB3aXRoDQphIHBhcnRpY3VsYXIgZW1waGFz aXMgb24gZGlzc2VydGF0aW9ucyB0aGF0IHJlZmxlY3QgUmljaGFyZCdzDQpvd24gdmFsdWVzIG9m IGNsYXJpdHksIHNpbXBsaWNpdHkgYW5kIGVsZWdhbmNlLiAgRm9yIGENCmRpc3NlcnRhdGlvbiB0 byBiZSBjb25zaWRlcmVkIGZvciB0aGUgYXdhcmQgaXQgc2hvdWxkOg0KDQotIFJlYWNoIGEgaGln aCBzdGFuZGFyZCBvZiBleHBvc2l0aW9uOw0KDQotIE1ha2UgYSBub3Rld29ydGh5IGNvbnRyaWJ1 dGlvbiB0byB0aGUgc3ViamVjdDsNCg0KLSBQbGFjZSB0aGUgcmVzdWx0cyBpbiB0aGUgd2lkZXIg Y29udGV4dCBvZiBjb21wdXRlciBzY2llbmNlLg0KDQpOT01JTkFUSU9OUw0KDQpQbGVhc2Ugc3Vi bWl0IHRoZSBmb2xsb3dpbmcgaW5mb3JtYXRpb24gdG8gdGhlIGF3YXJkIGNoYWlyLA0KPGdyYWhh bS5odXR0b25Abm90dGluZ2hhbS5hYy51az4sIGJ5IDMxc3QgQXVndXN0IDIwMjY6DQoNCi0gVHdv IGxldHRlcnMgb2Ygc3VwcG9ydCwgZXhwbGFpbmluZyB3aHkgdGhlIGRpc3NlcnRhdGlvbg0KICBz aG91bGQgYmUgY29uc2lkZXJlZCBmb3IgdGhlIGF3YXJkLiAgT25lIGxldHRlciBzaG91bGQgYmUN CiAgZnJvbSB0aGUgYWR2aXNvci9zdXBlcnZpc29yLCBhbmQgb25lIGZyb20gYW4gaW5kZXBlbmRl bnQNCiAgc291cmNlIHdpdGggbm8gY29uZmxpY3Qgb2YgaW50ZXJlc3Qgd2l0aCB0aGUgY2FuZGlk YXRlLA0KICBzdWNoIGFzIGFuIGV4dGVybmFsIGV4YW1pbmVyIG9yIG90aGVyIGV4cGVydCBpbiB0 aGUgZmllbGQuDQoNCi0gQSBjb3B5IG9mIHRoZSBkaXNzZXJ0YXRpb24gaXRzZWxmLg0KDQpBV0FS RCBDT01NSVRURUUNCg0KR3JhaGFtIEh1dHRvbiAoY2hhaXIpLCBVbml2ZXJzaXR5IG9mIE5vdHRp bmdoYW0NCk1hdHRoZXcgRmxhdHQsIFVuaXZlcnNpdHkgb2YgVXRhaA0KSmVyZW15IEdpYmJvbnMs IFVuaXZlcnNpdHkgb2YgT3hmb3JkDQpGcmFuw6dvaXMgUG90dGllciwgSU5SSUENCldvdXRlciBT d2llcnN0cmEsIFVuaXZlcnNpdHkgb2YgVXRyZWNodA0KTmluZ25pbmcgWGllLCBVbml2ZXJzaXR5 IG9mIFRvcm9udG8NCg0KVGhlIEpGUCBlZGl0b3JzLWluLWNoaWVmIHNlcnZlIGFzIG9ic2VydmVy cyBvZiB0aGUgY29tbWl0dGVlLg0KDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQ0KDQpUaGlzIG1lc3NhZ2UgYW5kIGFueSBh dHRhY2htZW50IGFyZSBpbnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUgYW5kIG1heSBj b250YWluIGNvbmZpZGVudGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVjZWl2ZWQgdGhp cyBtZXNzYWdlIGluIGVycm9yLCBwbGVhc2UgY29udGFjdCB0aGUgc2VuZGVyIGFuZCBkZWxldGUg dGhlIGVtYWlsIGFuZCBhdHRhY2htZW50LiBBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2Vk IGJ5IHRoZSBhdXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QgbmVjZXNzYXJpbHkgcmVmbGVjdCB0 aGUgdmlld3Mgb2YgdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwgY29tbXVuaWNh dGlvbnMgd2l0aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQg d2hlcmUgcGVybWl0dGVkIGJ5IGxhdy4NCg==