This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers' House in Tallinn, Estonia) and virtual, and co-located with the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.
翻译：该卷是2021年9月7日至8日举行的第三十一次基于逻辑的方案综合和转型国际专题讨论会(LOPSTR 2021)的预发本,该专题讨论会是一次混合(混合)会议,有的是面对面的(爱沙尼亚塔林教师之家),有的是虚拟的,与第二十三次关于宣布性方案编制的原则和做法的国际专题讨论会(PPDP 2021)合用同一地点,在专题讨论会上的讨论结束后,将进行第二轮正式诉讼程序的评议和挑选。
相关内容
LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/
专知会员服务
12+阅读 · 2020年6月18日
专知会员服务
34+阅读 · 2019年10月17日
Arxiv
0+阅读 · 2021年9月22日
Arxiv
0+阅读 · 2021年9月21日
Arxiv
0+阅读 · 2021年9月20日
Arxiv
0+阅读 · 2021年9月17日
相关VIP内容
专知会员服务
12+阅读 · 2020年6月18日
专知会员服务
34+阅读 · 2019年10月17日
相关资讯
相关论文
Arxiv
0+阅读 · 2021年9月22日
Arxiv
0+阅读 · 2021年9月21日
Arxiv
0+阅读 · 2021年9月20日
Arxiv
0+阅读 · 2021年9月17日
微信扫码咨询专知VIP会员