Re: [TYPES] Could we temporarily stop having conferences in the US?

Eijiro Sumii <[email protected]> Mon, 22 Sep 2025 13:11:21 +0900
Newsgroups gmane.comp.science.types
Message-ID <CAB0_SiaAt8M+XykPK-GrotZ49a3K+PQumqJpONAKV_rUftDhYw@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKRGVhciBhbGwsCgpJdCBzZWVtcyB2ZXJ5IHJlYXNvbmFibGUg
YXQgbGVhc3QgdG8gYWxsb3cgb25saW5lIHBhcnRpY2lwYXRpb25zIGFuZApwcmVzZW50YXRpb25z
IGFnYWluLCBldmVuIGZvciBhZGRpdGlvbmFsIHJlYXNvbnMgc3VjaCBhcyBpbmNsdXNpb24gYW5k
Cmdsb2JhbCB3YXJtaW5nIGFzIHdlbGwuCgogICAgICAgIEVpamlybwoKCk9uIE1vbiwgU2VwIDIy
LCAyMDI1IGF0IDExOjI44oCvQU0gSnVsaWEgQmVseWFrb3ZhIDxqdWxiaW5iQGdtYWlsLmNvbT4g
d3JvdGU6Cj4KPiBbIFRoZSBUeXBlcyBGb3J1bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1
L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgXQo+Cj4gSSB1bmRlcnN0YW5kIHRoaXMgcG9z
aXRpb24gYnV0IGp1c3Qgd2FudCB0byByZW1pbmQgdGhhdCB0aGVyZSBhcmUgbWFueQo+IGludGVy
bmF0aW9uYWwgc3R1ZGVudHMgYW5kIHByb2Zlc3Npb25hbHMgaW4gdGhlIGNvbW11bml0eSB3aG8g
YXJlIHN0dWNrCj4gaW5zaWRlIHRoZSBVUyBhbmQgY2Fubm90IGNyb3NzIHRoZSBib3JkZXIsIGV2
ZW4gdG8gZ28gQ2FuYWRhLgo+Cj4gSSwgZm9yIG9uZSwgaGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBV
UyBzaW5jZSAyMDIwLgo+Cj4gLS0KPiBLaW5kIHJlZ2FyZHMsIEp1bGlhCj4gaHR0cHM6Ly91cmxk
ZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vanVsYmluYi5naXRodWIuaW8vX187ISFJQnpXTFVzIVRm
QlV0RF9ubWJmWDVabWN3SG42LWhwckNqWXV3MG02alFLRzN6eFQ5VnBEX2pTTkM1N1VhX1hMX1Jn
ZFVENml0Tmk0Y21ETUxnMDVTcGRScUZ4aWYwd25FN2MkCj4KPiBPbiBGcmksIFNlcCAxOSwgMjAy
NSwgMTA6MjjigK9BTSBCZXRhIFppbGlhbmkgPGJldGEuemlsaWFuaUBnbWFpbC5jb20+IHdyb3Rl
Ogo+Cj4gPiBbIFRoZSBUeXBlcyBGb3J1bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21h
aWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPiA+IF0KPiA+Cj4gPiBJIHNlY29uZCB0aGlzIHBv
c2l0aW9uIHN0cm9uZ2x5LiBUaGFua3MgR2FicmllbCBmb3IgYnJpbmdpbmcgdGhpcyB1cCEKPiA+
Cj4gPiBUbyBhbnlvbmUgcmVjb25zaWRlcmluZyBsb2NhdGlvbnMsIGRvIGhhdmUgaW4gbWluZCB0
aGF0IHBvb3JseSBjb25uZWN0ZWQKPiA+IHBsYWNlcyBpbiBOb3J0aCBBbWVyaWNhIHdpbGwgbGlr
ZWx5IG5lZWQgYSBqdW1wIGZyb20gdGhlIFVTLCBzbyB0aGF0J3MgYWxzbwo+ID4gYSBuby1nby4K
PiA+Cj4gPiBPbiBGcmksIFNlcCAxOSwgMjAyNSBhdCAxMToxMeKAr0FNIEdhYnJpZWwgU2NoZXJl
ciA8Cj4gPiBnYWJyaWVsLnNjaGVyZXJAZ21haWwuY29tPgo+ID4gd3JvdGU6Cj4gPgo+ID4gPiBb
IFRoZSBUeXBlcyBGb3J1bSwKPiA+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFu
L2xpc3RpbmZvL3R5cGVzLWxpc3QgCj4gPiA+IF0KPiA+ID4KPiA+ID4gRGVhciB0eXBlcy1saXN0
LAo+ID4gPgo+ID4gPiBJJ20gc3VyZSBtYW55IHBlb3BsZSBhcmUgYW54aW91cyBhYm91dCB0aGUg
cG9saXRpY2FsIHNpdHVhdGlvbiBpbiB0aGUgVVMKPiA+ID4gcmlnaHQgbm93LCBhbmQgSSB3aXNo
IHRoZW0gYmVzdC4KPiA+ID4KPiA+ID4gQ291bGQgd2UgdGVtcG9yYXJpbHkgc3RvcCBvcmdhbml6
aW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUz8KPiA+ID4KPiA+ID4gSXQgaXMgcHJldHR5IGNsZWFy
IHRoYXQgdGhlIFVTIGFyZSBub3QgYSBzYWZlIHBsYWNlIGZvciB1bml2ZXJzaXRpZXMKPiA+IHJp
Z2h0Cj4gPiA+IG5vdywgYW5kIGFsc28gdW5wYWxhdGFibGUtdG8tdW5zYWZlIGZvciBwZW9wbGUg
KGVzcGVjaWFsbHkgZm9yZWlnbmVycykKPiA+ID4gd29ya2luZyBpbiB1bml2ZXJzaXRpZXMuIFRo
ZSBzaXR1YXRpb24gaXMgYWxzbyB2b2xhdGlsZSBhbmQgZXZvbHZpbmcKPiA+ID4gcmFwaWRseSBm
cm9tIGJhZCB0byB3b3JzZS4gU3VyZWx5IGl0IHdvdWxkIGJlIHVucmVhc29uYWJsZSB0byBjb21t
aXQgbm93Cj4gPiB0bwo+ID4gPiBvcmdhbml6ZSBhIGxhcmdlIGNvbmZlcmVuY2UgaW4gdGhlIFVT
IG5leHQgeWVhciwgcmlnaHQ/IFdlbGwsIFBMREkgMjAyNgo+ID4gaXMKPiA+ID4gcGxhbm5pbmcg
dG8gYmUgbG9jYXRlZCBpbiBCb3VsZGVyLCBDb2xvcmFkby4gQ291bGQgdGhlIFBMREkgcGVvcGxl
IG1heWJlCj4gPiA+IHJlY29uc2lkZXI/IChJZiBiZWluZyBpbiB0aGUgQW1lcmljYXMgaXMgaW1w
b3J0YW50LCBtYXliZSBDYW5hZGE/KQo+ID4gPgo+ID4gPiBOb3RlOiBJJ20gYXdhcmUgdGhlcmUg
aXMgbm8gZ29vZCBjaG9pY2Ugb2Ygd2hlcmUgdG8gaG9sZCBjb25mZXJlbmNlcywKPiA+IGV2ZXJ5
Cj4gPiA+IGNob2ljZSBoYXMgZG93bnNpZGVzLiAoRm9yIGV4YW1wbGUgRXVyb3BlIGlzIGJhZCBm
b3IgcGVvcGxlIHdvcmtpbmcgaW4KPiA+ID4gdmFyaW91cyBub24td2VzdGVybiBjb3VudHJpZXMg
ZHVlIHRvIHZlcnkgc3RyaW5nZW50IHJlcXVpcmVtZW50cy4pIEJ1dAo+ID4gdGhlCj4gPiA+IFVT
IHNlZW1zIGVzcGVjaWFsbHkgYmFkIHJpZ2h0IG5vdy4KPiA+ID4KPiA+Cg==