Re: [TYPES] Could we temporarily stop having conferences in the US?

Alex Potanin <[email protected]> Wed, 24 Sep 2025 21:23:06 +0000
Newsgroups gmane.comp.science.types
Message-ID <SYYP282MB100671CFBCEF035A38C411F4BD1CA@SYYP282MB1006.AUSP282.PROD.OUTLOOK.COM>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKSnVzdCB0byBwb2ludCBvdXQgYWdhaW4gdGhhdCB0aGlzIGNv
b3JkaW5hdGlvbiBpcyBhbHJlYWR5IGRvbmUgYXQgU0lHUExBTiBsZXZlbCAtIGFzayB5b3VyIHJl
c3BlY3RpdmUgU0MgY2hhaXIgLSB0aGV5IHNob3VsZCBrbm93IGJldHRlciB3aGVuIHBpY2tpbmcg
YSBsb2NhdGlvbi4g8J+YigoKRm9yIHRoZSBmb3VyIGZyb20gdGhlIHNwcmVhZHNoZWV0IHdlIGFs
bCBoYXZlIGFjY2VzcyB0byBhcyByZXNwZWN0aXZlIFNDIGNoYWlyczoKCjIwMjYgKHdoaWNoIHdh
cyBhcnJhbmdlZCBpbiAyMDIzKTogM3ggVVMgYW5kIDF4IEVVCjIwMjc6IDF4IFVTLCAxeCBFVSwg
MXggbm9uLVVTLCAxeCBUQkMgKG1heSBiZSBFVSkKMjAyODogMnggbm9uLVVTIChvbmUgQ2FuYWRh
KSAyeCBUQkMKMjAyOTogMXggRVUgM3ggVEJDCgpEb2VzIHRoaXMgaGVscD8KCkNoZWVycywKQWxl
eC4KCkZyb206IFR5cGVzLWxpc3QgPHR5cGVzLWxpc3QtYm91bmNlc0BMSVNUUy5TRUFTLlVQRU5O
LkVEVT4gb24gYmVoYWxmIG9mIFdvdXRlciBTd2llcnN0cmEgPHcucy5zd2llcnN0cmFAdXUubmw+
CkRhdGU6IFRodXJzZGF5LCAyNSBTZXB0ZW1iZXIgMjAyNSBhdCA3OjA54oCvYW0KVG86IHR5cGVz
LWxpc3RATElTVFMuU0VBUy5VUEVOTi5FRFUgPHR5cGVzLWxpc3RATElTVFMuU0VBUy5VUEVOTi5F
RFU+ClN1YmplY3Q6IFJlOiBbVFlQRVNdIENvdWxkIHdlIHRlbXBvcmFyaWx5IHN0b3AgaGF2aW5n
IGNvbmZlcmVuY2VzIGluIHRoZSBVUz8KClsgVGhlIFR5cGVzIEZvcnVtLCBodHRwczovL3VybGRl
ZmVuc2UuY29tL3YzL19faHR0cHM6Ly9hdXMwMS5zYWZlbGlua3MucHJvdGVjdGlvbi5vdXRsb29r
LmNvbS8/dXJsPWh0dHAqM0EqMkYqMkZsaXN0cy5zZWFzLnVwZW5uLmVkdSoyRm1haWxtYW4qMkZs
aXN0aW5mbyoyRnR5cGVzLWxpc3QmZGF0YT0wNSo3QzAyKjdDYWxleC5wb3RhbmluKjQwYW51LmVk
dS5hdSo3QzEyNzcyNzllMDkyNjRiOTNhYmRmMDhkZGZhOWRhZTlmKjdDZTM3ZDcyNWNhYjVjNDYy
NDlhZTVmMDUzM2U0ODY0MzcqN0MwKjdDMCo3QzYzODk0MzQ0OTY3MzMzNjY3Myo3Q1Vua25vd24q
N0NUV0ZwYkdac2IzZDhleUpGYlhCMGVVMWhjR2tpT25SeWRXVXNJbFlpT2lJd0xqQXVNREF3TUNJ
c0lsQWlPaUpYYVc0ek1pSXNJa0ZPSWpvaVRXRnBiQ0lzSWxkVUlqb3lmUSozRCozRCo3QzAqN0Mq
N0MqN0Mmc2RhdGE9OHNSMEVsTmtaVkxnbW81MVdJaSoyRlM2Q0M3RHpvOFJMWmF4cjFaQ1FJSXBn
KjNEJnJlc2VydmVkPTBfXztKU1VsSlNVbEpTVWxKU1VsSlNVbEpTVWxKU1VsSlNVbCEhSUJ6V0xV
cyFYRENlSUxBMlhvdmNvZE1PTVQ2UC1rX3J6UTRwM3NjUDF6bVVMMUtLYktrZTVNY2RVamFmZFBS
V2gyQVVqTVZMOEkta3NNSi10YnhzZEFWS0JlQ1dvMkFfM2xyUDlhR0hEUng2JCA8aHR0cDovL2xp
c3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCA+IF0KCgpGb3Ig
d2hhdCBpdCdzIHdvcnRoLCB3ZSBoYWQgYSBkaXNjdXNzaW9uIGFib3V0IHRoaXMgb24gdGhlIElD
RlAgU3RlZXJpbmcgQ29tbWl0dGVlLiBNYW55IHBlb3BsZSBzaGFyZSB0aGUgY29uY2VybnMgcmFp
c2VkIGluIHRoaXMgdGhyZWFkLiBUaGVyZSB3YXMgbm8gY2xlYXIgbWFqb3JpdHkgZm9yIGF2b2lk
aW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUyAtLSBsYXJnZWx5IGR1ZSB0byB0aGUgcmVhc29ucyBK
dWxpYSBtZW50aW9ucy4KCkxvb2tpbmcgYWhlYWQsIG9uZSBpZGVhIG1pZ2h0IGJlIHRvIGFsaWdu
IHRoZSBsb2NhdGlvbiBvZiB0aGUgZGlmZmVyZW50IFBBQ00gUEwgY29uZmVyZW5jZXMgYmV0dGVy
IC0tIGZvciBpbnN0YW5jZSwgZW5zdXJpbmcgdGhhdCB0aGVyZSBpcyBhdCBsZWFzdCBvbmUgY29u
ZmVyZW5jZSBpbiB0aGUgVVMgYW5kIEV1cm9wZSBlYWNoIHllYXIuIEFsbG93aW5nIHByZXNlbnRh
dGlvbnMgYWNyb3NzIGRpZmZlcmVudCBjb25mZXJlbmNlcyAocHJlc2VudGluZyBhIFBPUEwgcGFw
ZXIgYXQgUExESSBvciB2aXNhIHZlcnNhKSwgd291bGQgbWFrZSBpdCBlYXNpZXIgZm9yIHJlc2Vh
cmNoZXJzIHRvIHByZXNlbnQgdGhlaXIgd29yayBhdCB2ZW51ZSB0aGV5IGNhbiBhdHRlbmQuIFRo
aXMgZG9lcyByZXF1aXJlIGEgYml0IG9mIGNvLW9yZGluYXRpb24gYXQgdGhlIFNJR1BMQU4gbGV2
ZWwgLSBhbmQgaXQgaXMgbm90IHlldCBjbGVhciB0byBtZSBob3cgbXVjaCBzdXBwb3J0IHRoZXJl
IGlzIGZvciBzdWNoIGFuIGluaXRpYXRpdmUuCgogIFdvdXRlcgoK