受 MoveBit 和 电子科技大学邀请，Aptos world、SUI world、智谷星图、Mynft、MoveFuns 等机构协办，2022 年 9 月 23 日本周五上午 10:30， 滑铁卢大学计算机学院助理教授徐萌将在线上主讲「用 Move Prover 对智能合约进行快速、可靠的形式化验证」主题学术报告，本次报告使用中文进行。

徐萌教授是 Move 的核心开发者，Move Prover 的主要作者之一。

来源：https://github.com/move-language/move/graphs/contributors

徐萌教授同时是加拿大滑铁卢大学 Cheriton 计算机学院的助理教授 (https://cs.uwaterloo.ca/~m285xu/)。

他的研究领域是系统和软件安全，专注于为安全程序提供高质量的解决方案，包括自动化程序分析 / 测试 / 验证工具的研究和开发等。

报告介绍

Move Prover（MVP）是 Move 智能合约的形式化验证器。MVP 具有富有表现力的规范语言，并且快速可靠，开发人员可以在集成测试中运行，对智能合约进行形式化验证。本次报告将围绕 Move Prover（MVP）的用法和实现原理进行。

活动地点

腾讯会议地址 （点击“阅读原文”直达地址）

https://meeting.tencent.com/dm/85hQs9drgwdy   

#腾讯会议：149-408-132

会议密码：900015

举办方介绍

MoveBit

MoveBit 是一家服务 Move 生态的安全审计公司，其愿景是让 Move 生态成为最安全的 Web3 生态系统。MoveBit 团队由学术界安全大牛和企业界安全领军人物组成 ，具有 10 年的安全经验。MoveBit 团队是 Move 生态最早期的贡献者，与 Move 开发者共同制定安全 Move 应用的标准。

智谷星图

智谷星图是中国区块链科技创新领军企业，是一家具有国际化视野的区块链技术公司，团队成员多数来自美国硅谷，顾问来自斯坦福大学、卡耐基梅隆大学等知名高校。智谷星图是腾讯区块链加速器首批成员，是国内自主可控的国产联盟链平台 FISCO BCOS 解决方案官方合作伙伴，拥有区块链底层技术积累和成熟的新技术研发能力，为政务、金融和教育等领域提供专业区块链技术解决方案。

MoveFuns

MoveFuns DAO 是一个面向 Move 开发者的 DAO。主要目的是联合开发者社区，一起构建跨多链的 Move 生态基础设施。

Aptos world

AptosWorld 是亚太地区首个 Aptos 生态服务机构，是一个资讯教育、招聘孵化、开发社区一体化的平台。

Mynft

Mynft 是 Web3 第一个 V2E（Vote to Earn）平台。

One More Thing

MoveBit Seminar 将持续邀请更多学术和技术大拿进行 Move 相关的技术分享，Stay Tuned!