欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Beijing Open Party
来自开放百科 - 灰狐
Open Party是由北京的多个技术社区共同举办的社交活动。活动本着自由、开放、分享、互动的宗旨，通过采用“非会议（Unconference）”的形式， 为参与人员创建一个表达和交流的平台。本活动的目标是为北京的IT从业人员营造一个交流、表现、学习、生活、发展、进步的空间。活动话题不仅仅局限于技 术，还包括生活、旅游、艺术、创业、商务、投资、营销等各方面的话题。
精彩图片
Links
分享您的观点
