Re: [TYPES] Could we temporarily stop having conferences in the US?
Gabriel Scherer <[email protected]> Tue, 23 Sep 2025 21:44:19 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAPFanBFYC426kc4=FO+bzJUduG5mKEX-6eq_mZaRkpQ6MXSu7w@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKRGVhciBhbGwsCgpGaXJzdCBvZiBhbGwsIGxldCBtZSBub3Rl IHRoYXQgSSBoYXZlIGJlZW4gdmFndWUgc28gZmFyIGluIG15IHNwZWNpZmljCnNvdXJjZXMgb2Yg d29ycnksIGJlY2F1c2UgSSB1bmZvcnR1bmF0ZWx5IGJlbGlldmUgdGhhdCBpdCBtYXkgYmUgZGFu Z2Vyb3VzLAplc3BlY2lhbGx5IGZvciBwZW9wbGUgd29ya2luZyBpbiB0aGUgVVMsIHRvIHB1Ymxp Y2x5IHZvaWNlIGNlcnRhaW4KY3JpdGljaXNtcyBvZiB0aGUgVVMgZ292ZXJubWVudC4gSSB3b3Vs ZCByYXRoZXIgbm90IGluY2x1ZGUgcHJlY2lzZQpwb2xpdGljYWwgY29tbWVudGFyaWVzIG9uIHRo ZSBjdXJyZW50IHNpdHVhdGlvbiwgYmVjYXVzZSBJIHdvcnJ5IHRoYXQgaXQKY291bGQgbWFrZSBp dCB1bnNhZmUgZm9yIHNvbWUgb2YgdXMuICgiSGEsIGluIHRoZSBsYW5kIG9mIGZyZWUgc3BlZWNo LApwZW9wbGUgd291bGQgbm90IGJlIHN1c3BlbmRlZCBmcm9tIHRoZWlyIGpvYiBmb3IgY3JpdGlj aXppbmcgdGhlaXIKZ292ZXJubWVudCwgcmlnaHQ/IikKCk9uIFR1ZSwgU2VwIDIzLCAyMDI1IGF0 IDk6MDLigK9QTSBEZXJlayBEcmV5ZXIgPGRyZXllckBtcGktc3dzLm9yZz4gd3JvdGU6Cgo+IEl0 IHdvdWxkIGJlIGhlbHBmdWwgdG8ga25vdyBvZiBjb25jcmV0ZSBleGFtcGxlcyBvZiBhY2FkZW1p Y3Mgd2hvIHdlcmUKPiBoYXJhc3NlZCwKPiBtaXN0cmVhdGVkLCBvciBkZXRhaW5lZCBieSBnb3Zl cm5tZW50IG9mZmljaWFscyB3aGVuIHRyYXZlbGxpbmcgdG8KPiBjb25mZXJlbmNlcyBpbiB0aGUg VVMuICBNeSBpbXByZXNzaW9uIGlzIHRoYXQgdGhlcmUgYXJlIGV4dHJlbWVseSBmZXcgc3VjaAo+ IGNhc2VzIC0tIGJ1dCBJIGRvbid0IGtub3cuCj4KClRoZXJlIHdhcyBhIHdlbGwtcHVibGljaXpl ZCBjYXNlIGEgZmV3IG1vbnRocyBhZ28gb2YgYSBGcmVuY2ggcmVzZWFyY2hlcgpiZWluZyByZWZ1 c2VkIGVudHJ5IGR1ZSB0bywgYWNjb3JkaW5nIHRvIEZyZW5jaCBhdXRob3JpdGllcywgdGhlIGZh Y3QgdGhhdApwZXJzb25hbCBtZXNzYWdlcyBjcml0aWNhbCBvZiB0aGUgVVMgYWRtaW5pc3RyYXRp b24gaGFkIGJlZW4gZm91bmQgYnkgVVMKY3VzdG9tIGFnZW50cyBvbiB0aGVpciBsYXB0b3AgKApo dHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly93d3cudGhlZ3VhcmRpYW4uY29tL3Vz LW5ld3MvMjAyNS9tYXIvMTkvdHJ1bXAtbXVzay1mcmVuY2gtc2NpZW50aXN0LWRldGFpbmVkX187 ISFJQnpXTFVzIVhmN0ZiYnVPWnk5RXFwa19ERFNwS0FUemJsS19NVkVsejliUHFsMFVEdFhJdEM5 ajRXSjdvMjBsNUFSM3Fib1ZXa05KVmVrTTFnSzF5Sm1Mc09HaGhlUzNRbDlRS1hXQjFjMS1FdyQg CikuIFRoZXJlIGFyZSBhbHNvIHZhcmlvdXMgY2FzZXMgb2YgZm9yZWlnbiAqdG91cmlzdHMqIGJl aW5nIGxvY2tlZCB1cCBmb3IKdHdvIHdlZWtzIGluIElDRSBqYWlscyAoZWcuCmh0dHBzOi8vdXJs ZGVmZW5zZS5jb20vdjMvX19odHRwczovL3d3dy50aGVndWFyZGlhbi5jb20vd29ybGQvMjAyNS9t YXIvMTEvZ2VybWFuLXRvdXJpc3RzLW9yZGVhbC1yZXBvcnRlZGx5LWVuZGluZy1yZXR1cm5lZC1m cm9tLXVzLWRldGVudGlvbl9fOyEhSUJ6V0xVcyFYZjdGYmJ1T1p5OUVxcGtfRERTcEtBVHpibEtf TVZFbHo5YlBxbDBVRHRYSXRDOWo0V0o3bzIwbDVBUjNxYm9WV2tOSlZla00xZ0sxeUptTHNPR2ho ZVMzUWw5UUtYVWR6TzVCNVEkIAopLgoKRm9yIG1lIHRoZSBvYnZpb3VzIHByb2JsZW0gaXMgdGhh dCBldmVuIHRob3VnaCBhdHRlbmRpbmcgYSBjb25mZXJlbmNlIGluCnRoZSBVUyAqbWlnaHQqIGJl IHNhZmUgdG9kYXksIHdlIGFyZSB0YWxraW5nIGFib3V0IFNJR1BMQU4gY29uZmVyZW5jZXMKY29t bWl0dGluZyB0byBvcmdhbml6aW5nIGNvbmZlcmVuY2VzIHNpeCBtb250aHMsIG9uZSB5ZWFyLCB0 d28geWVhcnMgZnJvbQpub3csIGFuZCAqbm8gb25lKiBrbm93cyBob3cgdGhpbmdzIHdpbGwgYmUg YXQgdGhhdCBwb2ludCwgYW5kIEkgZG9uJ3QgdGhpbmsKdGhhdCBtYW55IHBlb3BsZSBob3BlIHRo YXQgdGhleSB3aWxsIGltcHJvdmUuIFRoaW5ncyBhcmUgZ29pbmcgYmFkLCBhbmQKbW92aW5nIGZh c3QuIFRoZSBhbW91bnQgb2YgcmlzayBpbiBpbnZpdGluZyA0MDAtcGx1cyBmb3JlaWduIHZpc2l0 b3JzIHRvCnRyYXZlbCB0byB0aGUgVVMgaW4gYSB5ZWFyIGlzIHN0YWdnZXJpbmcsIGFuZCBwZXJz b25hbGx5IEkgYmVsaWV2ZSB0aGF0IHRoZQpwZW9wbGUgd2hvIGFyZSBtYWtpbmcgdGhpcyBjaG9p Y2UgYXJlIGlycmVzcG9uc2libGUuCgpJdCBpcyBub3QgcmVhc29uYWJsZSB0byBzYXkgYXQgdGhl IHNhbWUgdGltZSAidGhlc2UgYXJlIHZlcnkgc2xvdwpwcm9jZXNzZXMsIHdlIGNvbW1pdCB0d28g eWVhcnMgaW4gYWR2YW5jZSwgYW5kIHdlIGNhbm5vdCBwb3NzaWJseSByb2xsIGJhY2sKYWZ0ZXJ3 YXJkcyIsIGFuZCB5ZXQgcGljayBsb2NhdGlvbnMgdGhhdCBoYXZlIHNlZW4gaW4gdGhlIGxhc3Qg Y291cGxlIHllYXJzCnRoZWlyIHdvcnN0IChyZWxhdGl2ZSkgZGVjbGluZSBpbiBwcmVzcyBmcmVl ZG9tLCBydWxlIG9mIGxhdywgaW5zdGl0dXRpb25hbApyZXNwZWN0IGZvciBzY2llbmNlIGFuZCB0 b2xlcmFuY2UgdG8gZm9yZWlnbmVycyBpbiBkZWNhZGVzLgoKCkFzIEkgc2FpZCwgSSB0aGluayB3 ZSBhcyBhIGNvbW11bml0eSBoYXZlIHRvIGNvbnNpZGVyIHRoZSBuZWVkcyBvZiBhbGwgUEwKPiBy ZXNlYXJjaGVycywgaW5jbHVkaW5nIG1hbnkgbm9uLVVTLWNpdGl6ZW4gcmVzZWFyY2hlcnMgd29y a2luZyBpbiB0aGUgVVMKPiBmb3Igd2hvbSBpdCB3b3VsZCBiZSBhIHNpZ25pZmljYW50IGhhcmRz aGlwIGlmIGFsbCBjb25mZXJlbmNlcyB0b29rIHBsYWNlCj4gb3V0c2lkZSB0aGUgVVMuCj4KCkkg ZmVlbCB0cnVseSBzb3JyeSBmb3IgdGhlIHBlb3BsZSBiZWluZyBzdHVjayBpbiB0aGUgVVMgd2l0 aCBzaW5nbGUtZW50cnkKdmlzYXMgLS0gdGhhbmtzIEp1bGlhIGZvciBicmluZ2luZyB0aGlzIG11 Y2gtbmVlZGVkIGFuZ2xlIHRvIHRoZQpjb252ZXJzYXRpb24uIFRoaXMgaXMgYWxzbyBub3Qgc29t ZXRoaW5nIG5ldy4gKERpZCBJIG1pc3Mgc29tZXRoaW5nIGFuZCBpcwp0aGVyZSBhIHNwZWNpZmlj IHJlYXNvbiB3aHkgdGhlcmUgd291bGQgYmUgbW9yZSBzaW5nbGUtZW50cnkgYWNhZGVtaWNzIGlu CnRoZSBjdXJyZW50IHByZXNpZGVudGlhbCB0ZXJtIGFzIGJlZm9yZT8pIEkgd291bGQgYmUgaGFw cHkgdG8gaGVscApvcmdhbml6aW5nIHRoZSBiaS1sb2NhdGlvbiBvZiBjZXJ0YWluIGV2ZW50cyAo YXMgd2UgaGF2ZSBkb25lIGluIHRoZSBwYXN0LAplZy4gTUZQUyAyMDIyIHdhcyBiaS1sb2NhdGVk IGJldHdlZW4gSXRoYWNhIGFuZCBQYXJpcywKaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0 dHBzOi8vd3d3LmNzLmNvcm5lbGwuZWR1L21mcHMtMjAyMi9wYXJpcy5tZC5odG1sX187ISFJQnpX TFVzIVhmN0ZiYnVPWnk5RXFwa19ERFNwS0FUemJsS19NVkVsejliUHFsMFVEdFhJdEM5ajRXSjdv MjBsNUFSM3Fib1ZXa05KVmVrTTFnSzF5Sm1Mc09HaGhlUzNRbDlRS1hWY1dCNUlEdyQgICksIGFu ZCBJIGVuY291cmFnZSBvdXIKVVMgY29sbGVhZ3VlcyB0byBjb25zaWRlciByZS1naXZpbmcgdGFs a3MgYXQgaW50ZXJuYXRpb25hbCBjb25mZXJlbmNlcyAob3IKdGFsa3MgcHVibGlzaGVkIGluIFBB Q01QTCB3aXRob3V0IGJlaW5nIGFibGUgdG8gYXR0ZW5kIGEgY29uZmVyZW5jZSkgYXQKbG9jYWwg ZXZlbnRzLiBJbiBNYXJjaCAyMDIzLCBJIGFsc28gcHJvcG9zZWQgdGhhdCBQQUNNUEwgcnVucyBh IHdvcmxkd2lkZQpvbmxpbmUgc2VtaW5hciwgb25lIGhvdXIgb25jZSBhIHdlZWssIHRvIHByZXNl bnQgUEFDTVBMLXB1Ymxpc2hlZCBwYXBlcnMsCndpdGggcHJpb3JpdHkgZ2l2ZW4gdG8gYXV0aG9y cyB3aG8gY291bGQgbm90IHByZXNlbnQgaW4tcGVyc29uLgoKKEV2ZXJ5IHRpbWUgSSd2ZSBzZWVu IGVmZm9ydHMgdG8gYmktbG9jYWxpemUgYW4gYWNhZGVtaWMgZXZlbnQsIGl0IGhhcyBiZWVuCm9u IHRoZSBpbml0aWF0aXZlIG9mIHNvbWVvbmUgZnJvbSBvdXRzaWRlIHRoZSBVUy4gSSBmaW5kIGl0 IHVuZm9ydHVuYXRlCnRoYXQgdGhpcyBjb21tZW50IGFib3V0IHNpbmdsZS12aXNhIFVTIHdvcmtl cnMgaXMgdXNlZCBpbiBwcmFjdGljZSB0byBrZWVwCnRvIHRoZSBzdGF0dSBxdW8sIGFuZCBuZXZl ciBpbiBteSBsaW1pdGVkIGV4cGVyaWVuY2UgdG8gaW1wcm92ZSBvdXIKY29uZmVyZW5jZSBwcm9j ZXNzZXMgdG8gbWFrZSB0aGVtIG1vcmUgZGl2ZXJzZSwgbGVzcyBhYnN1cmRseSBleHBlbnNpdmUs Cmxlc3MgZW52aXJvbm1lbnRhbGx5LWRhbWFnaW5nLCBldGMuKQoKQnV0IHVsdGltYXRlbHksIEkg dGhpbmsgdGhhdCBiZWZvcmUgYW55IGRyYXN0aWMKPiBjaGFuZ2VzIGFyZSBtYWRlLCB3ZSB3aWxs IG5lZWQgaW5wdXQgZnJvbSB0aGUgd2hvbGUgY29tbXVuaXR5LCBub3QganVzdAo+IHRob3NlIHdo byBhcmUgdm9jYWwgYWJvdXQgaXQgaW4gb25lIGVtYWlsIHRocmVhZC4KPgoKRm9yIHRoZSByZWNv cmQsIEkgd3JvdGUgYSBmZXcgZGF5cyBhZ28gdG8gdGhlIFNJR1BMQU4gY2hhaXJzIHRvIHN1cmZh Y2UgYQpzdWdnZXN0aW9uIEkgcmVjZWl2ZWQgb2ZmLWxpc3Q6IHRvIHJ1biBhIHBvbGwgdG8gdW5k ZXJzdGFuZC9tZWFzdXJlIHRoZQpwb3NpdGlvbiBvZiB0aGUgd2lkZXIgY29tbXVuaXR5IG9uIHRo aXMgZGVsaWNhdGUgcXVlc3Rpb24uIFNJR1BMQU4gZGVjbGluZWQKdGhpcyBzdWdnZXN0aW9uLgo=