Re: [TYPES] Could we temporarily stop having conferences in the US?
Alex Potanin <[email protected]> Tue, 23 Sep 2025 06:18:35 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <SYYP282MB10064E24647CADD3F54B68B5BD1DA@SYYP282MB1006.AUSP282.PROD.OUTLOOK.COM> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGVsbG8sCgpPZiBub3RlLCB0aGUgYmVsb3cgb3B0aW9uIGlz IHZlcnkgY29zdGx5IHNvIG5vdCBhbiBvYnZpb3VzIHNvbHV0aW9uLiBUaGlzIGNhbiBiZSBkb25l IG9ubHkgb24gdGhlIGFzc3VtcHRpb24gdGhhdCB0aGUgcmVtb3RlIHByZXNlbnRlcnMgcGF5IHRo ZSBzYW1lIGZlZSBhcyB0aGUgaW4gcGVyc29uIGF0dGVuZGVlcy4gOi0pCgpPdGhlcndpc2UgdGhl IGNvb3JkaW5hdGlvbiBhbmQgcGxhbm5pbmcgY29zdHMgd2lsbCBzaW1wbHkgbm90IGFkZCB1cC4g QW55IHN1Z2dlc3Rpb25zIG9uIHRoaXMgbWF0dGVyIGFyZSB3ZWxjb21lLiDwn5iKIEh5YnJpZCBp cyB2ZXJ5IGhhcmQgdG8gZG8gd2VsbCAtIHdlIHRyaWVkIQoKQ2hlZXJzLApBbGV4LgoKRnJvbTog VHlwZXMtbGlzdCA8dHlwZXMtbGlzdC1ib3VuY2VzQExJU1RTLlNFQVMuVVBFTk4uRURVPiBvbiBi ZWhhbGYgb2YgRWlqaXJvIFN1bWlpIDxlaWppcm8uc3VtaWlAZ21haWwuY29tPgpEYXRlOiBUdWVz ZGF5LCAyMyBTZXB0ZW1iZXIgMjAyNSBhdCA0OjE14oCvcG0KVG86IFR5cGVzIGxpc3QgPHR5cGVz LWxpc3RAbGlzdHMuc2Vhcy51cGVubi5lZHU+ClN1YmplY3Q6IFJlOiBbVFlQRVNdIENvdWxkIHdl IHRlbXBvcmFyaWx5IHN0b3AgaGF2aW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUz8KCltZb3UgZG9u J3Qgb2Z0ZW4gZ2V0IGVtYWlsIGZyb20gZWlqaXJvLnN1bWlpQGdtYWlsLmNvbS4gTGVhcm4gd2h5 IHRoaXMgaXMgaW1wb3J0YW50IGF0IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczov L2FrYS5tcy9MZWFybkFib3V0U2VuZGVySWRlbnRpZmljYXRpb25fXzshIUlCeldMVXMhWE1uTTFj NGdIdkNwXzhXWnBHQmJVbUZFZ0ZaRDZvdDNhaTRTZnZORGFZRTI5b0dTTVZVOFdjdTcxV0tDdVBj T3d3Tm43MUpiaGZBalJFTV9IcXRxUnpmdzdHZnZMNDFZa1B3UiQgIF0KClsgVGhlIFR5cGVzIEZv cnVtLCBodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9hdXMwMS5zYWZlbGlua3Mu cHJvdGVjdGlvbi5vdXRsb29rLmNvbS8/dXJsPWh0dHAqM0EqMkYqMkZsaXN0cy5zZWFzLnVwZW5u LmVkdSoyRm1haWxtYW4qMkZsaXN0aW5mbyoyRnR5cGVzLWxpc3QmZGF0YT0wNSo3QzAyKjdDYWxl eC5wb3RhbmluKjQwYW51LmVkdS5hdSo3QzQ4N2VkNDA0NjkwNjRlOTBkOTRjMDhkZGY5ZWM5NTk4 KjdDZTM3ZDcyNWNhYjVjNDYyNDlhZTVmMDUzM2U0ODY0MzcqN0MwKjdDMCo3QzYzODk0MjA0OTIw NTczNDEyNCo3Q1Vua25vd24qN0NUV0ZwYkdac2IzZDhleUpGYlhCMGVVMWhjR2tpT25SeWRXVXNJ bFlpT2lJd0xqQXVNREF3TUNJc0lsQWlPaUpYYVc0ek1pSXNJa0ZPSWpvaVRXRnBiQ0lzSWxkVUlq b3lmUSozRCozRCo3QzYwMDAwKjdDKjdDKjdDJnNkYXRhPUd5KjJCaUhVNlZESEJOKjJGUGZaTWpw MWRMQ2lCM3dqeDJGVXd1dTFVSTlXMSoyQjgqM0QmcmVzZXJ2ZWQ9MF9fO0pTVWxKU1VsSlNVbEpT VWxKU1VsSlNVbEpTVWxKU1VsSlNVISFJQnpXTFVzIVhNbk0xYzRnSHZDcF84V1pwR0JiVW1GRWdG WkQ2b3QzYWk0U2Z2TkRhWUUyOW9HU01WVThXY3U3MVdLQ3VQY093d05uNzFKYmhmQWpSRU1fSHF0 cVJ6Znc3R2Z2TDNrTGxEWWMkIDxodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9s aXN0aW5mby90eXBlcy1saXN0ID4gXQoKRGVhciBhbGwsCgpJdCBzZWVtcyB2ZXJ5IHJlYXNvbmFi bGUgYXQgbGVhc3QgdG8gYWxsb3cgb25saW5lIHBhcnRpY2lwYXRpb25zIGFuZApwcmVzZW50YXRp b25zIGFnYWluLCBldmVuIGZvciBhZGRpdGlvbmFsIHJlYXNvbnMgc3VjaCBhcyBpbmNsdXNpb24g YW5kCmdsb2JhbCB3YXJtaW5nIGFzIHdlbGwuCgogICAgICAgIEVpamlybwoKCk9uIE1vbiwgU2Vw IDIyLCAyMDI1IGF0IDExOjI44oCvQU0gSnVsaWEgQmVseWFrb3ZhIDxqdWxiaW5iQGdtYWlsLmNv bT4gd3JvdGU6Cj4KPiBbIFRoZSBUeXBlcyBGb3J1bSwgaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92 My9fX2h0dHBzOi8vYXVzMDEuc2FmZWxpbmtzLnByb3RlY3Rpb24ub3V0bG9vay5jb20vP3VybD1o dHRwKjNBKjJGKjJGbGlzdHMuc2Vhcy51cGVubi5lZHUqMkZtYWlsbWFuKjJGbGlzdGluZm8qMkZ0 eXBlcy1saXN0JmRhdGE9MDUqN0MwMio3Q2FsZXgucG90YW5pbio0MGFudS5lZHUuYXUqN0M0ODdl ZDQwNDY5MDY0ZTkwZDk0YzA4ZGRmOWVjOTU5OCo3Q2UzN2Q3MjVjYWI1YzQ2MjQ5YWU1ZjA1MzNl NDg2NDM3KjdDMCo3QzAqN0M2Mzg5NDIwNDkyMDU3NTk4ODYqN0NVbmtub3duKjdDVFdGcGJHWnNi M2Q4ZXlKRmJYQjBlVTFoY0draU9uUnlkV1VzSWxZaU9pSXdMakF1TURBd01DSXNJbEFpT2lKWGFX NHpNaUlzSWtGT0lqb2lUV0ZwYkNJc0lsZFVJam95ZlEqM0QqM0QqN0M2MDAwMCo3Qyo3Qyo3QyZz ZGF0YT1CRTFQeGJ5Tm9XamRhdzJ2NDA1Wk5nMioyRjY3VUxKWGo5cm9XQ1IyUEVMeUEqM0QmcmVz ZXJ2ZWQ9MF9fO0pTVWxKU1VsSlNVbEpTVWxKU1VsSlNVbEpTVWxKU1VsISFJQnpXTFVzIVhNbk0x YzRnSHZDcF84V1pwR0JiVW1GRWdGWkQ2b3QzYWk0U2Z2TkRhWUUyOW9HU01WVThXY3U3MVdLQ3VQ Y093d05uNzFKYmhmQWpSRU1fSHF0cVJ6Znc3R2Z2THhHS0huZk4kIDxodHRwOi8vbGlzdHMuc2Vh cy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ID4gIF0KPgo+IEkgdW5kZXJz dGFuZCB0aGlzIHBvc2l0aW9uIGJ1dCBqdXN0IHdhbnQgdG8gcmVtaW5kIHRoYXQgdGhlcmUgYXJl IG1hbnkKPiBpbnRlcm5hdGlvbmFsIHN0dWRlbnRzIGFuZCBwcm9mZXNzaW9uYWxzIGluIHRoZSBj b21tdW5pdHkgd2hvIGFyZSBzdHVjawo+IGluc2lkZSB0aGUgVVMgYW5kIGNhbm5vdCBjcm9zcyB0 aGUgYm9yZGVyLCBldmVuIHRvIGdvIENhbmFkYS4KPgo+IEksIGZvciBvbmUsIGhhdmUgYmVlbiBz dHVjayBpbiB0aGUgVVMgc2luY2UgMjAyMC4KPgo+IC0tCj4gS2luZCByZWdhcmRzLCBKdWxpYQo+ IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2F1czAxLnNhZmVsaW5rcy5wcm90 ZWN0aW9uLm91dGxvb2suY29tLz91cmw9aHR0cHMqM0EqMkYqMkZ1cmxkZWZlbnNlLmNvbSoyRnYz KjJGX19odHRwcyozQSoyRioyRmp1bGJpbmIuZ2l0aHViLmlvKjJGX18qM0IhIUlCeldMVXMhVGZC VXREX25tYmZYNVptY3dIbjYtaHByQ2pZdXcwbTZqUUtHM3p4VDlWcERfalNOQzU3VWFfWExfUmdk VUQ2aXROaTRjbURNTGcwNVNwZFJxRnhpZjB3bkU3YyoyNCZkYXRhPTA1KjdDMDIqN0NhbGV4LnBv dGFuaW4qNDBhbnUuZWR1LmF1KjdDNDg3ZWQ0MDQ2OTA2NGU5MGQ5NGMwOGRkZjllYzk1OTgqN0Nl MzdkNzI1Y2FiNWM0NjI0OWFlNWYwNTMzZTQ4NjQzNyo3QzAqN0MwKjdDNjM4OTQyMDQ5MjA1Nzc1 NDIxKjdDVW5rbm93bio3Q1RXRnBiR1pzYjNkOGV5SkZiWEIwZVUxaGNHa2lPblJ5ZFdVc0lsWWlP aUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJc0lrRk9Jam9pVFdGcGJDSXNJbGRVSWpveWZR KjNEKjNEKjdDNjAwMDAqN0MqN0MqN0Mmc2RhdGE9S3JCakgqMkJpRFRLNmJqbWwzbUN5OVk2WEp0 UTNJbkdYSnNRSVg1aFIyUjBjKjNEJnJlc2VydmVkPTBfXztKU1VsSlNVbEpTVWxKU1VsSlNVbEpT VWxKU1VsSlNVbEpTVWxKU1UhIUlCeldMVXMhWE1uTTFjNGdIdkNwXzhXWnBHQmJVbUZFZ0ZaRDZv dDNhaTRTZnZORGFZRTI5b0dTTVZVOFdjdTcxV0tDdVBjT3d3Tm43MUpiaGZBalJFTV9IcXRxUnpm dzdHZnZMNG9IOFpreSQgPGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2p1bGJp bmIuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFUZkJVdERfbm1iZlg1Wm1jd0huNi1ocHJDall1dzBt NmpRS0czenhUOVZwRF9qU05DNTdVYV9YTF9SZ2RVRDZpdE5pNGNtRE1MZzA1U3BkUnFGeGlmMHdu RTdjJD4KPgo+IE9uIEZyaSwgU2VwIDE5LCAyMDI1LCAxMDoyOOKAr0FNIEJldGEgWmlsaWFuaSA8 YmV0YS56aWxpYW5pQGdtYWlsLmNvbT4gd3JvdGU6Cj4KPiA+IFsgVGhlIFR5cGVzIEZvcnVtLCBo dHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly9hdXMwMS5zYWZlbGlua3MucHJvdGVj dGlvbi5vdXRsb29rLmNvbS8/dXJsPWh0dHAqM0EqMkYqMkZsaXN0cy5zZWFzLnVwZW5uLmVkdSoy Rm1haWxtYW4qMkZsaXN0aW5mbyoyRnR5cGVzLWxpc3QmZGF0YT0wNSo3QzAyKjdDYWxleC5wb3Rh bmluKjQwYW51LmVkdS5hdSo3QzQ4N2VkNDA0NjkwNjRlOTBkOTRjMDhkZGY5ZWM5NTk4KjdDZTM3 ZDcyNWNhYjVjNDYyNDlhZTVmMDUzM2U0ODY0MzcqN0MwKjdDMCo3QzYzODk0MjA0OTIwNTc4OTkw MCo3Q1Vua25vd24qN0NUV0ZwYkdac2IzZDhleUpGYlhCMGVVMWhjR2tpT25SeWRXVXNJbFlpT2lJ d0xqQXVNREF3TUNJc0lsQWlPaUpYYVc0ek1pSXNJa0ZPSWpvaVRXRnBiQ0lzSWxkVUlqb3lmUSoz RCozRCo3QzYwMDAwKjdDKjdDKjdDJnNkYXRhPSoyQnBjVkQ3WklzaWVWOXVaKjJCak9IQ0o0c0Vy TEpWbmhQdXFGdDZqZkFNRXZBKjNEJnJlc2VydmVkPTBfXztKU1VsSlNVbEpTVWxKU1VsSlNVbEpT VWxKU1VsSlNVbEpRISFJQnpXTFVzIVhNbk0xYzRnSHZDcF84V1pwR0JiVW1GRWdGWkQ2b3QzYWk0 U2Z2TkRhWUUyOW9HU01WVThXY3U3MVdLQ3VQY093d05uNzFKYmhmQWpSRU1fSHF0cVJ6Znc3R2Z2 TDJ2SmptUGwkIDxodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90 eXBlcy1saXN0ID4KPiA+IF0KPiA+Cj4gPiBJIHNlY29uZCB0aGlzIHBvc2l0aW9uIHN0cm9uZ2x5 LiBUaGFua3MgR2FicmllbCBmb3IgYnJpbmdpbmcgdGhpcyB1cCEKPiA+Cj4gPiBUbyBhbnlvbmUg cmVjb25zaWRlcmluZyBsb2NhdGlvbnMsIGRvIGhhdmUgaW4gbWluZCB0aGF0IHBvb3JseSBjb25u ZWN0ZWQKPiA+IHBsYWNlcyBpbiBOb3J0aCBBbWVyaWNhIHdpbGwgbGlrZWx5IG5lZWQgYSBqdW1w IGZyb20gdGhlIFVTLCBzbyB0aGF0J3MgYWxzbwo+ID4gYSBuby1nby4KPiA+Cj4gPiBPbiBGcmks IFNlcCAxOSwgMjAyNSBhdCAxMToxMeKAr0FNIEdhYnJpZWwgU2NoZXJlciA8Cj4gPiBnYWJyaWVs LnNjaGVyZXJAZ21haWwuY29tPgo+ID4gd3JvdGU6Cj4gPgo+ID4gPiBbIFRoZSBUeXBlcyBGb3J1 bSwKPiA+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2F1czAxLnNhZmVsaW5r cy5wcm90ZWN0aW9uLm91dGxvb2suY29tLz91cmw9aHR0cCozQSoyRioyRmxpc3RzLnNlYXMudXBl bm4uZWR1KjJGbWFpbG1hbioyRmxpc3RpbmZvKjJGdHlwZXMtbGlzdCZkYXRhPTA1KjdDMDIqN0Nh bGV4LnBvdGFuaW4qNDBhbnUuZWR1LmF1KjdDNDg3ZWQ0MDQ2OTA2NGU5MGQ5NGMwOGRkZjllYzk1 OTgqN0NlMzdkNzI1Y2FiNWM0NjI0OWFlNWYwNTMzZTQ4NjQzNyo3QzAqN0MwKjdDNjM4OTQyMDQ5 MjA1ODA0NDYwKjdDVW5rbm93bio3Q1RXRnBiR1pzYjNkOGV5SkZiWEIwZVUxaGNHa2lPblJ5ZFdV c0lsWWlPaUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJc0lrRk9Jam9pVFdGcGJDSXNJbGRV SWpveWZRKjNEKjNEKjdDNjAwMDAqN0MqN0MqN0Mmc2RhdGE9RVIybmFSQ0I5NkUqMkJOOE1wNWxP MTNVTG5zSkhLT0FUbExib3VWUCoyQjlCVXMqM0QmcmVzZXJ2ZWQ9MF9fO0pTVWxKU1VsSlNVbEpT VWxKU1VsSlNVbEpTVWxKU1VsSlEhIUlCeldMVXMhWE1uTTFjNGdIdkNwXzhXWnBHQmJVbUZFZ0Za RDZvdDNhaTRTZnZORGFZRTI5b0dTTVZVOFdjdTcxV0tDdVBjT3d3Tm43MUpiaGZBalJFTV9IcXRx UnpmdzdHZnZMeUdCRTk5cCQgPGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgPgo+ID4gPiBdCj4gPiA+Cj4gPiA+IERlYXIgdHlwZXMtbGlzdCwK PiA+ID4KPiA+ID4gSSdtIHN1cmUgbWFueSBwZW9wbGUgYXJlIGFueGlvdXMgYWJvdXQgdGhlIHBv bGl0aWNhbCBzaXR1YXRpb24gaW4gdGhlIFVTCj4gPiA+IHJpZ2h0IG5vdywgYW5kIEkgd2lzaCB0 aGVtIGJlc3QuCj4gPiA+Cj4gPiA+IENvdWxkIHdlIHRlbXBvcmFyaWx5IHN0b3Agb3JnYW5pemlu ZyBjb25mZXJlbmNlcyBpbiB0aGUgVVM/Cj4gPiA+Cj4gPiA+IEl0IGlzIHByZXR0eSBjbGVhciB0 aGF0IHRoZSBVUyBhcmUgbm90IGEgc2FmZSBwbGFjZSBmb3IgdW5pdmVyc2l0aWVzCj4gPiByaWdo dAo+ID4gPiBub3csIGFuZCBhbHNvIHVucGFsYXRhYmxlLXRvLXVuc2FmZSBmb3IgcGVvcGxlIChl c3BlY2lhbGx5IGZvcmVpZ25lcnMpCj4gPiA+IHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVzLiBUaGUg c2l0dWF0aW9uIGlzIGFsc28gdm9sYXRpbGUgYW5kIGV2b2x2aW5nCj4gPiA+IHJhcGlkbHkgZnJv bSBiYWQgdG8gd29yc2UuIFN1cmVseSBpdCB3b3VsZCBiZSB1bnJlYXNvbmFibGUgdG8gY29tbWl0 IG5vdwo+ID4gdG8KPiA+ID4gb3JnYW5pemUgYSBsYXJnZSBjb25mZXJlbmNlIGluIHRoZSBVUyBu ZXh0IHllYXIsIHJpZ2h0PyBXZWxsLCBQTERJIDIwMjYKPiA+IGlzCj4gPiA+IHBsYW5uaW5nIHRv IGJlIGxvY2F0ZWQgaW4gQm91bGRlciwgQ29sb3JhZG8uIENvdWxkIHRoZSBQTERJIHBlb3BsZSBt YXliZQo+ID4gPiByZWNvbnNpZGVyPyAoSWYgYmVpbmcgaW4gdGhlIEFtZXJpY2FzIGlzIGltcG9y dGFudCwgbWF5YmUgQ2FuYWRhPykKPiA+ID4KPiA+ID4gTm90ZTogSSdtIGF3YXJlIHRoZXJlIGlz IG5vIGdvb2QgY2hvaWNlIG9mIHdoZXJlIHRvIGhvbGQgY29uZmVyZW5jZXMsCj4gPiBldmVyeQo+ ID4gPiBjaG9pY2UgaGFzIGRvd25zaWRlcy4gKEZvciBleGFtcGxlIEV1cm9wZSBpcyBiYWQgZm9y IHBlb3BsZSB3b3JraW5nIGluCj4gPiA+IHZhcmlvdXMgbm9uLXdlc3Rlcm4gY291bnRyaWVzIGR1 ZSB0byB2ZXJ5IHN0cmluZ2VudCByZXF1aXJlbWVudHMuKSBCdXQKPiA+IHRoZQo+ID4gPiBVUyBz ZWVtcyBlc3BlY2lhbGx5IGJhZCByaWdodCBub3cuCj4gPiA+Cj4gPgo=