会员服务
LOPSTR是一个生动、友好的论坛，可以介绍和讨论正在进行的工作。正式的会议记录只有在研讨会结束后才产生，这样作者才能将这些反馈纳入已发表的论文中。目前，LOPSTR系列的目标是刺激和促进基于逻辑的程序开发方面的国际研究与合作。LOPSTR对任何语言范式中基于逻辑的程序开发都是开放的。官网链接：http://lopstr.webs.upv.es/
软件工程 | POPL 2020等国际会议信息6条
软件工程 | POPL 2020等国际会议信息6条
Call4Papers
0+阅读 · 2019年3月20日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top