我在考虑在阿根廷布宜诺斯艾利斯组织一个 Lean @leanprover 小型日/会议/研讨会,和 @class_lambda 一起。 谁来参加?