PADL是一个成熟的论坛，供研究人员和实践者展示原创作品，强调所有形式的声明式编程的新应用和实现技术，包括函数和逻辑编程、数据库和约束编程以及定理证明。
PADL’24将于2024年1月15日至16日举行，是一项身体（同人）活动。对于每一篇被接受的论文，至少需要一位作者注册参加会议并亲自提交论文。
与往年不同，PADL’24的注册与POPL分开处理。请注意至少一位作者每一份被接受的论文必须专门向PADL注册.
单击此链接注册PADL’24。提前注册截止日期为12月14日.
您可以通过以下方式免费访问PADL’24会议记录，时间为研讨会开始后的4周这个链接.
集锦
文件征集
PADL是一个成熟的论坛，供研究人员和实践者展示原创作品，强调所有形式的声明式编程的新应用和实现技术，包括函数和逻辑编程、数据库和约束编程以及定理证明。
感兴趣的主题包括但不限于：
- 声明性语言的创新应用
- 声明性特定于域的语言和应用程序
- 理论结果的实际应用
- 新语言的发展及其对应用程序的影响
- 声明语言和软件工程
- 实际应用的实现技术评估
- 实际经验和工业应用
- 课堂上陈述性语言的新颖用法
- 实用扩展，如基于约束的、概率的和反应式语言
PADL 2024特别欢迎与声明性语言的应用、设计和实现相关的新思想和方法，这些语言超出了过去PADL研讨会的范围，例如，高级数据库语言和合同语言，以及依赖声明性语言进行验证和定理证明的方法。
PADL 2024欢迎三种提交方式：
-
技术论文（最多15页）：技术论文必须描述先前未发表的原始研究结果。
-
应用论文（最多8页）：应用论文是一种机制，用于展示声明性语言在工业或研究领域（计算机科学除外）中的重要实际应用。应用论文预计将描述依赖于声明性语言创新使用的复杂和/或现实应用程序。征集应用说明、工程解决方案和实际经验（正面和负面）。
-
扩展摘要（最多3页）：描述新的想法，对已经出版的作品的新观点，或尚未准备好完整出版的正在进行的工作。扩展摘要将发布在专题讨论会网站上，但不会在正式会议记录中发布。
所有页面限制都排除引用。提交文件必须用英语书写，并按照标准Springer LNCS样式进行格式设置，参见https://www.springer.com/gp/computer science/lncs/conference-procesdings-guidelines
PADL 2024的审查过程是双重匿名.请在提交的文件中省略您的姓名和机构；用第三人称指代您之前的工作，就像您指代他人之前的工作一样；不要包含可能识别您身份的确认信息。
供审稿人使用但不在最终版本中发布的其他材料，例如校样的细节，可以放在一个明确标记的附录中，该附录不包括在页数限制中。审稿人可以随意忽略附录，如果没有附录，论文必须是可以理解的。
手稿上应注明页码（如有可能，还应注明行号），以帮助审稿人撰写报告。因此，对于LaTeX，我们建议作者使用：
\页面样式{普通}\使用包｛lineno｝\行号
PADL2024的会议记录将由Springer-Verlag在计算机科学系列讲稿中发布。可以提交未发表或非正式发表的研讨会论文集中已经出现的作品，但作者应通知项目主席之前出现的作品。
论文应以电子方式提交至https://padl2024.hotcrp.com
研讨会结束后，少数杰出论文的作者将被邀请提交更长的版本供期刊发表。对于与逻辑编程相关的论文，将刊登在期刊上逻辑程序设计理论与实践，有关函数编程的论文，请参阅函数编程杂志.扩展的期刊投稿应进行实质性扩展（大约30%）：没有空间的解释、说明性的示例和证明、附加的定义和定理、进一步的实验结果、实施细节和实际/工程使用的反馈、相关工作的扩展讨论等。然后，这些提交的文件将接受期刊通常的同行审查程序，尽管目的是通过重用PADL的原始审查来更快地进行审查。
