Chinese speaking summer school on type theory

Stream: general

[Trebor Huang]

We are currently planning for a summer school on type theory, but also including topics like category theory, higher mathematics etc. We hope this can help Chinese speaking learners bridge the language gap studying type theory. The summer school will strive to ensure people with different levels of background knowledge can all have something gained. The summer school will be online and recorded.

You can visit the website for more info. If you would like to learn about a particular topic, or if you'd like to be a speaker yourself, you can submit them at this shared document. You can also participate in the organizing by joining the QQ group 791437680. (QQ is the equivalent of Discord in mainland China.)

[Bulhwi Cha]

How many Chinese-speaking learners do you think there are who are interested in type theory?

[Trebor Huang]

At least a few hundreds if not a thousand, judging from various chatroom logistics. But there are only a few dozens active members (i.e. they speak regularly on these chatrooms).