斯普拉什2022

更新：请参阅此处的与会者说明：https://2022.splashcon.org/attenting/how-to-splash网站

SPLASH 2022航空会议页码： https://tinyurl.com/splash2022虚拟

ACM SIGPLAN系统、编程、语言和应用会议：人性化软件涵盖了软件构建和交付的所有方面，使其成为编程语言应用的首要会议，处于编程语言和软件工程的交叉点。

SPLASH 2022旨在标志着世界的重新开放，并能够亲自与您的国际同事见面。我们期待着自OOPSLA会议以来首次在澳大利亚见到您始于1986年。我们正在与APLAS以及GPCE、SLE、DLS、SAS、Onward共同定位！文件，继续！论文、SPLASH-E和所有共同举办的研讨会和活动，使SPLASH成为了今年的“go-to”会议。

注意！请下载我们的SPLASH 2022 PDF海报打印出来并张贴在你的部门。谢谢您！

我们期待着与您会面，并举行一次会议来统治他们！

主题演讲

主题演讲

（我无法拒绝）验证

Atsushi Igarashi先生

主题演讲事实上的

Release-Acquire并发下并发程序的验证

Shankaranarayanan克里希纳

主题演讲

使用模式语言提高创造性实践的质量

塔卡希·伊巴

主题演讲

神话和神话概念：作为一门编程语言意味着什么？

玛丽·肖

主题演讲谷歌支持

2022年的调试状态

罗伯特·奥卡拉汉

2022年SPLASH的所有活动将在新西兰奥克兰举行。然而，无法旅行的作者将有机会加入“Virtual SPLASH 2022”（更多信息将于10月初发布），请参阅“Attenting”（出席）->“Virtual SPLASH 2020”（虚拟SPLASH2022）项目。

12月5日更新：请注意，SLE和GPCE的房间已于12月6日星期二更新。上表和计划反映了最新变化。

NB！预计每日流量将有30分钟的论文时段，日程表大致如下：

注意！点击此链接，查看SPLASH 2022时您所在时区的时间：https://www.timeanddate.com/worldclock/converter.html？iso=20221204T200000&p1=264