欢迎来到罗马和POPL 2013，第四十版ACM SIGPLAN-SIGACT编程语言原理研讨会罗马是一个美丽的城市，在文化、艺术和科学方面有着令人难以置信的千年历史，并且有极好的机会享受意大利的生活方式、历史遗迹和博物馆。
POPL 2013与编程语言和系统方面新的和成熟的会议和研讨会共同举办：第14次验证、模型检查和抽象解释会议；丰富模型的合成、验证和分析研讨会；第十五届声明性语言实践方面国际研讨会；部分评估和程序操作研讨会；第一届干扰与依赖研讨会；第一期行为和类型讲习班；数据驱动函数编程讲习班；第七届编程语言会议程序验证研讨会；第二期项目保护和逆向工程研讨会；和《脱轨：编程语言研究人员面临的代表性不足的问题》。为了向学生和年轻研究人员确认POPL的悠久传统和关注，编程语言指导研讨会和教程节将为全面融入POPL提供必要的热身！
2013年POPL有绝对的提交记录：项目委员会（PC）和外部审查委员会（ERC）在单盲过程中提交并审查了238篇论文。每篇论文由4名审稿人审核：3名来自PC，1名来自ERC，但仅由ERC成员审核的PCauthorized论文除外，一些PC成员最多可阅读28篇论文，一些ERC成员最多可观看6篇论文。另有12名外部审查员在具体情况下提供了专家评估。最终产生了947篇评论，提交的论文中85%至少有一位专家审稿人，这证明了在尽可能严格地进行选择方面所付出的巨大关注和努力。PC在巴黎的埃科尔Normale Supérieure进行了两天的亲自会面。所有PC成员都出席了会议，在238份提交的文件中，有43篇论文被接受（18%）。我们感谢PC、ERC以及所有外部评审员和子评审员的关注、奉献和耐心。我们坚信，POPL标准是计算机科学中可能达到的最高标准，并且所产生的评论是最好的。我们感谢HotCRP软件开发团队在管理提交、审查和最终会议程序设置方面提供了一个很好的工具。2013年POPL项目涵盖了当今编程语言研究的大多数主题，包括乔治·冈瑟（英国微软研究院）、安德鲁·迈尔斯（康奈尔大学）、施里拉姆·克里希纳穆斯（布朗大学和ACM罗宾·米尔纳奖）和诺亚·古德曼（斯坦福大学）的四次杰出邀请演讲。由于三整天的时间限制，2013年POPL分为两个平行轨道。我们尽了最大努力，以减少平行会议之间可能出现的主题重叠。当然，这只能是一个部分的解决方案，如果您因为这个原因无法参加您想要的所有演示，我们深表歉意。
今年，我们得到了领先公司和机构的大力支持，使我们能够保持参加会议的机会，特别是学生，如果考虑到地点的话，成本相对较低。初创公司扎根于我们的社区，特别是在POPL中出现的科学成就方面的贡献尤其值得欢迎，值得关注和感激。
