From: "Cliff Lynch cliff@cni.org" Sender: To: CNI-ANNOUNCE Date: Sat, 21 Dec 2019 03:01:31 -0500 Message-ID: X-Original-Return-Path: Received: from [73.193.181.76] (account clifford@cni.org HELO [192.168.1.18]) by cni.org (CommuniGate Pro SMTP 6.2.7) with ESMTPSA id 36035728 for cni-announce@cni.org; Thu, 19 Dec 2019 23:49:11 -0500 X-Original-Date: Thu, 19 Dec 2019 23:44:08 -0500 X-Original-To: cni-announce@cni.org X-Original-Message-ID: <20191219234408744637.e149366f@cni.org> Subject: Recounting Algorithms Workshop, Toronto, CA, 7-8 May 2020 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 X-Mailer: GyazMail version 1.6.1 VGhpcyBpcyB0byBteSBrbm93bGVkZ2UgYSByYXRoZXIgdW5pcXVlIHdvcmtzaG9wIHRoYXQg c2hvdWxkIGJlIG9mIGludGVyZXN0IHRvIG1hbnkgaW4gdGhlIENOSSBjb21tdW5pdHksIGFu ZCBJIHdhbnRlZCB0byBzaGFyZSB0aGUgY2FsbCBmb3IgcGFwZXJzLiANCg0KV2l0aCBiZXN0 IHdpc2hlcyBmb3IgdGhlIGhvbGlkYXlzIGFuZCB0aGUgbmV3IHllYXIuIA0KDQpDbGlmZm9y ZCBMeW5jaA0KRGlyZWN0b3IsIENOSQ0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0NCg0KwqANClJlY291bnRpbmcgQWxnb3JpdGhtczogQSBXb3Jrc2hvcCBvbiBDcml0aWNh bCBBbGdvcml0aG0gU3R1ZGllcyBpbiB0aGUgTGlicmFyeQ0KVW5pdmVyc2l0eSBvZiBUb3Jv bnRvIE1pc3Npc3NhdWdhIExpYnJhcnkNCk1heSA3LTgsIDIwMjANCmh0dHBzOi8vd3d3LnJl Y291bnRpbmcubmV0Lw0KwqANCkNhbGwgZm9yIFByb3Bvc2Fscw0KSG93IGNhbiBsaWJyYXJp ZXMgYW5kIGFyY2hpdmVzIGJlc3QgY29udHJpYnV0ZSB0byBlbWVyZ2luZyBjcml0aWNhbCBk aXNjb3Vyc2VzIGFyb3VuZCBhbGdvcml0aG1zLCBtYWNoaW5lIGxlYXJuaW5nLCBhbmQgYXJ0 aWZpY2lhbCBpbnRlbGxpZ2VuY2U/IFJlY291bnRpbmcgQWxnb3JpdGhtcyBpcyBhIHR3by1k YXkgd29ya3Nob3AsIHN1cHBvcnRlZCBieSB0aGUgQ291bmNpbCBvbiBMaWJyYXJ5IGFuZCBJ bmZvcm1hdGlvbiBSZXNvdXJjZXMgYW5kIGhvc3RlZCBieSB0aGUgVW5pdmVyc2l0eSBvZiBU b3JvbnRvIE1pc3Npc3NhdWdhIExpYnJhcnksIHRoYXQgYWltcyB0byBlbnJpY2ggdGhlIGlu dGVyc2VjdGlvbnMgb2YgY3JpdGljYWwgYWxnb3JpdGhtIHN0dWRpZXMgYW5kIGFjYWRlbWlj IGxpYnJhcmlhbnNoaXAuDQrCoA0KRWZmb3J0cyB0byBoaXN0b3JpY2l6ZSwgY3VsdHVyYWxs eSBzaXR1YXRlLCBhbmQgZm9yZWdyb3VuZCBhbGdvcml0aG1pYyBzeXN0ZW1zIGFzIG1hbmlm ZXN0YXRpb25zIG9mIGJpYXMgYW5kIHBvd2VyIGhhdmUgZmxvdXJpc2hlZCByZWNlbnRseS4g V29yayBpbiB0aGlzIGFyZWEgaGFzIGNvbnRyaWJ1dGVkIGltcG9ydGFudCBpbnNpZ2h0cyBp bnRvIHRoZSBvZnRlbiBvcHByZXNzaXZlIG9wZXJhdGlvbmFsIGNvbmRpdGlvbnMgb2Ygc3lz dGVtcyB1c2VkIHRvIGF1dG9tYXRlIHRhc2tzIHN1Y2ggYXMgaGlyaW5nLCBjcmltaW5hbCBy aXNrIGFzc2Vzc21lbnQsIHN1cHBseSBjaGFpbiBtYW5hZ2VtZW50LCB3ZWIgcGFnZSByYW5r aW5nLCBhbmQgc3VydmVpbGxhbmNlLiBUaGUgcm9idXN0bmVzcyBvZiB0aGlzIGdyb3dpbmcg ZmllbGQgb2YgaW5xdWlyeSBpcyBkZW1vbnN0cmF0ZWQgaW4gdGhlIHZhcmllZCBpbnN0aXR1 dGlvbmFsIGJhY2tncm91bmRzIG9mIHRob3NlIHdobyBoYXZlIGNvbnRyaWJ1dGVkIHRvIGl0 4oCUdGhleSBpbmNsdWRlIGpvdXJuYWxpc3RzLCBhcnRpc3RzLCBhZHZvY2F0ZXMsIGFuZCBh Y2FkZW1pYyByZXNlYXJjaGVycyBmcm9tIGFjcm9zcyB0aGUgZGlzY2lwbGluYXJ5IHNwZWN0 cnVtLg0KwqANCkxpYnJhcmlhbnMgYW5kIGFyY2hpdmlzdHMgYXJlIGJlZ2lubmluZyB0byBp bmNvcnBvcmF0ZSBhc3BlY3RzIG9mIHRoaXMgY3JpdGljYWwgZGlzY291cnNlIHRocm91Z2gg cHJvamVjdHMgdGhhdCBhZHZhbmNlIGFsZ29yaXRobWljIGxpdGVyYWN5IGFuZCBpbml0aWF0 aXZlcywgbGlrZSBJbmZvcm1hdGlvbiBNYWludGFpbmVycywgdGhhdCBlbXBoYXNpemUgdGhl IGludGVyc2VjdGlvbiBvZiBpbmZvcm1hdGlvbiB0ZWNobm9sb2d5LCBkYXRhIGdvdmVybmFu Y2UsIGFuZCBzb2NpYWwganVzdGljZS4gUmVsYXRlZGx5LCBpbml0aWF0aXZlcyBzdWNoIGFz IEVtdWxhdGlvbiBhcyBhIFNlcnZpY2UgYW5kIENvbGxlY3Rpb25zIGFzIERhdGEgc3VnZ2Vz dCBuZXcgc2VydmljZXMgYW5kIGluZnJhc3RydWN0dXJlcyB0aGF0IG1pZ2h0IGZhY2lsaXRh dGUgYW5hbHlzaXMgb2YgYWxnb3JpdGhtaWMgc3lzdGVtcy4NCsKgDQpXZSBpbnZpdGUgcHJv cG9zYWxzIGZvciBwZWRhZ29naWNhbCByZXNvdXJjZXMsIGNyZWF0aXZlIHByb2plY3RzLCBh bmQgbGlicmFyeSBzZXJ2aWNlcyB0aGF0IGV4cGxvcmUgaG93IGxpYnJhcmllcyBjYW4gc3Vw cG9ydCBhbmQgYnVpbGQgb24gaW52ZXN0aWdhdGlvbnMgb2YgYWxnb3JpdGhtaWMgc3lzdGVt cyAoaW5jbHVkaW5nLCBtYWNoaW5lIGxlYXJuaW5nIGFuZCBBSSkgYW5kIHRoZWlyIGVuYWJs aW5nIHNvY2lhbCBjb25kaXRpb25zLiBXaGlsZSBwcm9wb3NhbHMgc2hvdWxkIGJlIG9yaWVu dGVkIHRvd2FyZCB0aGUgbGlicmFyeSBhcyBhIGNvbnRleHQgZm9yIHN1c3RhaW5pbmcgYW5k IHN1cHBvcnRpbmcgaW5zdHJ1Y3Rpb24gYW5kIGNyaXRpY2FsIGlucXVpcnksIHdlIGVuY291 cmFnZSBzdWJtaXNzaW9ucyBmcm9tIG5vbi1saWJyYXJpYW5zLCBwYXJ0aWN1bGFybHkgZnJv bSBlZHVjYXRvcnMsIHJlc2VhcmNoZXJzLCBncmFkdWF0ZSBzdHVkZW50cywgYXJ0aXN0cywg am91cm5hbGlzdHMgYW5kIGFkdm9jYXRlcy4gUG90ZW50aWFsIHRoZW1lcyBpbmNsdWRlIGJ1 dCBhcmUgbm90IGxpbWl0ZWQgdG86DQrCoA0KCeKAoglQcm9qZWN0cyB0byBjb2xsZWN0LCBw cmVzZXJ2ZSwgYW5kIGN1cmF0ZSBtYXRlcmlhbHMgcmVsZXZhbnQgdG8gdGhlIHN0dWR5IG9m IGFsZ29yaXRobWljIHN5c3RlbXMuDQoJ4oCiCVJlc291cmNlcyBmb3IgYWRkcmVzc2luZyBl bWVyZ2luZyBhc3BlY3RzIG9mIGluZm9ybWF0aW9uIGFuZCBkaWdpdGFsIGxpdGVyYWN5IHJl bGF0ZWQgdG8gbWFjaGluZSBsZWFybmluZyBhbmQgYXJ0aWZpY2lhbCBpbnRlbGxpZ2VuY2Uu DQoJ4oCiCVByb2plY3RzIHRoYXQgcmVmcmFtZSBjb3JlIHZhbHVlcyBhbmQgcHJhY3RpY2Vz IChzdWNoIGFzIGFjY2VzcyBhbmQgbGl0ZXJhY3kpIGluIGxpZ2h0IG9mIHdvcmsgZnJvbSBj cml0aWNhbCBhbGdvcml0aG0gc3R1ZGllcy4NCsKgDQpJbnZpdGVkIHdvcmtzaG9wIHBhcnRp Y2lwYW50cyB3aWxsIHByZXNlbnQgdGhlaXIgcHJvcG9zYWxzIChpbiBkcmFmdCBvciBwcm90 b3R5cGUgZm9ybSkgYW5kIGVuZ2FnZSBpbiB3b3Jrc2hvcCBhY3Rpdml0aWVzIHRvIHJlZmlu ZSBhbmQgZGV2ZWxvcCB0aGVtIHVzaW5nIGNvbnN0cnVjdGl2ZSBpbnB1dCBmcm9tIHRoZSBn cm91cC4gV29ya3Nob3BwZWQgcHJvamVjdHMgd2lsbCBiZSBzaGFyZWQgYXMgYW4gb25saW5l IHJlc291cmNlIGZvbGxvd2luZyB0aGUgd29ya3Nob3AuDQrCoA0KU3VibWlzc2lvbnMNClN1 Ym1pc3Npb25zIHNob3VsZCBpbmNsdWRlIGEgcHJvamVjdCBhYnN0cmFjdCAoNTAwLXdvcmQg bWF4KSBhbmQgYmlvICg1MCB3b3JkIG1heCkgZm9yIGVhY2ggcHJlc2VudGVyLiBJZiBzdWJt aXR0aW5nIHdpdGggY28tYXV0aG9ycywgcGxlYXNlIGxpbWl0IHRoZSBncm91cCB0byBubyBt b3JlIHRoYW4gdGhyZWUgcHJlc2VudGVycy4gUGxlYXNlIHN1Ym1pdCBhbGwgbWF0ZXJpYWxz IHZpYSBlbWFpbMKgcmVjb3VudGluZ2FsZ3NAZ21haWwuY29twqBieSBKYW51YXJ5IDE3LCAy MDIwLiBTdWNjZXNzZnVsIGFwcGxpY2FudHMgd2lsbCBiZSBub3RpZmllZCBvZiBhY2NlcHRh bmNlIGJ5IEZlYnJ1YXJ5IDcsIDIwMjAuIEVtYWlswqByZWNvdW50aW5nYWxnc0BnbWFpbC5j b23CoHdpdGggYWRkaXRpb25hbCBxdWVzdGlvbnMuDQoNCkNvb3JkaW5hdG9ycw0KU2V0aCBF cmlja3NvbiAoUGVubiBTdGF0ZSBVbml2ZXJzaXR5IExpYnJhcmllcykNCkNocmlzIFlvdW5n IChVbml2ZXJzaXR5IG9mIFRvcm9udG8gTWlzc2lzc2F1Z2EgTGlicmFyeSkNCkFuZHJldyBN ZWFkZSBNY0dlZSAoQ2FybmVnaWUgTWVsbG9uIFVuaXZlcnNpdHkgTGlicmFyaWVzKQ0KSnVz dGluIFNoYW5rcyAoTW9udGFuYSBTdGF0ZSBVbml2ZXJzaXR5IExpYnJhcnkpDQpXZW5keSBI b2kgWWFuIFdvbmcgKENoaW5lc2UgVW5pdmVyc2l0eSBvZiBIb25nIEtvbmcgTGlicmFyeSkN CsKgDQrCoA0K