Re: [TYPES] Could we temporarily stop having conferences in the US?
Alex Potanin <[email protected]> Tue, 23 Sep 2025 23:27:04 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <SYYP282MB10066424553206817A780B6FBD1DA@SYYP282MB1006.AUSP282.PROD.OUTLOOK.COM> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGkgRnJpdHosCgpTSUdQTEFOIHRlY2huaWNhbGx5IGhhcyBi dXNpbmVzcyBtZWV0aW5ncyBhdCBQT1BMIGFuZCBQTERJIGZvciBhbnlvbmUgdG8gcmFpc2UgcXVl c3Rpb25zIGluIHBlcnNvbiAob3IgcmVtb3RlbHkgdmlhIERpc2NvcmQgaWYgYSB2aXJ0dWFsIHBh cnRpY2lwYW50KS4KCllvdSBjYW4gZW1haWwgdGhlIGN1cnJlbnQgRUMsIGNhbiBiZSBzdGFydGlu ZyB3aXRoIEFuZHJldyBhcyBjaGFpcjoKCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRw czovL3NpZ3BsYW4ub3JnL0NvbnRhY3RVcy9fXzshIUlCeldMVXMhVWQwQ1Q2TGJXbVNZMUxxVTlq Tzl5N3ctaGk3QU1FZ0d5OUdkLWEyc0I3QVZrZUQtT0tKRjNZNTcxbXk4NGpkQVZJTXRHaTRIcm1r Y3RPYklhNXQ2VzVkV3UxR1ZpbU1aWTczTCQgCgpJIGFtIGNj4oCZaW5nIGhpbSBhbnl3YXkuCgpC YXNpY2FsbHksIFNJR1BMQU4gRUMgaGFzIGRheSBsb25nIG1lZXRpbmdzIHR3aWNlIGEgeWVhciAo YXQgUE9QTCBhbmQgUExESSkgd2hlcmUgd2UgdHJ5IHRvIG1ha2UgcHJvZ3Jlc3Mgb24gYWxsIHRo ZSBpc3N1ZXMgd2UgY29sbGVjdCBpbiB0aGUgcHJpb3IgNiBtb250aHMuCgpUaGVuIHRoZXJlIGFy ZSBmb3VyIFNDIGNoYWlycyBmb3IgdGhlIGNvbmZlcmVuY2VzOgoKaHR0cHM6Ly91cmxkZWZlbnNl LmNvbS92My9fX2h0dHBzOi8vc2lncGxhbi5vcmcvQ29uZmVyZW5jZXMvX187ISFJQnpXTFVzIVVk MENUNkxiV21TWTFMcVU5ak85eTd3LWhpN0FNRWdHeTlHZC1hMnNCN0FWa2VELU9LSkYzWTU3MW15 ODRqZEFWSU10R2k0SHJta2N0T2JJYTV0Nlc1ZFd1MUdWaW50YmNUVVokIAoKQXMgd2VsbCBhcyBQ QUNNUEwgRWRpdG9yIGluIENoaWVmLCB3aG8gY2FuIGhlbHAgZHJpdmUgb3ZlcmFyY2hpbmcgZGVj aXNpb25zLgoKSSBoYXZlIGJlZW4gcHVzaGluZyBmb3IgU0lHUExBTiBUcmFjayBhY3Jvc3MgZm91 ciBjb25mZXJlbmNlcyBhcyB3ZWxsIGFzIHNvbWUgZm9ybSBvZiBoeWJyaWQgd2hpbGUgYmFsYW5j aW5nIHRoZSBmYWN0IHRoYXQgY29uZmVyZW5jZXMgY29zdCByZWFsIG1vbmV5IHRvIHJ1biAoYW5k IHdpdGggcHJpY2VzIHJpc2luZyBzbyBtdWNoIHdlIHN0cnVnZ2xlIHRvIG1ha2UgdGhlIGVuZHMg bWVldCB3aGVuIHJ1bm5pbmcgdGhlc2UgU0lHUExBTiBldmVudHMgYXMgSSBmb3VuZCBvdXQgbm93 IHRoYXQgSSBhbSBhIFNJR1BMQU4gVHJlYXN1cmVyISk6CgpodHRwczovL3VybGRlZmVuc2UuY29t L3YzL19faHR0cHM6Ly9ibG9nLnNpZ3BsYW4ub3JnLzIwMjIvMDgvMjUvaHlicmlkLXNwbGFzaC0y MDIxLXJldHJvc3BlY3RpdmUvX187ISFJQnpXTFVzIVVkMENUNkxiV21TWTFMcVU5ak85eTd3LWhp N0FNRWdHeTlHZC1hMnNCN0FWa2VELU9LSkYzWTU3MW15ODRqZEFWSU10R2k0SHJta2N0T2JJYTV0 Nlc1ZFd1MUdWaW9fNFZlVnokIAoKRmluYWxseSwgdGhlcmUgaXMgYSDigJxzaWdwbGFu4oCdIFNs YWNrIHRoYXQgRUMgYXQgbGVhc3QgdXNlLCBidXQgSSBkbyBub3QgdGhpbmsgYW55b25lIGVsc2Ug aXMgdGhlcmUgKGFzIGl0IGlzIGEgZnJlZSBTbGFjaywgaXQgZGVsZXRlcyBhbGwgbWVzc2FnZXMp LiDwn5iKIEnigJlsbCBsZXQgQW5kcmV3IG1ha2UgYSBjYWxsIG9uIHdoZXRoZXIgd2Ugc3RpY2sg d2l0aCB0aGF0IG9yIHBpY2sgYSBiZXR0ZXIgcGxhdGZvcm0gdG8gaW52aXRlIG90aGVyIHBlb3Bs ZeKAmXMgaW5wdXQuCgpDaGVlcnMsCkFsZXguCgpGcm9tOiBUeXBlcy1saXN0IDx0eXBlcy1saXN0 LWJvdW5jZXNATElTVFMuU0VBUy5VUEVOTi5FRFU+IG9uIGJlaGFsZiBvZiBGcml0eiBIZW5nbGVp biA8aGVuZ2xlaW5AZGkua3UuZGs+CkRhdGU6IFdlZG5lc2RheSwgMjQgU2VwdGVtYmVyIDIwMjUg YXQgNjo1OeKAr2FtClRvOiBUeXBlcyBsaXN0IDx0eXBlcy1saXN0QGxpc3RzLnNlYXMudXBlbm4u ZWR1PgpTdWJqZWN0OiBSZTogW1RZUEVTXSBDb3VsZCB3ZSB0ZW1wb3JhcmlseSBzdG9wIGhhdmlu ZyBjb25mZXJlbmNlcyBpbiB0aGUgVVM/CgpbU29tZSBwZW9wbGUgd2hvIHJlY2VpdmVkIHRoaXMg bWVzc2FnZSBkb24ndCBvZnRlbiBnZXQgZW1haWwgZnJvbSBoZW5nbGVpbkBkaS5rdS5kay4gTGVh cm4gd2h5IHRoaXMgaXMgaW1wb3J0YW50IGF0IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19o dHRwczovL2FrYS5tcy9MZWFybkFib3V0U2VuZGVySWRlbnRpZmljYXRpb25fXzshIUlCeldMVXMh VWQwQ1Q2TGJXbVNZMUxxVTlqTzl5N3ctaGk3QU1FZ0d5OUdkLWEyc0I3QVZrZUQtT0tKRjNZNTcx bXk4NGpkQVZJTXRHaTRIcm1rY3RPYklhNXQ2VzVkV3UxR1ZpbTdxNVJTZSQgIF0KClsgVGhlIFR5 cGVzIEZvcnVtLCBodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9hdXMwMS5zYWZl bGlua3MucHJvdGVjdGlvbi5vdXRsb29rLmNvbS8/dXJsPWh0dHAqM0EqMkYqMkZsaXN0cy5zZWFz LnVwZW5uLmVkdSoyRm1haWxtYW4qMkZsaXN0aW5mbyoyRnR5cGVzLWxpc3QmZGF0YT0wNSo3QzAy KjdDYWxleC5wb3RhbmluKjQwYW51LmVkdS5hdSo3Q2NlY2ViZmVlNmU0NjRkOTQwMzNlMDhkZGZh ZTQyNTEyKjdDZTM3ZDcyNWNhYjVjNDYyNDlhZTVmMDUzM2U0ODY0MzcqN0MwKjdDMCo3QzYzODk0 MjU3OTk4MzQ0MDg5MSo3Q1Vua25vd24qN0NUV0ZwYkdac2IzZDhleUpGYlhCMGVVMWhjR2tpT25S eWRXVXNJbFlpT2lJd0xqQXVNREF3TUNJc0lsQWlPaUpYYVc0ek1pSXNJa0ZPSWpvaVRXRnBiQ0lz SWxkVUlqb3lmUSozRCozRCo3QzAqN0MqN0MqN0Mmc2RhdGE9TWlqMkNFZ2lXSm1BQU16clNtYkNu ejFYdWx0bmF1UlRqRjV4U2FJdkZNcyozRCZyZXNlcnZlZD0wX187SlNVbEpTVWxKU1VsSlNVbEpT VWxKU1VsSlNVbEpTVSEhSUJ6V0xVcyFVZDBDVDZMYldtU1kxTHFVOWpPOXk3dy1oaTdBTUVnR3k5 R2QtYTJzQjdBVmtlRC1PS0pGM1k1NzFteTg0amRBVklNdEdpNEhybWtjdE9iSWE1dDZXNWRXdTFH VmlqakpWQkJuJCA8aHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8v dHlwZXMtbGlzdCA+IF0KClNhbSBhbmQgb3RoZXJzIHNlZW0gdG8gaW1wbHkgdGhhdCBQT1BMLCBQ TERJLCBJQ0ZQLCBPT1BTTEEgbWF5IGJlIGNvbnNpZGVyZWQg4oCUIG9yIG1heSB1c2VmdWxseSBk ZXZlbG9wIGludG8gYmVpbmcg4oCUIGZ1bmdpYmxlIHByZXNlbnRhdGlvbiBhbmQgbWVldGluZyBl dmVudHMgZm9yIFBMIHJlc2VhcmNoIHNwYWNlZCBhY3Jvc3MgdGhlIGNhbGVuZGFyIGFuZCBjb250 aW5lbnRzLiBJZiBQT1BMIHdvbuKAmXQgZG8gKHNjYXJ5IFVTLCB0b28gZmFyIGF3YSksIHByZXNl bnQgYW5kIGF0dGVuZCBhdCBuZWFyYnkgUExESSwgZXRjLiBUaGF04oCZcyBhbiBpbnRlcmVzdGlu ZyB0aG91Z2h0LiBXZSBhbHJlYWR5IGhhdmUgUEFDTVBMIGFzIHRoZSBvdmVyYXJjaGluZyBqb3Vy bmFsIGZvciwgYnkgbm93LCBhbGwgb2YgdGhlbS4gKFdpdGggT0EgdG8gYm9vdC4pCgpHZXR0aW5n IHZpc2FzIGFuZCBob3cgbG9uZyB0aGF0IHRha2VzLCBnZXR0aW5nIHRvIHBsYWNlcyBhbmQgYWZm b3JkaW5nIHRoYXQgaW4gdGltZSBhbmQgbW9uZXksIHBsdXMgIHRoZSBsdWNraWx5LXJhcmUtYnV0 LW5vbnplcm8gcHJvc3BlY3Qgb2YgdHJ1bHkgdW5wbGVhc2FudCBwZXJzb25hbCBjb25zZXF1ZW5j ZXMsIGhhdmUgYmVlbiBhIHNpZ25pZmljYW50IGZhY3RvciBmb3IgUnVzc2lhbnMsIENoaW5lc2Ug SW5kaWFucyBhbmQgb3RoZXJzIHRvIHZhcmlvdXMgZGVncmVlcyBmb3IgbWFueSB5ZWFycyAobGVz cyBzbyBmb3IgQW1lcmljYW5zLCBKYXBhbmVzZSBhbmQgRXVyb3BlYW5zKS4gIE1heWJlIHRoZSBw cmVzZW50IHZvbGF0aWxlIOKAlCBkYXJlIEkgc2F5IHNjYXJ5PyDigJQgY29udGV4dCBvZiBVUyBw b2xpdGljcyBjYW4gc2VydmUgYXMgYSBidXJuaW5nIHBsYXRmb3JtIGZvciBkaXNjdXNzaW5nIGFu ZCBtYXliZSBldmVudHVhbGx5IGV2ZW4gZWZmZWN0aW5nIGNoYW5nZXMgdG8gUEwgYnVzaW5lc3Mg YXMgdXN1YWwgc3VjaCBhcyBjb29yZGluYXRpbmcgdGhlIFBBQ01QTCBtZWV0aW5ncyBhcyBTYW0g c3VnZ2VzdHMuCgpGCgpQUzogRGVyZWssIHlvdSB3cml0ZSB0aGF0IHRoZSBwcmVzZW50IGRpc2N1 c3Npb25zIHNob3VsZCBiZXN0IG1vdmUgdG8gYSBicm9hZGVyIFNJR1BMQU4gY29tbXVuaXR5IHBs YXRmb3JtLiBJ4oCZbSB0aGFua2Z1bCBmb3IgaGF2aW5nIGRpc2NvdmVyZWQgYW5kIGJlaW5nIGFi bGUgdG8gZm9sbG93IHRoaXMgZGlzY3Vzc2lvbiB2aWEgVHlwZXMg4oCUIGlzIHRoZXJlIGEgYnJv YWRlciBvcGVuIHBsYXRmb3JtIGZvciBhbGwgb2YgU0lHUExBTiB0aGF0IGluY2x1ZGVzIGJvdGgg Y2FyZC1jYXJyeWluZyBtZW1iZXJzIGFuZCBvcmRpbmFyeSBQTCBhZmljaW9uYWRvcyBicm9hZGx5 PwoKUFBTOiBOb3QgY29weWluZyB0aGUgcHJldmlvdXMgcG9zdHMgc2luY2UgdG9wIHBvc3Rpbmcg aXMgYW4gTyhuXjIpIGFsZ29yaXRobS4KCkZyaXR6IEhlbmdsZWluCis0NS0zMDU4OTU3Ngo=