Re: [TYPES] Could we temporarily stop having conferences in the US?
Andreas Rossberg <[email protected]> Fri, 19 Sep 2025 17:23:36 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKKzEsIHVuZm9ydHVuYXRlbHkuCgo+IE9uIDE5LiBTZXAgMjAy NSwgYXQgMTY6MjIsIEJldGEgWmlsaWFuaSA8YmV0YS56aWxpYW5pQGdtYWlsLmNvbT4gd3JvdGU6 Cj4gCj4gWyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWls bWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgIF0KPiAKPiBJIHNlY29uZCB0aGlzIHBvc2l0aW9uIHN0 cm9uZ2x5LiBUaGFua3MgR2FicmllbCBmb3IgYnJpbmdpbmcgdGhpcyB1cCEKPiAKPiBUbyBhbnlv bmUgcmVjb25zaWRlcmluZyBsb2NhdGlvbnMsIGRvIGhhdmUgaW4gbWluZCB0aGF0IHBvb3JseSBj b25uZWN0ZWQKPiBwbGFjZXMgaW4gTm9ydGggQW1lcmljYSB3aWxsIGxpa2VseSBuZWVkIGEganVt cCBmcm9tIHRoZSBVUywgc28gdGhhdCdzIGFsc28KPiBhIG5vLWdvLgo+IAo+IE9uIEZyaSwgU2Vw IDE5LCAyMDI1IGF0IDExOjEx4oCvQU0gR2FicmllbCBTY2hlcmVyIDxnYWJyaWVsLnNjaGVyZXJA Z21haWwuY29tPgo+IHdyb3RlOgo+IAo+PiBbIFRoZSBUeXBlcyBGb3J1bSwgaHR0cDovL2xpc3Rz LnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgCj4+IF0KPj4gCj4+ IERlYXIgdHlwZXMtbGlzdCwKPj4gCj4+IEknbSBzdXJlIG1hbnkgcGVvcGxlIGFyZSBhbnhpb3Vz IGFib3V0IHRoZSBwb2xpdGljYWwgc2l0dWF0aW9uIGluIHRoZSBVUwo+PiByaWdodCBub3csIGFu ZCBJIHdpc2ggdGhlbSBiZXN0Lgo+PiAKPj4gQ291bGQgd2UgdGVtcG9yYXJpbHkgc3RvcCBvcmdh bml6aW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUz8KPj4gCj4+IEl0IGlzIHByZXR0eSBjbGVhciB0 aGF0IHRoZSBVUyBhcmUgbm90IGEgc2FmZSBwbGFjZSBmb3IgdW5pdmVyc2l0aWVzIHJpZ2h0Cj4+ IG5vdywgYW5kIGFsc28gdW5wYWxhdGFibGUtdG8tdW5zYWZlIGZvciBwZW9wbGUgKGVzcGVjaWFs bHkgZm9yZWlnbmVycykKPj4gd29ya2luZyBpbiB1bml2ZXJzaXRpZXMuIFRoZSBzaXR1YXRpb24g aXMgYWxzbyB2b2xhdGlsZSBhbmQgZXZvbHZpbmcKPj4gcmFwaWRseSBmcm9tIGJhZCB0byB3b3Jz ZS4gU3VyZWx5IGl0IHdvdWxkIGJlIHVucmVhc29uYWJsZSB0byBjb21taXQgbm93IHRvCj4+IG9y Z2FuaXplIGEgbGFyZ2UgY29uZmVyZW5jZSBpbiB0aGUgVVMgbmV4dCB5ZWFyLCByaWdodD8gV2Vs bCwgUExESSAyMDI2IGlzCj4+IHBsYW5uaW5nIHRvIGJlIGxvY2F0ZWQgaW4gQm91bGRlciwgQ29s b3JhZG8uIENvdWxkIHRoZSBQTERJIHBlb3BsZSBtYXliZQo+PiByZWNvbnNpZGVyPyAoSWYgYmVp bmcgaW4gdGhlIEFtZXJpY2FzIGlzIGltcG9ydGFudCwgbWF5YmUgQ2FuYWRhPykKPj4gCj4+IE5v dGU6IEknbSBhd2FyZSB0aGVyZSBpcyBubyBnb29kIGNob2ljZSBvZiB3aGVyZSB0byBob2xkIGNv bmZlcmVuY2VzLCBldmVyeQo+PiBjaG9pY2UgaGFzIGRvd25zaWRlcy4gKEZvciBleGFtcGxlIEV1 cm9wZSBpcyBiYWQgZm9yIHBlb3BsZSB3b3JraW5nIGluCj4+IHZhcmlvdXMgbm9uLXdlc3Rlcm4g Y291bnRyaWVzIGR1ZSB0byB2ZXJ5IHN0cmluZ2VudCByZXF1aXJlbWVudHMuKSBCdXQgdGhlCj4+ IFVTIHNlZW1zIGVzcGVjaWFsbHkgYmFkIHJpZ2h0IG5vdy4KPj4gCgo=