Re: [TYPES] Could we temporarily stop having conferences in the US?
Ningning Xie <[email protected]> Sun, 28 Sep 2025 12:17:22 -0400
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CABjRk3nGT7BNWF+5cZ7CFdn8Vh5PcZ4BkZFTai0SAYVZz57VRg@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKVGhhbmsgeW91IGFsbCBmb3IgdGhpcyBsaXZlbHkgZGlzY3Vz c2lvbi4gSXQncyBjbGVhciB0aGlzIGlzIGEgc2hhcmVkCmNvbmNlcm4gYW1vbmcgbWFueSBvZiB1 cy4gV2l0aCBBbGV4JyBtZXNzYWdlLCBpdCBzZWVtcyBzb21lCmNvb3JkaW5hdGlvbiBoYXMgYmVl biB0YWtlbiBhdCB0aGUgU0lHUExBTiBsZXZlbCwgYW5kIHBlcmhhcHMgbW9yZQpkaXNjdXNzaW9u IHdpdGggdGhlIFNJR1BMQU4gRUMgd2lsbCBiZSB1c2VmdWwuCgpBcyB0aGUgbW9kZXJhdG9yLCB0 byBtYW5hZ2UgdGhlIHZvbHVtZSBhbmQgcXVhbGl0eSBvZiBwb3N0cywgSSB3aWxsCm5vdyBob2xk IGFueSBmdXJ0aGVyIHBvc3RzIG9uIHRoaXMgdG9waWMgdW5sZXNzIHNpZ25pZmljYW50IG5ldwph cmd1bWVudHMgZW1lcmdlLiBJIGVuY291cmFnZSBwZW9wbGUgdG8gY29udGludWUgdGhlIGNvbnZl cnNhdGlvbiBvbgp0aGUgVHlwZXMgWnVsaXAgY2hhbm5lbDogaHR0cHM6Ly91cmxkZWZlbnNlLmNv bS92My9fX2h0dHBzOi8vdHlwLnp1bGlwY2hhdC5jb21fXzshIUlCeldMVXMhUS1pZ0dTQ0xyamtl RVgtZjA0cnhGV2ZpYWtNSHI1NmV5YkZhUmw2dFJ4Z0dkaTk4ejNXSGZLSVRZdDh3dUVfbE9RcEFN MEtRam9QTEhNTHJuU3JkMTFkLXU4RTdhUSQgCgpUaGFua3MgZm9yIHlvdXIgY29udHJpYnV0aW9u cyB0byBtYWtpbmcgVFlQRVMgYSB3ZWxjb21pbmcgYW5kIGhlbHBmdWwKY29tbXVuaXR5LgoKQmVz dCwKTmluZ25pbmcKCk9uIFdlZCwgMjQgU2VwdCAyMDI1IGF0IDIxOjM5LCBBbGV4IFBvdGFuaW4g PEFsZXguUG90YW5pbkBhbnUuZWR1LmF1PiB3cm90ZToKCj4gWyBUaGUgVHlwZXMgRm9ydW0sIGh0 dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgCj4g XQo+Cj4gSnVzdCB0byBwb2ludCBvdXQgYWdhaW4gdGhhdCB0aGlzIGNvb3JkaW5hdGlvbiBpcyBh bHJlYWR5IGRvbmUgYXQgU0lHUExBTgo+IGxldmVsIC0gYXNrIHlvdXIgcmVzcGVjdGl2ZSBTQyBj aGFpciAtIHRoZXkgc2hvdWxkIGtub3cgYmV0dGVyIHdoZW4gcGlja2luZwo+IGEgbG9jYXRpb24u IPCfmIoKPgo+IEZvciB0aGUgZm91ciBmcm9tIHRoZSBzcHJlYWRzaGVldCB3ZSBhbGwgaGF2ZSBh Y2Nlc3MgdG8gYXMgcmVzcGVjdGl2ZSBTQwo+IGNoYWlyczoKPgo+IDIwMjYgKHdoaWNoIHdhcyBh cnJhbmdlZCBpbiAyMDIzKTogM3ggVVMgYW5kIDF4IEVVCj4gMjAyNzogMXggVVMsIDF4IEVVLCAx eCBub24tVVMsIDF4IFRCQyAobWF5IGJlIEVVKQo+IDIwMjg6IDJ4IG5vbi1VUyAob25lIENhbmFk YSkgMnggVEJDCj4gMjAyOTogMXggRVUgM3ggVEJDCj4KPiBEb2VzIHRoaXMgaGVscD8KPgo+IENo ZWVycywKPiBBbGV4Lgo+Cj4gRnJvbTogVHlwZXMtbGlzdCA8dHlwZXMtbGlzdC1ib3VuY2VzQExJ U1RTLlNFQVMuVVBFTk4uRURVPiBvbiBiZWhhbGYgb2YKPiBXb3V0ZXIgU3dpZXJzdHJhIDx3LnMu c3dpZXJzdHJhQHV1Lm5sPgo+IERhdGU6IFRodXJzZGF5LCAyNSBTZXB0ZW1iZXIgMjAyNSBhdCA3 OjA54oCvYW0KPiBUbzogdHlwZXMtbGlzdEBMSVNUUy5TRUFTLlVQRU5OLkVEVSA8dHlwZXMtbGlz dEBMSVNUUy5TRUFTLlVQRU5OLkVEVT4KPiBTdWJqZWN0OiBSZTogW1RZUEVTXSBDb3VsZCB3ZSB0 ZW1wb3JhcmlseSBzdG9wIGhhdmluZyBjb25mZXJlbmNlcyBpbiB0aGUKPiBVUz8KPgo+IFsgVGhl IFR5cGVzIEZvcnVtLAo+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2F1czAx LnNhZmVsaW5rcy5wcm90ZWN0aW9uLm91dGxvb2suY29tLz91cmw9aHR0cCozQSoyRioyRmxpc3Rz LnNlYXMudXBlbm4uZWR1KjJGbWFpbG1hbioyRmxpc3RpbmZvKjJGdHlwZXMtbGlzdCZkYXRhPTA1 KjdDMDIqN0NhbGV4LnBvdGFuaW4qNDBhbnUuZWR1LmF1KjdDMTI3NzI3OWUwOTI2NGI5M2FiZGYw OGRkZmE5ZGFlOWYqN0NlMzdkNzI1Y2FiNWM0NjI0OWFlNWYwNTMzZTQ4NjQzNyo3QzAqN0MwKjdD NjM4OTQzNDQ5NjczMzM2NjczKjdDVW5rbm93bio3Q1RXRnBiR1pzYjNkOGV5SkZiWEIwZVUxaGNH a2lPblJ5ZFdVc0lsWWlPaUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJc0lrRk9Jam9pVFdG cGJDSXNJbGRVSWpveWZRKjNEKjNEKjdDMCo3Qyo3Qyo3QyZzZGF0YT04c1IwRWxOa1pWTGdtbzUx V0lpKjJGUzZDQzdEem84UkxaYXhyMVpDUUlJcGcqM0QmcmVzZXJ2ZWQ9MF9fO0pTVWxKU1VsSlNV bEpTVWxKU1VsSlNVbEpTVWxKU1VsISFJQnpXTFVzIVhEQ2VJTEEyWG92Y29kTU9NVDZQLWtfcnpR NHAzc2NQMXptVUwxS0tiS2tlNU1jZFVqYWZkUFJXaDJBVWpNVkw4SS1rc01KLXRieHNkQVZLQmVD V28yQV8zbHJQOWFHSERSeDYkCj4gPGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFu L2xpc3RpbmZvL3R5cGVzLWxpc3QgID4gXQo+Cj4KPiBGb3Igd2hhdCBpdCdzIHdvcnRoLCB3ZSBo YWQgYSBkaXNjdXNzaW9uIGFib3V0IHRoaXMgb24gdGhlIElDRlAgU3RlZXJpbmcKPiBDb21taXR0 ZWUuIE1hbnkgcGVvcGxlIHNoYXJlIHRoZSBjb25jZXJucyByYWlzZWQgaW4gdGhpcyB0aHJlYWQu IFRoZXJlIHdhcwo+IG5vIGNsZWFyIG1ham9yaXR5IGZvciBhdm9pZGluZyBjb25mZXJlbmNlcyBp biB0aGUgVVMgLS0gbGFyZ2VseSBkdWUgdG8gdGhlCj4gcmVhc29ucyBKdWxpYSBtZW50aW9ucy4K Pgo+IExvb2tpbmcgYWhlYWQsIG9uZSBpZGVhIG1pZ2h0IGJlIHRvIGFsaWduIHRoZSBsb2NhdGlv biBvZiB0aGUgZGlmZmVyZW50Cj4gUEFDTSBQTCBjb25mZXJlbmNlcyBiZXR0ZXIgLS0gZm9yIGlu c3RhbmNlLCBlbnN1cmluZyB0aGF0IHRoZXJlIGlzIGF0IGxlYXN0Cj4gb25lIGNvbmZlcmVuY2Ug aW4gdGhlIFVTIGFuZCBFdXJvcGUgZWFjaCB5ZWFyLiBBbGxvd2luZyBwcmVzZW50YXRpb25zCj4g YWNyb3NzIGRpZmZlcmVudCBjb25mZXJlbmNlcyAocHJlc2VudGluZyBhIFBPUEwgcGFwZXIgYXQg UExESSBvciB2aXNhCj4gdmVyc2EpLCB3b3VsZCBtYWtlIGl0IGVhc2llciBmb3IgcmVzZWFyY2hl cnMgdG8gcHJlc2VudCB0aGVpciB3b3JrIGF0IHZlbnVlCj4gdGhleSBjYW4gYXR0ZW5kLiBUaGlz IGRvZXMgcmVxdWlyZSBhIGJpdCBvZiBjby1vcmRpbmF0aW9uIGF0IHRoZSBTSUdQTEFOCj4gbGV2 ZWwgLSBhbmQgaXQgaXMgbm90IHlldCBjbGVhciB0byBtZSBob3cgbXVjaCBzdXBwb3J0IHRoZXJl IGlzIGZvciBzdWNoIGFuCj4gaW5pdGlhdGl2ZS4KPgo+ICAgV291dGVyCj4KPgo=