会员服务
LOPSTR · 变换 · Principle · 编程语言 ·
2021 年 8 月 31 日
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
翻译：第31次基于逻辑的方案综合和转变国际专题讨论会(2021年LOPSTR)的预筹备情况
Emanuele De Angelis,Wim Vanhoof
Emanuele De Angelis,Wim Vanhoof
from arxiv, Papers selected for presentation at LOPSTR 2021, Invited talks and Tutorial

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)合用同一地点,在专题讨论会上的讨论结束后,将进行第二轮正式诉讼程序的评议和挑选。
0
下载
关闭预览

相关内容

LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/
近期必读的5篇顶会CVPR 2021【视觉目标检测】相关论文和代码
专知会员服务
56+阅读 · 2021年3月9日
IJCAI2020接受论文列表，592篇论文pdf都在这了！
IJCAI2020接受论文列表，592篇论文pdf都在这了！
专知会员服务
63+阅读 · 2020年7月16日
可解释高效异构图卷积网络，Interpretable and Efficient Heterogeneous Graph Convolutional Network
可解释高效异构图卷积网络，Interpretable and Efficient Heterogeneous Graph Convolutional Network
专知会员服务
62+阅读 · 2020年7月12日
【牛津大学】深度残差强化学习，Deep Residual Reinforcement Learning
【牛津大学】深度残差强化学习，Deep Residual Reinforcement Learning
专知会员服务
83+阅读 · 2020年2月18日
【NAACL 2019 workshop】相似语言、变体和方言自然语言处理 The workshop on NLP for Similar Languages, Varieties and Dialects，约翰斯·霍普金斯大学|David Yarowsky
【NAACL 2019 workshop】相似语言、变体和方言自然语言处理 The workshop on NLP for Similar Languages, Varieties and Dialects，约翰斯·霍普金斯大学|David Yarowsky
专知会员服务
4+阅读 · 2019年12月5日
【NAACL 2019 workshop】词汇和计算语义学联合会议 The 8th Joint Conference on Lexical and Computational Semantics ，犹他大学（The University of Utah）| Ellen Riloff，纽约大学| Sam Bowman
【NAACL 2019 workshop】词汇和计算语义学联合会议 The 8th Joint Conference on Lexical and Computational Semantics ，犹他大学（The University of Utah）| Ellen Riloff，纽约大学| Sam Bowman
专知会员服务
5+阅读 · 2019年12月5日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
2019年机器学习框架回顾
2019年机器学习框架回顾
专知会员服务
35+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
CCF推荐 | 国际会议信息8条
CCF推荐 | 国际会议信息8条
Call4Papers
9+阅读 · 2019年5月23日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
人工智能 | 国际会议信息6条
人工智能 | 国际会议信息6条
Call4Papers
4+阅读 · 2019年1月4日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | SIGMETRICS 2019等国际会议信息7条
计算机类 | SIGMETRICS 2019等国际会议信息7条
Call4Papers
9+阅读 · 2018年10月23日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
人工智能 | 国际会议截稿信息5条
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
Repeated Games, Optimal Channel Capture, and Open Problems for Slotted Multiple Access
Arxiv
0+阅读 · 2021年10月22日
Extending some results on the second neighborhood conjecture
Arxiv
0+阅读 · 2021年10月22日
Proceedings Third Workshop on Formal Methods for Autonomous Systems
Arxiv
0+阅读 · 2021年10月22日
Different Applications and Technologies of Internet of Things (IoT)
Arxiv
0+阅读 · 2021年10月20日
Monte Carlo construction of cubature on Wiener space
Arxiv
0+阅读 · 2021年10月19日
Proceedings of the 19th International Overture Workshop
Arxiv
0+阅读 · 2021年10月18日
Correlation-based Discovery of Disease Patterns for Syndromic Surveillance
Arxiv
0+阅读 · 2021年10月18日
Complexity of optimizing over the integers
Arxiv
0+阅读 · 2021年10月15日
A Serverless Distributed Ledger for Enterprises
Arxiv
0+阅读 · 2021年10月10日
Generative Adversarial Networks in Computer Vision: A Survey and Taxonomy
Generative Adversarial Networks in Computer Vision: A Survey and Taxonomy
Arxiv
42+阅读 · 2020年12月21日
VIP会员
文章信息
前往arXiv
下载PDF
相关主题
LOPSTR
变换
Principle
编程语言
相关VIP内容
近期必读的5篇顶会CVPR 2021【视觉目标检测】相关论文和代码
专知会员服务
56+阅读 · 2021年3月9日
IJCAI2020接受论文列表，592篇论文pdf都在这了！
IJCAI2020接受论文列表，592篇论文pdf都在这了！
专知会员服务
63+阅读 · 2020年7月16日
可解释高效异构图卷积网络，Interpretable and Efficient Heterogeneous Graph Convolutional Network
可解释高效异构图卷积网络，Interpretable and Efficient Heterogeneous Graph Convolutional Network
专知会员服务
62+阅读 · 2020年7月12日
【牛津大学】深度残差强化学习，Deep Residual Reinforcement Learning
【牛津大学】深度残差强化学习，Deep Residual Reinforcement Learning
专知会员服务
83+阅读 · 2020年2月18日
【NAACL 2019 workshop】相似语言、变体和方言自然语言处理 The workshop on NLP for Similar Languages, Varieties and Dialects，约翰斯·霍普金斯大学|David Yarowsky
【NAACL 2019 workshop】相似语言、变体和方言自然语言处理 The workshop on NLP for Similar Languages, Varieties and Dialects，约翰斯·霍普金斯大学|David Yarowsky
专知会员服务
4+阅读 · 2019年12月5日
【NAACL 2019 workshop】词汇和计算语义学联合会议 The 8th Joint Conference on Lexical and Computational Semantics ，犹他大学（The University of Utah）| Ellen Riloff，纽约大学| Sam Bowman
【NAACL 2019 workshop】词汇和计算语义学联合会议 The 8th Joint Conference on Lexical and Computational Semantics ，犹他大学（The University of Utah）| Ellen Riloff，纽约大学| Sam Bowman
专知会员服务
5+阅读 · 2019年12月5日
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
Connections between Support Vector Machines, Wasserstein distance and gradient-penalty GANs
专知会员服务
34+阅读 · 2019年10月17日
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
Deep Learning Based Detection and Correction of Cardiac MR Motion Artefacts During Reconstruction for High-Quality Segmentation
专知会员服务
56+阅读 · 2019年10月17日
2019年机器学习框架回顾
2019年机器学习框架回顾
专知会员服务
35+阅读 · 2019年10月11日
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
【人工智能在2019：一年回顾】反人工智能，AI in 2019: A Year in Review
专知会员服务
79+阅读 · 2019年10月10日
热门VIP内容
相关资讯
计算机 | 中低难度国际会议信息8条
计算机 | 中低难度国际会议信息8条
Call4Papers
9+阅读 · 2019年6月19日
计算机 | IUI 2020等国际会议信息4条
计算机 | IUI 2020等国际会议信息4条
Call4Papers
6+阅读 · 2019年6月17日
CCF推荐 | 国际会议信息8条
CCF推荐 | 国际会议信息8条
Call4Papers
9+阅读 · 2019年5月23日
CCF A类 | 顶级会议RTSS 2019诚邀稿件
CCF A类 | 顶级会议RTSS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年4月17日
人工智能 | 国际会议信息6条
人工智能 | 国际会议信息6条
Call4Papers
4+阅读 · 2019年1月4日
大数据 | 顶级SCI期刊专刊/国际会议信息7条
大数据 | 顶级SCI期刊专刊/国际会议信息7条
Call4Papers
10+阅读 · 2018年12月29日
计算机类 | SIGMETRICS 2019等国际会议信息7条
计算机类 | SIGMETRICS 2019等国际会议信息7条
Call4Papers
9+阅读 · 2018年10月23日
人工智能类 | 国际会议/SCI期刊专刊信息9条
人工智能类 | 国际会议/SCI期刊专刊信息9条
Call4Papers
4+阅读 · 2018年7月10日
人工智能 | 国际会议/SCI期刊约稿信息9条
人工智能 | 国际会议/SCI期刊约稿信息9条
Call4Papers
3+阅读 · 2018年1月12日
人工智能 | 国际会议截稿信息5条
人工智能 | 国际会议截稿信息5条
Call4Papers
6+阅读 · 2017年11月22日
相关论文
Repeated Games, Optimal Channel Capture, and Open Problems for Slotted Multiple Access
Arxiv
0+阅读 · 2021年10月22日
Extending some results on the second neighborhood conjecture
Arxiv
0+阅读 · 2021年10月22日
Proceedings Third Workshop on Formal Methods for Autonomous Systems
Arxiv
0+阅读 · 2021年10月22日
Different Applications and Technologies of Internet of Things (IoT)
Arxiv
0+阅读 · 2021年10月20日
Monte Carlo construction of cubature on Wiener space
Arxiv
0+阅读 · 2021年10月19日
Proceedings of the 19th International Overture Workshop
Arxiv
0+阅读 · 2021年10月18日
Correlation-based Discovery of Disease Patterns for Syndromic Surveillance
Arxiv
0+阅读 · 2021年10月18日
Complexity of optimizing over the integers
Arxiv
0+阅读 · 2021年10月15日
A Serverless Distributed Ledger for Enterprises
Arxiv
0+阅读 · 2021年10月10日
Generative Adversarial Networks in Computer Vision: A Survey and Taxonomy
Generative Adversarial Networks in Computer Vision: A Survey and Taxonomy
Arxiv
42+阅读 · 2020年12月21日
Top
微信扫码咨询专知VIP会员
Top