写博客>>
2012年SPLASH
2012年10月19日星期五至26日星期五美国亚利桑那州图森

第19届面向对象语言基础国际研讨会

美国亚利桑那州图森;2012年10月22日

卫星研讨会2012年SPLASH


目的

在过去二十年中,对面向对象语言健全原则的研究引起了大量工作,从而更好地理解了面向对象语言的关键概念,并在类型理论、语义、程序验证和程序开发方面取得了重要进展。2012年FOOL将于2012年10月22日星期一在美国亚利桑那州图森市举行,时间为SPLASH开始时的工作日。

本次活动的提交内容受面向对象语言基础一般领域的邀请。感兴趣的主题包括语言语义、类型系统、内存模型、程序验证、形式计算、并发和分布式语言、数据库语言以及基于语言的安全问题。

欢迎论文包括正式的描述和证明,但这些不是必需的;关键是论文应该提出新颖而有价值的想法或经验。选择研讨会贡献的主要重点是工作的内在兴趣和及时性,因此鼓励作者提交对正在进行的工作的完善描述以及描述已完成项目的论文。

FOOL:面向对象语言基础国际研讨会

请求提交

提交说明

我们征求先前未发表或目前未提交其他地方审议的原始研究的意见。应告知项目主席任何相关提交文件;请参阅ACM SIGPLAN重新发布策略。提交文件应为PDF格式标准SIGPLAN 9pt会议格式用于US-letter大小的页面。虽然提交的文件可以长达12页,但也鼓励使用较短的文件来描述有希望的初步工作。论文必须通过电子方式提交Easy椅子.

PC成员(主席除外)可以是正在考虑的任何论文的作者或合著者,但将被排除在论文的任何评估或讨论之外,并且只能以与其他作者相同的方式和时间访问论文评论。

出版物

非正式会议记录将在本网页上公布。然而,在FOOL上的演讲并不算是之前的出版物,FOOL的许多结果后来在ECOOP、OOPSLA、POPL和其他主要会议上发表。

大卫·赫尔曼,Mozilla Research,美国
Rust:设计一种安全实用的系统语言