Re: [TYPES] Could we temporarily stop having conferences in the US?
Artem Shinkarov <tema-A2/[email protected]> Tue, 23 Sep 2025 13:20:01 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <qAFoKLw3Fx-V6fEud36R508JXibP2gYiLYxSmFSUhjaDfFWAR4lGHGMHalWvIh7y_7JoXD6BQ_YvUqzzyg5TT9cq-CHQ91xWq4x1utdgM28=@pm.me> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGkKCkl0IGFwcGVhcnMgdGhhdCB0aGUgYXJndW1lbnQgcmVn YXJkaW5nIGJlaW5nICJ0cmFwcGVkIGluIiBpcyBkaXZlcnRpbmcgdGhlIGRpc2N1c3Npb24gZnJv bSB0aGUgaW50ZW50IG9mIHRoZSBvcmlnaW5hbCBwb3N0OiB0aGUgdG94aWMgYXR0aXR1ZGUgb2Yg dGhlIFVTIHRvd2FyZHMgcmVzZWFyY2ggYW5kIHJlc2VhcmNoZXJzLCB3aGljaCByZXF1aXJlcyBh Y3Rpb24gZnJvbSB0aGUgcmVzZWFyY2ggY29tbXVuaXR5LiBCYW4gb24gY29uZmVyZW5jZXMgaW4g dGhlIFVTIGNvdWxkIHNlcnZlIGFzIGEgbWVhbmluZ2Z1bCBzdGF0ZW1lbnQgb3IgZ2VzdHVyZSB0 aGF0IHdlIG91Z2h0IHRvIGNvbnNpZGVyLgoKVGhlIGlzc3VlIG9mIGJlaW5nICJ0cmFwcGVkIGlu IiBpcyBpbmRlZWQgb25lIG9mIHRoZSBkcmF3YmFja3MgaGlnaGxpZ2h0ZWQgaW4gdGhlIG9yaWdp bmFsIHBvc3QuIEhvd2V2ZXIsIHRoaXMgc2l0dWF0aW9uIGlzIG5vdCB1bmlxdWUgdG8gdGhlIFVT OyBzaW1pbGFyIGNoYWxsZW5nZXMgYXJpc2UgaW4gb3RoZXIgY291bnRyaWVzIGFzIHdlbGwuIEZv ciBpbnN0YW5jZSwgaW5kaXZpZHVhbHMgb24gdmlzYXMgaW4gdGhlIFVLIG1heSBmaW5kIHRoZW1z ZWx2ZXMgdW5hYmxlIHRvIHRyYXZlbCB0byBFdXJvcGUsIHRoZSBVUywgYW5kIGJleW9uZC4gQXMg bm90ZWQgaW4gcHJldmlvdXMgZGlzY3Vzc2lvbnMsIHdlIGNhbiBhZGRyZXNzIHRoaXMgaXNzdWUg YnkgZW5zdXJpbmcgYWRlcXVhdGUgb25saW5lIHBhcnRpY2lwYXRpb24gYW5kIGV4cGxvcmluZyB0 aGUgcG9zc2liaWxpdHkgb2Ygc2F0ZWxsaXRlIGV2ZW50cy4gTmV2ZXJ0aGVsZXNzLCB0aGUgY3J1 Y2lhbCBxdWVzdGlvbiByZW1haW5zOiBpcyB0aGUgcmVzZWFyY2ggY29tbXVuaXR5IHByZXBhcmVk IHRvIGV4cHJlc3MgaXRzIHN0YW5jZSBvbiB0aGlzIG1hdHRlciwgYW5kIHdoYXQgaXMgdGhlIG1v c3QgZWZmZWN0aXZlIHdheSB0byBkbyBzbz8KCgoKQ2hlZXJzLApBcnRlbQoKCgpPbiBUdWVzZGF5 LCBTZXB0ZW1iZXIgMjNyZCwgMjAyNSBhdCAxOjM2IFBNLCBOaWtpIFZhem91IDxuaWtpdmF6b3VA Z21haWwuY29tPiB3cm90ZToKCj4gCj4gCj4gWyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0 cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgIF0KPiAKPiBIZXks Cj4gCj4gSSBhbHNvIGFncmVlIHRoYXQgbW92aW5nIGlzIGdldHRpbmcgbW9yZSBjb21wbGljYXRl ZCAoYm90aCBmb3IgdGhlCj4gZ2VvcG9saXRpY2FsIGV2ZW50cyBhbmQgdGhlIGVudmlyb25tZW50 Li4uKQo+IFNvLCBtYXliZSBhIGdvb2QgYWx0ZXJuYXRpdmUgd291bGQgYmUsIGluIHBhcmFsbGVs IHRvIHRoZSBtYWluIGV2ZW50LCB0bwo+IGhhdmUgc2F0ZWxsaXRlIGV2ZW50cy4gRm9yIGV4YW1w bGUsIHdoZW4gYSBjb25mZXJlbmNlIGhhcHBlbnMgaW4gVVNBLCB0bwo+IGhhdmUgcGFydGljaXBh bnRzIGdhdGhlciBpbiBhbm90aGVyIGNvdW50cnkgdG8gYXR0ZW5kL3BhcnRpY2lwYXRlLgo+IAo+ IEJlc3QsCj4gTmlraQo+IAo+IE9uIE1vbiwgU2VwIDIyLCAyMDI1IGF0IDU6MzXigK9QTSBKdWxp YSBCZWx5YWtvdmEganVsYmluYkBnbWFpbC5jb20gd3JvdGU6Cj4gCj4gPiBbIFRoZSBUeXBlcyBG b3J1bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMt bGlzdCAKPiA+IF0KPiA+IAo+ID4gSSBkb24ndCBkaXNhZ3JlZSB0aGF0IHRoZSBVUyBpcyBub3Qg YSB3ZWxjb21lIGRlc3RpbmF0aW9uIGZvciBtYW55IHBlb3BsZQo+ID4gcmlnaHQgbm93Lgo+ID4g Cj4gPiBJIGRpZCB3YW50IHRvIHBvaW50IG91dCB0aGUgZXhpc3RlbmNlIG9mIHRoZSB0cmFwcGVk LWluLXRoZS1VUwo+ID4gaW50ZXJuYXRpb25hbCBjb21tdW5pdHkgYmVjYXVzZSBpbiBteSBleHBl cmllbmNlLCBhIGxvdCBvZiBwZW9wbGUsCj4gPiB1bmRlcnN0YW5kYWJseSwgYXJlIG5vdCBhd2Fy ZSBvZiB0aGlzIHBoZW5vbWVub24uCj4gPiAKPiA+IEluIGdlbmVyYWwsIHRoZXJlIGFyZSBtYW55 IHJlYXNvbnMgd2h5IGFuIGluZGl2aWR1YWwgY2Fubm90IHRyYXZlbCB0byBhCj4gPiBwYXJ0aWN1 bGFyIGxvY2F0aW9uLCBiZSBpdCB0aGUgVVMgb3IgYW5vdGhlciBjb3VudHJ5Lgo+ID4gCj4gPiBU byBiZSBjb25zdHJ1Y3RpdmUsIEkgd291bGQgbGlrZSB0byBhbXBsaWZ5IGFuIGFsdGVybmF0aXZl IHN1Z2dlc3Rpb24KPiA+IGRpc2N1c3NlZCBpbiBadWxpcCwgd2hpY2ggaXMgdG8gaGF2ZSBhbiBl eHBsaWNpdCBwb2xpY3kgZm9yIHByZXNlbnRpbmcgdGhlCj4gPiBwYXBlciBhdCBhIGRpZmZlcmVu dCBjb25mZXJlbmNlIHRoYXQgaXMgaGVsZCBpbiBhIG1vcmUgc3VpdGFibGUgbG9jYXRpb24KPiA+ IGZvciB0aGUgYXV0aG9yLiBTaW1pbGFyIHRvIHdoYXQgU0lHUExBTi10cmFjayBoYXMgYmVlbiBk b2luZyBhdCBTUExBU0guCj4gPiAKPiA+IE9mIGNvdXJzZSwgaXQgd291bGQgcmVxdWlyZSBtb3Jl IGNvb3JkaW5hdGlvbiBhY3Jvc3MgdGhlIGNvbmZlcmVuY2VzIGFuZCBhbgo+ID4gYWRkaXRpb25h bCBsb2dpc3RpY3MgYnVyZGVuIG9uIG9yZ2FuaXplcnMuCj4gPiAKPiA+IC0tCj4gPiBLaW5kIHJl Z2FyZHMsIEp1bGlhCj4gPiAKPiA+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczov L2p1bGJpbmIuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXQVg3eHlCc2RaVDNvTUZLMGxtNWRGbWFr NW52V3N6SF9UdC10bF84TXlSdWdhRVl6aDNTbS1XbWluVE1UUmVWM0xMTmxQVU9KSWpCay0zRkRN V3REc1BNZmRzJAo+ID4gCj4gPiBPbiBNb24sIFNlcCAyMiwgMjAyNSwgMTI6MjfigK9BTSBTYW5q aXZhIFByYXNhZCBzYW5qaXZhQGNzZS5paXRkLmFjLmluCj4gPiB3cm90ZToKPiA+IAo+ID4gPiBT byBpYT1zIG15IHNvbiAoZm9yIElOUyByZWFzb25zKSAtLSBjb3VsZCBub3QgYXR0ZW5kIEVDT09Q IG9yIENBViB0aGlzCj4gPiA+IHllYXIgd2hlcmUgaGUgaGFkIGJlc3QgcGFwZXJzLgo+ID4gPiAK PiA+ID4gQnV0IGNvbXB1dGVyIHNjaWVuY2UgaXMgbm90IGEgVVMgbW9ub3BvbHkgKG5vdCBldmVu IGluIEFDTSBub3csIHRob3VnaAo+ID4gPiByZWdpc3RlcmVkIGluIHRoZSBVUykuCj4gPiA+IEl0 IGNvc3RzIEluZGlhbnMgYW5kIENoaW5lc2UgYW5kIHNvbWUgb3RoZXJzIFVTRDI1MCBvdmVyIHRo ZSB2aXNhIGNvc3RzCj4gPiA+IGp1c3QgdG8gZW50ZXIgdGhlIFVTLgo+ID4gPiBBbSBub3Qgc2F5 aW5nIHRoYXQgZ2V0dGluZyBpbnRvIEV1cm9wZSBvciBJbmRpYSBpcyBlYXNpZXIsIGJ1dCBVUyBp cyBub3QKPiA+ID4gYSB3ZWxjb21lIGRlc3RpbmF0aW9uIGZvciBtYW55IHJpZ2h0IG5vdy4KPiA+ ID4gCj4gPiA+IE9uIDIyLzA5LzI1IDA0OjE4LCBKdWxpYSBCZWx5YWtvdmEgd3JvdGU6Cj4gPiA+ IAo+ID4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+ID4gPiA+IGh0dHA6Ly9saXN0cy5zZWFzLnVw ZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgIF0KPiA+ID4gPiAKPiA+ID4gPiBJ IHVuZGVyc3RhbmQgdGhpcyBwb3NpdGlvbiBidXQganVzdCB3YW50IHRvIHJlbWluZCB0aGF0IHRo ZXJlIGFyZSBtYW55Cj4gPiA+ID4gaW50ZXJuYXRpb25hbCBzdHVkZW50cyBhbmQgcHJvZmVzc2lv bmFscyBpbiB0aGUgY29tbXVuaXR5IHdobyBhcmUgc3R1Y2sKPiA+ID4gPiBpbnNpZGUgdGhlIFVT IGFuZCBjYW5ub3QgY3Jvc3MgdGhlIGJvcmRlciwgZXZlbiB0byBnbyBDYW5hZGEuCj4gPiA+ID4g Cj4gPiA+ID4gSSwgZm9yIG9uZSwgaGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBVUyBzaW5jZSAyMDIw Lgo+ID4gPiAKPiA+ID4gLS0KPiA+ID4gU2Fuaml2YSBQcmFzYWQKPiA+ID4gUHJvZmVzc29yLCBE ZXBhcnRtZW50IG9mIENvbXB1dGVyIFNjaWVuY2UgYW5kIEVuZ2luZWVyaW5nCj4gPiA+IEluZGlh biBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSBEZWxoaSAoSUlUIERlbGhpKQo+IAo+IAo+IAo+IC0t Cj4gTmlraSBWYXpvdQo=