Shenzhen, China

Stream: Geographic locality

[Junyan Xu]

I've concluded my postdoc in the US, and I'm now back in China before heading to Germany in late August to work on the formalization of FLT. I had a busy schedule as I haven't been back for four years and a half; hopefully I can start reviewing some PRs again tomorrow.

I'm based in Shenzhen, but have also scheduled visits to Guangzhou, Hong Kong, Macau, and Zhuhai (广州/香港/澳门/珠海) in Southern China and Changchun, Harbin, and Shenyang (长春/哈尔滨/沈阳) in Northeastern China mostly for tourism. Would be glad to meet some Lean enthusiasts around! I recall hearing about some summer Lean events in China from @Kevin Buzzard but I can't find any; please let me know if any is going to happen.

[Kevin Buzzard]

I'm going to be at PKU the first week of September

[Junyan Xu]

I've found that they had a summer school last July (GitHub), and I'm curious what will be happening this year :)

[Antoine de Saint Germain]

I’m in Hong Kong (HKU), and just getting started with Lean. I’ll be there all summer, do let me know if you pass by!

[Junyan Xu]

Thanks for letting me know! Unfortunately I had only a short stay at HK and didn't have the chance to visit HKU this time. Hopefully my schedule won't be so tight next time I visit HK.