SJTUG x Naive Systems 11 月吃吃喝喝与技术分享
November 20, 2021
skyzh
电院E咖二楼
2021-11-26T18:30:00+08:00
news
sharing
下周五 (26日) 18:30 将在电院E咖二楼进行 SJTUG 吃吃喝喝和技术分享活动，欢迎大家参加～
本次分享的嘉宾是冷亦君同学，题目是“Use Abella to prove equivalence of datalog rules in Polonius (the new Rust borrow checker)”。 届时现场会提供小吃、SJTUG 贴纸、以及来自 Naive Systems 的纪念品。感谢 Naive Systems 对本次活动的赞助！活动安排如下：
- 18:30 - 19:30 技术分享时间
- 19:30 - 20:30 小吃和闲聊时间
电院E咖的位置在电子信息与电气工程学院 2 号楼和 3 号楼之间。
本次分享没有直播，下次一定。slides 已经上传到 https://github.com/sjtug/sharing。
