USTC Lambda Group

简介

欢迎你,元黑客!

我们由对计算机系统、编程语言、函数式编程和程序验证领域的话题感兴趣的人组成,我们不是一个研究组;相反,我们鼓励具有任何背景的、对相关话题感兴趣的人参与我们的活动。我们的主要活动地点在中国合肥的中国科学技术大学,当然并不限于本校人员参加。

如何参与

你可以来参与我们讲座/讨论会,加入我们的 QQ 群(451518167,请注明足够的验证信息)。活动时间会在这个网页和 QQ 群中及时公布。

你也可以作为主讲人来主动分享您的知识和经历,告诉我们您的想法就好了。如果您不确定什么时候比较好,我们可以帮您选择时间。讲座的时间从 40 分钟到 10 分钟都可以。

下次活动

待定

历史

2016.11.22

2016.5.18

2016.4.6

2016.3

2015.12

其他

感谢中国科大-耶鲁高可信软件中心的场地支持。