Re: [TYPES] Could we temporarily stop having conferences in the US?
Yao Li <[email protected]> Tue, 23 Sep 2025 15:59:56 -0700
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAG7FV=sFQhyvf6xY0iT-JG+hySd1v_UNZmvNcaOu+Dc2BomGDg@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKPgo+IERpZCBJIG1pc3Mgc29tZXRoaW5nIGFuZCBpcyB0aGVy ZSBhIHNwZWNpZmljIHJlYXNvbiB3aHkgdGhlcmUgd291bGQgYmUKPiBtb3JlIHNpbmdsZS1lbnRy eSBhY2FkZW1pY3MgaW4gdGhlIGN1cnJlbnQgcHJlc2lkZW50aWFsIHRlcm0gYXMgYmVmb3JlPwoK VGhlcmUgaGF2ZSBiZWVuIHN0dWRlbnRzJyB2aXNhcyBiZWluZyByZXZva2VkIGFuZCB0aGVyZSBo YXZlIHJlY2VudGx5IGJlZW4KYSBsb3Qgb2YgdW5jZXJ0YWludGllcyByZWdhcmRpbmcgSDFCLCB3 aGljaCBhIG51bWJlciBvZiBmYWN1bHRpZXMgYW5kCmluZHVzdHJpYWwgd29ya2VycyBhcmUgdXNp bmcuIFNvIHRoZXJlIGFyZSAqYXQgbGVhc3QgKmEgbG90IG1vcmUKdW5jZXJ0YWludGllcyBmb3Ig aW50ZXJuYXRpb25hbCBzY2hvbGFycyB0byB0cmF2ZWwgb3V0c2lkZSB0aGUgVS5TLgoKSW4gYW55 IGNhc2UsIEkgZG9uJ3QgdGhpbmsgdGhlIHJlYWwgYXJndW1lbnQgc2hvdWxkIGJlIGFib3V0IHBl b3BsZSBvdXRzaWRlCnRoZSBVLlMuIHZzLiBwZW9wbGUgc3R1Y2sgaW4gdGhlIFUuUy4gTGlrZSBv dGhlcnMgc3VnZ2VzdCwgd2Ugc2hvdWxkIHRyeSB0bwpoZWFyIGZyb20gdGhlIGVudGlyZSBjb21t dW5pdHkgKHJhdGhlciB0aGFuIGp1c3QgVFlQRVMgZm9ydW0pIGFuZCBsb29rIGZvcgpvdGhlciBj cmVhdGl2ZSBhbmQgY29uc3RydWN0aXZlIHdheXMgdG8gc3VwcG9ydCBldmVyeW9uZSBpbiB0aGUg Y29tbXVuaXR5LgoKCk9uIFR1ZSwgU2VwIDIzLCAyMDI1IGF0IDE6NTjigK9QTSBHYWJyaWVsIFNj aGVyZXIgPGdhYnJpZWwuc2NoZXJlckBnbWFpbC5jb20+Cndyb3RlOgoKPiBbIFRoZSBUeXBlcyBG b3J1bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMt bGlzdCAKPiBdCj4KPiBEZWFyIGFsbCwKPgo+IEZpcnN0IG9mIGFsbCwgbGV0IG1lIG5vdGUgdGhh dCBJIGhhdmUgYmVlbiB2YWd1ZSBzbyBmYXIgaW4gbXkgc3BlY2lmaWMKPiBzb3VyY2VzIG9mIHdv cnJ5LCBiZWNhdXNlIEkgdW5mb3J0dW5hdGVseSBiZWxpZXZlIHRoYXQgaXQgbWF5IGJlIGRhbmdl cm91cywKPiBlc3BlY2lhbGx5IGZvciBwZW9wbGUgd29ya2luZyBpbiB0aGUgVVMsIHRvIHB1Ymxp Y2x5IHZvaWNlIGNlcnRhaW4KPiBjcml0aWNpc21zIG9mIHRoZSBVUyBnb3Zlcm5tZW50LiBJIHdv dWxkIHJhdGhlciBub3QgaW5jbHVkZSBwcmVjaXNlCj4gcG9saXRpY2FsIGNvbW1lbnRhcmllcyBv biB0aGUgY3VycmVudCBzaXR1YXRpb24sIGJlY2F1c2UgSSB3b3JyeSB0aGF0IGl0Cj4gY291bGQg bWFrZSBpdCB1bnNhZmUgZm9yIHNvbWUgb2YgdXMuICgiSGEsIGluIHRoZSBsYW5kIG9mIGZyZWUg c3BlZWNoLAo+IHBlb3BsZSB3b3VsZCBub3QgYmUgc3VzcGVuZGVkIGZyb20gdGhlaXIgam9iIGZv ciBjcml0aWNpemluZyB0aGVpcgo+IGdvdmVybm1lbnQsIHJpZ2h0PyIpCj4KPiBPbiBUdWUsIFNl cCAyMywgMjAyNSBhdCA5OjAy4oCvUE0gRGVyZWsgRHJleWVyIDxkcmV5ZXJAbXBpLXN3cy5vcmc+ IHdyb3RlOgo+Cj4gPiBJdCB3b3VsZCBiZSBoZWxwZnVsIHRvIGtub3cgb2YgY29uY3JldGUgZXhh bXBsZXMgb2YgYWNhZGVtaWNzIHdobyB3ZXJlCj4gPiBoYXJhc3NlZCwKPiA+IG1pc3RyZWF0ZWQs IG9yIGRldGFpbmVkIGJ5IGdvdmVybm1lbnQgb2ZmaWNpYWxzIHdoZW4gdHJhdmVsbGluZyB0bwo+ ID4gY29uZmVyZW5jZXMgaW4gdGhlIFVTLiAgTXkgaW1wcmVzc2lvbiBpcyB0aGF0IHRoZXJlIGFy ZSBleHRyZW1lbHkgZmV3Cj4gc3VjaAo+ID4gY2FzZXMgLS0gYnV0IEkgZG9uJ3Qga25vdy4KPiA+ Cj4KPiBUaGVyZSB3YXMgYSB3ZWxsLXB1YmxpY2l6ZWQgY2FzZSBhIGZldyBtb250aHMgYWdvIG9m IGEgRnJlbmNoIHJlc2VhcmNoZXIKPiBiZWluZyByZWZ1c2VkIGVudHJ5IGR1ZSB0bywgYWNjb3Jk aW5nIHRvIEZyZW5jaCBhdXRob3JpdGllcywgdGhlIGZhY3QgdGhhdAo+IHBlcnNvbmFsIG1lc3Nh Z2VzIGNyaXRpY2FsIG9mIHRoZSBVUyBhZG1pbmlzdHJhdGlvbiBoYWQgYmVlbiBmb3VuZCBieSBV Uwo+IGN1c3RvbSBhZ2VudHMgb24gdGhlaXIgbGFwdG9wICgKPgo+IGh0dHBzOi8vdXJsZGVmZW5z ZS5jb20vdjMvX19odHRwczovL3d3dy50aGVndWFyZGlhbi5jb20vdXMtbmV3cy8yMDI1L21hci8x OS90cnVtcC1tdXNrLWZyZW5jaC1zY2llbnRpc3QtZGV0YWluZWRfXzshIUlCeldMVXMhWGY3RmJi dU9aeTlFcXBrX0REU3BLQVR6YmxLX01WRWx6OWJQcWwwVUR0WEl0QzlqNFdKN28yMGw1QVIzcWJv VldrTkpWZWtNMWdLMXlKbUxzT0doaGVTM1FsOVFLWFdCMWMxLUV3JAo+ICkuIFRoZXJlIGFyZSBh bHNvIHZhcmlvdXMgY2FzZXMgb2YgZm9yZWlnbiAqdG91cmlzdHMqIGJlaW5nIGxvY2tlZCB1cCBm b3IKPiB0d28gd2Vla3MgaW4gSUNFIGphaWxzIChlZy4KPgo+IGh0dHBzOi8vdXJsZGVmZW5zZS5j b20vdjMvX19odHRwczovL3d3dy50aGVndWFyZGlhbi5jb20vd29ybGQvMjAyNS9tYXIvMTEvZ2Vy bWFuLXRvdXJpc3RzLW9yZGVhbC1yZXBvcnRlZGx5LWVuZGluZy1yZXR1cm5lZC1mcm9tLXVzLWRl dGVudGlvbl9fOyEhSUJ6V0xVcyFYZjdGYmJ1T1p5OUVxcGtfRERTcEtBVHpibEtfTVZFbHo5YlBx bDBVRHRYSXRDOWo0V0o3bzIwbDVBUjNxYm9WV2tOSlZla00xZ0sxeUptTHNPR2hoZVMzUWw5UUtY VWR6TzVCNVEkCj4gKS4KPgo+IEZvciBtZSB0aGUgb2J2aW91cyBwcm9ibGVtIGlzIHRoYXQgZXZl biB0aG91Z2ggYXR0ZW5kaW5nIGEgY29uZmVyZW5jZSBpbgo+IHRoZSBVUyAqbWlnaHQqIGJlIHNh ZmUgdG9kYXksIHdlIGFyZSB0YWxraW5nIGFib3V0IFNJR1BMQU4gY29uZmVyZW5jZXMKPiBjb21t aXR0aW5nIHRvIG9yZ2FuaXppbmcgY29uZmVyZW5jZXMgc2l4IG1vbnRocywgb25lIHllYXIsIHR3 byB5ZWFycyBmcm9tCj4gbm93LCBhbmQgKm5vIG9uZSoga25vd3MgaG93IHRoaW5ncyB3aWxsIGJl IGF0IHRoYXQgcG9pbnQsIGFuZCBJIGRvbid0IHRoaW5rCj4gdGhhdCBtYW55IHBlb3BsZSBob3Bl IHRoYXQgdGhleSB3aWxsIGltcHJvdmUuIFRoaW5ncyBhcmUgZ29pbmcgYmFkLCBhbmQKPiBtb3Zp bmcgZmFzdC4gVGhlIGFtb3VudCBvZiByaXNrIGluIGludml0aW5nIDQwMC1wbHVzIGZvcmVpZ24g dmlzaXRvcnMgdG8KPiB0cmF2ZWwgdG8gdGhlIFVTIGluIGEgeWVhciBpcyBzdGFnZ2VyaW5nLCBh bmQgcGVyc29uYWxseSBJIGJlbGlldmUgdGhhdCB0aGUKPiBwZW9wbGUgd2hvIGFyZSBtYWtpbmcg dGhpcyBjaG9pY2UgYXJlIGlycmVzcG9uc2libGUuCj4KPiBJdCBpcyBub3QgcmVhc29uYWJsZSB0 byBzYXkgYXQgdGhlIHNhbWUgdGltZSAidGhlc2UgYXJlIHZlcnkgc2xvdwo+IHByb2Nlc3Nlcywg d2UgY29tbWl0IHR3byB5ZWFycyBpbiBhZHZhbmNlLCBhbmQgd2UgY2Fubm90IHBvc3NpYmx5IHJv bGwgYmFjawo+IGFmdGVyd2FyZHMiLCBhbmQgeWV0IHBpY2sgbG9jYXRpb25zIHRoYXQgaGF2ZSBz ZWVuIGluIHRoZSBsYXN0IGNvdXBsZSB5ZWFycwo+IHRoZWlyIHdvcnN0IChyZWxhdGl2ZSkgZGVj bGluZSBpbiBwcmVzcyBmcmVlZG9tLCBydWxlIG9mIGxhdywgaW5zdGl0dXRpb25hbAo+IHJlc3Bl Y3QgZm9yIHNjaWVuY2UgYW5kIHRvbGVyYW5jZSB0byBmb3JlaWduZXJzIGluIGRlY2FkZXMuCj4K Pgo+IEFzIEkgc2FpZCwgSSB0aGluayB3ZSBhcyBhIGNvbW11bml0eSBoYXZlIHRvIGNvbnNpZGVy IHRoZSBuZWVkcyBvZiBhbGwgUEwKPiA+IHJlc2VhcmNoZXJzLCBpbmNsdWRpbmcgbWFueSBub24t VVMtY2l0aXplbiByZXNlYXJjaGVycyB3b3JraW5nIGluIHRoZSBVUwo+ID4gZm9yIHdob20gaXQg d291bGQgYmUgYSBzaWduaWZpY2FudCBoYXJkc2hpcCBpZiBhbGwgY29uZmVyZW5jZXMgdG9vayBw bGFjZQo+ID4gb3V0c2lkZSB0aGUgVVMuCj4gPgo+Cj4gSSBmZWVsIHRydWx5IHNvcnJ5IGZvciB0 aGUgcGVvcGxlIGJlaW5nIHN0dWNrIGluIHRoZSBVUyB3aXRoIHNpbmdsZS1lbnRyeQo+IHZpc2Fz IC0tIHRoYW5rcyBKdWxpYSBmb3IgYnJpbmdpbmcgdGhpcyBtdWNoLW5lZWRlZCBhbmdsZSB0byB0 aGUKPiBjb252ZXJzYXRpb24uIFRoaXMgaXMgYWxzbyBub3Qgc29tZXRoaW5nIG5ldy4gKERpZCBJ IG1pc3Mgc29tZXRoaW5nIGFuZCBpcwo+IHRoZXJlIGEgc3BlY2lmaWMgcmVhc29uIHdoeSB0aGVy ZSB3b3VsZCBiZSBtb3JlIHNpbmdsZS1lbnRyeSBhY2FkZW1pY3MgaW4KPiB0aGUgY3VycmVudCBw cmVzaWRlbnRpYWwgdGVybSBhcyBiZWZvcmU/KSBJIHdvdWxkIGJlIGhhcHB5IHRvIGhlbHAKPiBv cmdhbml6aW5nIHRoZSBiaS1sb2NhdGlvbiBvZiBjZXJ0YWluIGV2ZW50cyAoYXMgd2UgaGF2ZSBk b25lIGluIHRoZSBwYXN0LAo+IGVnLiBNRlBTIDIwMjIgd2FzIGJpLWxvY2F0ZWQgYmV0d2VlbiBJ dGhhY2EgYW5kIFBhcmlzLAo+Cj4gaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8v d3d3LmNzLmNvcm5lbGwuZWR1L21mcHMtMjAyMi9wYXJpcy5tZC5odG1sX187ISFJQnpXTFVzIVhm N0ZiYnVPWnk5RXFwa19ERFNwS0FUemJsS19NVkVsejliUHFsMFVEdFhJdEM5ajRXSjdvMjBsNUFS M3Fib1ZXa05KVmVrTTFnSzF5Sm1Mc09HaGhlUzNRbDlRS1hWY1dCNUlEdyQKPiApLCBhbmQgSSBl bmNvdXJhZ2Ugb3VyCj4gVVMgY29sbGVhZ3VlcyB0byBjb25zaWRlciByZS1naXZpbmcgdGFsa3Mg YXQgaW50ZXJuYXRpb25hbCBjb25mZXJlbmNlcyAob3IKPiB0YWxrcyBwdWJsaXNoZWQgaW4gUEFD TVBMIHdpdGhvdXQgYmVpbmcgYWJsZSB0byBhdHRlbmQgYSBjb25mZXJlbmNlKSBhdAo+IGxvY2Fs IGV2ZW50cy4gSW4gTWFyY2ggMjAyMywgSSBhbHNvIHByb3Bvc2VkIHRoYXQgUEFDTVBMIHJ1bnMg YSB3b3JsZHdpZGUKPiBvbmxpbmUgc2VtaW5hciwgb25lIGhvdXIgb25jZSBhIHdlZWssIHRvIHBy ZXNlbnQgUEFDTVBMLXB1Ymxpc2hlZCBwYXBlcnMsCj4gd2l0aCBwcmlvcml0eSBnaXZlbiB0byBh dXRob3JzIHdobyBjb3VsZCBub3QgcHJlc2VudCBpbi1wZXJzb24uCj4KPiAoRXZlcnkgdGltZSBJ J3ZlIHNlZW4gZWZmb3J0cyB0byBiaS1sb2NhbGl6ZSBhbiBhY2FkZW1pYyBldmVudCwgaXQgaGFz IGJlZW4KPiBvbiB0aGUgaW5pdGlhdGl2ZSBvZiBzb21lb25lIGZyb20gb3V0c2lkZSB0aGUgVVMu IEkgZmluZCBpdCB1bmZvcnR1bmF0ZQo+IHRoYXQgdGhpcyBjb21tZW50IGFib3V0IHNpbmdsZS12 aXNhIFVTIHdvcmtlcnMgaXMgdXNlZCBpbiBwcmFjdGljZSB0byBrZWVwCj4gdG8gdGhlIHN0YXR1 IHF1bywgYW5kIG5ldmVyIGluIG15IGxpbWl0ZWQgZXhwZXJpZW5jZSB0byBpbXByb3ZlIG91cgo+ IGNvbmZlcmVuY2UgcHJvY2Vzc2VzIHRvIG1ha2UgdGhlbSBtb3JlIGRpdmVyc2UsIGxlc3MgYWJz dXJkbHkgZXhwZW5zaXZlLAo+IGxlc3MgZW52aXJvbm1lbnRhbGx5LWRhbWFnaW5nLCBldGMuKQo+ Cj4gQnV0IHVsdGltYXRlbHksIEkgdGhpbmsgdGhhdCBiZWZvcmUgYW55IGRyYXN0aWMKPiA+IGNo YW5nZXMgYXJlIG1hZGUsIHdlIHdpbGwgbmVlZCBpbnB1dCBmcm9tIHRoZSB3aG9sZSBjb21tdW5p dHksIG5vdCBqdXN0Cj4gPiB0aG9zZSB3aG8gYXJlIHZvY2FsIGFib3V0IGl0IGluIG9uZSBlbWFp bCB0aHJlYWQuCj4gPgo+Cj4gRm9yIHRoZSByZWNvcmQsIEkgd3JvdGUgYSBmZXcgZGF5cyBhZ28g dG8gdGhlIFNJR1BMQU4gY2hhaXJzIHRvIHN1cmZhY2UgYQo+IHN1Z2dlc3Rpb24gSSByZWNlaXZl ZCBvZmYtbGlzdDogdG8gcnVuIGEgcG9sbCB0byB1bmRlcnN0YW5kL21lYXN1cmUgdGhlCj4gcG9z aXRpb24gb2YgdGhlIHdpZGVyIGNvbW11bml0eSBvbiB0aGlzIGRlbGljYXRlIHF1ZXN0aW9uLiBT SUdQTEFOIGRlY2xpbmVkCj4gdGhpcyBzdWdnZXN0aW9uLgo+Cg==