Re: [TYPES] Could we temporarily stop having conferences in the US?
Niki Vazou <[email protected]> Tue, 23 Sep 2025 12:20:41 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAG9wkeXo5D6z-a7pspAusCwpnHesSHqPCH9aR7rEo9c_bHJnog@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGV5LAoKSSBhbHNvIGFncmVlIHRoYXQgbW92aW5nIGlzIGdl dHRpbmcgbW9yZSBjb21wbGljYXRlZCAoYm90aCBmb3IgdGhlCmdlb3BvbGl0aWNhbCBldmVudHMg YW5kIHRoZSBlbnZpcm9ubWVudC4uLikKU28sIG1heWJlIGEgZ29vZCBhbHRlcm5hdGl2ZSB3b3Vs ZCBiZSwgaW4gcGFyYWxsZWwgdG8gdGhlIG1haW4gZXZlbnQsIHRvCmhhdmUgc2F0ZWxsaXRlIGV2 ZW50cy4gRm9yIGV4YW1wbGUsIHdoZW4gYSBjb25mZXJlbmNlIGhhcHBlbnMgaW4gVVNBLCB0bwpo YXZlIHBhcnRpY2lwYW50cyBnYXRoZXIgaW4gYW5vdGhlciBjb3VudHJ5IHRvIGF0dGVuZC9wYXJ0 aWNpcGF0ZS4KCkJlc3QsCk5pa2kKCk9uIE1vbiwgU2VwIDIyLCAyMDI1IGF0IDU6MzXigK9QTSBK dWxpYSBCZWx5YWtvdmEgPGp1bGJpbmJAZ21haWwuY29tPiB3cm90ZToKCj4gWyBUaGUgVHlwZXMg Rm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVz LWxpc3QgCj4gXQo+Cj4gSSBkb24ndCBkaXNhZ3JlZSB0aGF0IHRoZSBVUyBpcyBub3QgYSB3ZWxj b21lIGRlc3RpbmF0aW9uIGZvciBtYW55IHBlb3BsZQo+IHJpZ2h0IG5vdy4KPgo+IEkgZGlkIHdh bnQgdG8gcG9pbnQgb3V0IHRoZSBleGlzdGVuY2Ugb2YgdGhlIHRyYXBwZWQtaW4tdGhlLVVTCj4g aW50ZXJuYXRpb25hbCBjb21tdW5pdHkgYmVjYXVzZSBpbiBteSBleHBlcmllbmNlLCBhIGxvdCBv ZiBwZW9wbGUsCj4gdW5kZXJzdGFuZGFibHksIGFyZSBub3QgYXdhcmUgb2YgdGhpcyBwaGVub21l bm9uLgo+Cj4gSW4gZ2VuZXJhbCwgdGhlcmUgYXJlIG1hbnkgcmVhc29ucyB3aHkgYW4gaW5kaXZp ZHVhbCBjYW5ub3QgdHJhdmVsIHRvIGEKPiBwYXJ0aWN1bGFyIGxvY2F0aW9uLCBiZSBpdCB0aGUg VVMgb3IgYW5vdGhlciBjb3VudHJ5Lgo+Cj4gVG8gYmUgY29uc3RydWN0aXZlLCBJIHdvdWxkIGxp a2UgdG8gYW1wbGlmeSBhbiBhbHRlcm5hdGl2ZSBzdWdnZXN0aW9uCj4gZGlzY3Vzc2VkIGluIFp1 bGlwLCB3aGljaCBpcyB0byBoYXZlIGFuIGV4cGxpY2l0IHBvbGljeSBmb3IgcHJlc2VudGluZyB0 aGUKPiBwYXBlciBhdCBhIGRpZmZlcmVudCBjb25mZXJlbmNlIHRoYXQgaXMgaGVsZCBpbiBhIG1v cmUgc3VpdGFibGUgbG9jYXRpb24KPiBmb3IgdGhlIGF1dGhvci4gU2ltaWxhciB0byB3aGF0IFNJ R1BMQU4tdHJhY2sgaGFzIGJlZW4gZG9pbmcgYXQgU1BMQVNILgo+Cj4gT2YgY291cnNlLCBpdCB3 b3VsZCByZXF1aXJlIG1vcmUgY29vcmRpbmF0aW9uIGFjcm9zcyB0aGUgY29uZmVyZW5jZXMgYW5k IGFuCj4gYWRkaXRpb25hbCBsb2dpc3RpY3MgYnVyZGVuIG9uIG9yZ2FuaXplcnMuCj4KPiAtLQo+ IEtpbmQgcmVnYXJkcywgSnVsaWEKPgo+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRw czovL2p1bGJpbmIuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXQVg3eHlCc2RaVDNvTUZLMGxtNWRG bWFrNW52V3N6SF9UdC10bF84TXlSdWdhRVl6aDNTbS1XbWluVE1UUmVWM0xMTmxQVU9KSWpCay0z RkRNV3REc1BNZmRzJAo+Cj4gT24gTW9uLCBTZXAgMjIsIDIwMjUsIDEyOjI34oCvQU0gU2Fuaml2 YSBQcmFzYWQgPHNhbmppdmFAY3NlLmlpdGQuYWMuaW4+Cj4gd3JvdGU6Cj4KPiA+IFNvIGlhPXMg bXkgc29uIChmb3IgSU5TIHJlYXNvbnMpIC0tIGNvdWxkIG5vdCBhdHRlbmQgRUNPT1Agb3IgQ0FW IHRoaXMKPiA+IHllYXIgd2hlcmUgaGUgaGFkIGJlc3QgcGFwZXJzLgo+ID4KPiA+IEJ1dCBjb21w dXRlciBzY2llbmNlIGlzIG5vdCBhIFVTIG1vbm9wb2x5IChub3QgZXZlbiBpbiBBQ00gbm93LCB0 aG91Z2gKPiA+IHJlZ2lzdGVyZWQgaW4gdGhlIFVTKS4KPiA+IEl0IGNvc3RzIEluZGlhbnMgYW5k IENoaW5lc2UgYW5kIHNvbWUgb3RoZXJzIFVTRDI1MCBvdmVyIHRoZSB2aXNhIGNvc3RzCj4gPiBq dXN0IHRvIGVudGVyIHRoZSBVUy4KPiA+IEFtIG5vdCBzYXlpbmcgdGhhdCBnZXR0aW5nIGludG8g RXVyb3BlIG9yIEluZGlhIGlzIGVhc2llciwgYnV0IFVTIGlzIG5vdAo+ID4gYSB3ZWxjb21lIGRl c3RpbmF0aW9uIGZvciBtYW55IHJpZ2h0IG5vdy4KPiA+Cj4gPiBPbiAyMi8wOS8yNSAwNDoxOCwg SnVsaWEgQmVseWFrb3ZhIHdyb3RlOgo+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPiA+IGh0dHA6 Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICBdCj4g PiA+Cj4gPiA+IEkgdW5kZXJzdGFuZCB0aGlzIHBvc2l0aW9uIGJ1dCBqdXN0IHdhbnQgdG8gcmVt aW5kIHRoYXQgdGhlcmUgYXJlIG1hbnkKPiA+ID4gaW50ZXJuYXRpb25hbCBzdHVkZW50cyBhbmQg cHJvZmVzc2lvbmFscyBpbiB0aGUgY29tbXVuaXR5IHdobyBhcmUgc3R1Y2sKPiA+ID4gaW5zaWRl IHRoZSBVUyBhbmQgY2Fubm90IGNyb3NzIHRoZSBib3JkZXIsIGV2ZW4gdG8gZ28gQ2FuYWRhLgo+ ID4gPgo+ID4gPiBJLCBmb3Igb25lLCBoYXZlIGJlZW4gc3R1Y2sgaW4gdGhlIFVTIHNpbmNlIDIw MjAuCj4gPiA+Cj4gPgo+ID4gLS0KPiA+IFNhbmppdmEgUHJhc2FkCj4gPiBQcm9mZXNzb3IsIERl cGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSBhbmQgRW5naW5lZXJpbmcKPiA+IEluZGlhbiBJ bnN0aXR1dGUgb2YgVGVjaG5vbG9neSBEZWxoaSAoSUlUIERlbGhpKQo+ID4KPiA+Cj4gPgo+CgoK LS0gCk5pa2kgVmF6b3UK