LOPSTR 系列 旨在激励和促进基于逻辑的程序开发的国际研究与合作。LOPSTR 开放于任何语言范式的基于逻辑的程序开发贡献。LOPSTR 以其活跃友好的论坛而闻名，致力于展示和讨论正在进行的工作。

LOPSTR 2025 将在意大利伦德的卡拉布里亚大学 举行，并与PPDP 2025和ICLP 2025同期举办。每篇被接受的论文至少有一位作者需出席会议并进行报告。会议地点和交通信息将稍后公布。

1、组委会

项目主席：
Laura Titolo    Code Metal公司
Santiago Escobar    西班牙巴伦西亚理工大学
程序委员会成员：
Elvira Albert    西班牙马德里康普顿斯大学
Roberto Amadini    意大利博洛尼亚大学
João Barbosa    葡萄牙波尔图大学
Juliana Bowles    英国圣安德鲁斯大学沃尔德克·德拉本特    

Wlodek Drabent IPI PAN
Catherine Dubois    法国高师萨莫瓦尔学院
Fabio Fioravanti    意大利基耶蒂-佩斯卡拉大学
Mário Florido    葡萄牙波尔图大学

2、出版

大会由 University of Calabria 主办，配合 Springer 出版，并与 ICLP 和 PPDP 系列会议联合组织。

1、重要日期

重要会议日期如下。 所有截止日期均为AoE。
摘要提交： 2025年5月9日  至5月23日
论文提交： 2025年5月16日  至5月30日
作者通知： 2025年6月27日  至7月10日
拍摄准备就绪：2025 年 7 月 17 日
研讨会：2025年9月9日至10日

2、论文提交

提交的作品可分为两类：

普通论文（最多 15 页）
短文（最多 8 页）
参考文献不计入页数限制。不打算发表的附录可额外占用页数。审稿人无需阅读附录，因此即使没有附录，论文也应该清晰易懂。所有投稿必须以英文撰写。

提交的内容不得与已发表的论文/工具或同时提交给期刊、会议或研讨会并经过评审的论文/工具有实质性重叠。

常规论文必须为原创作品。已发表于未出版或非正式出版的研讨会论文集的作品亦可提交（如有疑问，请联系程序委员会主席）。

短文提交内容可以是精彩的研究报告（即使并非完全完善），也可以是具有学术和工业意义的工具演示。工具演示应描述工具的相关系统、可用性和实现方面。

所有被接受的论文将被收录在会议论文集，并由 Springer 出版为计算机科学讲义 (LNCS) 卷。

研讨会结束后，我们将遴选出几篇最佳论文，并邀请其投稿至《逻辑程序设计理论与实践期刊》（TPLP）进行快速发表。入选论文的作者将被邀请修改和/或扩展其投稿内容，以获得发表资格。提交至TPLP的论文将接受该期刊的标准评审流程。

3、投稿指南
作者应提交论文（英文撰写）的PDF电子版，格式为计算机科学讲义格式。每篇提交的论文首页必须包含论文标题、作者及其所属机构、联系作者的邮箱地址、摘要以及三到四个关键词，这些关键词将用于协助PC选择合适的论文审稿人。 作者应参考 Springer 作者页面 上的作者须知，并使用其论文集模板（LaTeX 格式（ Overleaf中也提供）或Word 格式）来准备论文。Springer 鼓励作者在论文中 添加ORCID 标识符。 此外，论文录用后，每篇论文的通讯作者必须代表所有作者填写并签署一份同意发表的表格。签署版权表格的通讯作者应与论文上标注的通讯作者一致。一旦文件提交至 Springer，论文作者信息将无法更改。

lopstr2025@easychair.org