很高兴欢迎您加入第42届ACM编程语言原理研讨会，POPL 2015在印度孟买举行，地点是美丽的塔塔基础研究所。今年的项目包括52篇论文，这些论文来自于2014年7月截止日期前提交的227篇论文。这些论文涵盖了广泛的主题，从lambda演算的理论基础、类型理论和验证到安全、网络和web编程的应用。该节目还邀请了彼得·布内曼（Peter Buneman）、苏米特·古尔瓦尼（Sumit Gulwani）和彼得·李（Peter Lee）进行演讲。
在孟买POPL'15期间，我们鼓励您参加以下合办活动：
ACM SIGPLAN认证程序和证明会议（CPP）
编程语言Coq国际研讨会（CoqPL）
POPL脱颖而出：编程语言研究的新前沿
ACM SIGPLAN部分评估和程序操作（PEPM）研讨会
ACM SIGPLAN编程语言指导研讨会（PLMW）
国际验证、模型检验和抽象解释会议（VMCAI）
网络编程语言和验证技术（PLVNET）
IMPECS-POPL编程语言（WEPL）新兴研究和发展趋势研讨会
六个教程。
