2018年WFLP概述

---

函数和（约束）逻辑编程国际研讨会（WFLP）旨在汇集对函数编程、逻辑编程及其集成感兴趣的研究人员、学生和实践者。WFLP以其活跃友好的论坛而闻名，它公开展示和讨论正在进行的工作、技术贡献、经验报告、实验、评论和系统描述。

第26届功能和（约束）逻辑编程国际研讨会（WFLP 2018）将在德国法兰克福歌德大学举行。以前的WFLP版本是2017年WFLP（德国维尔茨堡），2016年世界粮食计划署（德国莱比锡），WFLP 2014年（德国威登堡），2013年世界粮食计划署（德国基尔），2012年WFLP（日本名古屋），WFLP 2011年（丹麦欧登塞），2010年世界粮食计划署（西班牙马德里），2009年世界粮食计划署（巴西巴西利亚），2008年世界粮食计划署（锡耶纳，意大利），2007年世界粮食计划署（法国巴黎），WFLP 2006年（西班牙马德里），WCFLP 2005年（爱沙尼亚塔林），WFLP 2004年（德国亚琛），WFLP 2003年（西班牙巴伦西亚），WFLP 2002年（意大利格拉多），WFLP 2001年（德国基尔），WFLP 2000型（西班牙贝尼卡西姆），99年世界粮食计划署（法国格勒诺布尔），98年世界粮食计划署（德国巴德·洪内夫），97年WFLP（德国施瓦岑贝格），1996年（德国马尔堡），1995年世界粮食计划署（德国施瓦岑贝格），WFLP’94（德国施瓦岑贝格），WFLP’93（德国Rattenberg），以及WFLP’92（德国卡尔斯鲁厄）。

2018年WFLP将与2018年PPDP（声明性编程原则与实践国际研讨会）和2018年LOPSTR（基于逻辑的程序合成与转换国际研讨会.

感兴趣的主题涵盖了函数和逻辑编程的所有方面。它们包括（但不限于）：

• 功能性编程
• 逻辑编程
• 约束编程
• 演绎数据库，数据挖掘
• 声明性语言、对象的扩展
• 多通道声明性编程
• 基础、语义、非单调推理、动力学
• 并行性、并发性
• 程序分析、抽象解释
• 程序和模型操作
• 程序转换、部分评估、元编程
• 规范、验证
• 调试、测试
• 知识表示、机器学习
• 声明性编程与其他形式（例如，代理、XML、Java）的交互
• 声明性语言的实现
• 高级编程环境和工具
• 用于声明式编程的软件技术
• 应用

主要关注的是新的和原创的研究成果，但也鼓励提交描述创新产品、开发中的原型、应用系统或有趣的实验（例如基准）的文件。欢迎从新的角度提出上述主题的某些方面的调查文件和经验报告。

论文必须用英语书写和呈现。可以提交未发表或非正式发表的研讨会论文集中已经出现的作品（如有疑问，请联系PC主席）。

这个程序可用在这里.

重要日期

---

摘要提交：	2018年6月27日
论文提交：	2018年7月2日
通知：	2018年7月27日
摄像头就绪（用于电子预处理）：	2018年8月24日
研讨会：	2018年9月6日

提交指南

---

提交方式为2018年WFLP Easychair提交网站.

请作者提交以下类别的论文：

• 定期研究论文
• 工作进展报告
• 系统描述

常规研究论文必须描述原创作品，以英语书写和呈现，并且不得与正式发表的论文或同时提交给期刊、会议或研讨会的论文有实质性重叠。他们将根据重要性、相关性、正确性、独创性和清晰度进行评判。对于以工作为目的的报告和系统描述，不太正式的规则适用，并且可以只提交演示文稿（谈话和讨论，但正式会议中没有论文）。如有任何问题，请联系电脑主席。

所有提交的材料都必须以计算机科学风格的课堂讲稿进行格式化。提交文件不得超过15页，包括参考文献，但不包括标记良好的非出版附录。审稿人不需要阅读附录，因此没有附录的论文应该容易理解。然而，所有提交的材料（尤其是正在进行的工作报告和系统说明）可能大大短于15页。

接受的论文

---

• 将编程可计算函数转换为回答集合程序
  英格玛·达塞维尔和马克·德内克
   
• 合成集函数
  塞尔吉奥·安托伊、迈克尔·哈纳斯和芬恩·蒂根
   
• 当你应该在Haskell中使用列表时（大多数情况下，你不应该）
  约翰内斯·沃尔德曼
   
• 使用变异测试测量Prolog程序的覆盖率
  亚历山大·埃弗雷米迪斯、约书亚·施密特、塞巴斯蒂安·克林斯和菲利普·科纳
   
• 用实际CHR程序的不变量和等价性证明合流的约束求解器
  亨宁·克里斯蒂安森（Henning Christiansen）和马贾·柯尔克比（Maja Kirkeby）
   
• 高电感类型的代码生成
  帕文森·维维卡南丹
   
• 使用契约在Erlang中进行运行时验证
  拉尔斯·阿克·弗雷德伦德、胡里奥·马里尼奥、塞尔吉奥·佩雷斯和萨尔瓦多·塔马里特
   
• Erlang中的功能联合学习（ffl-erl）
  Gregor Ulm、Emil Gustavsson和Mats Jirstrand
   
• 约束逻辑面向对象编程中的引用类型逻辑变量
  扬·C·达格福德
   
• 通过使用附加信息加强POI测试方法
  塞尔吉奥·佩雷斯和萨尔瓦多·塔马利特
   
• 让泡泡变得实用
  史蒂文·利比和塞尔吉奥·安托伊
   
• 逻辑程序设计中类比推理的代数理论
  克里斯蒂安·安提克
   
• FMS：作为建模语言的函数式编程
  英格玛·达塞维尔和格尔达·詹森
   

诉讼

---

所有被接受在会议上提交的论文都将在非正式会议上发表，可在计算研究库.

根据项目委员会的审查，可以直接接受提交的文件，以便在正式的会后程序中发布。会议后正式会议记录将于施普林格在中计算机科学系列讲座笔记.会议结束后，将邀请所有仅接受演示的作者根据会议上征求的反馈修改和/或扩展其提交的内容。然后，经过另一轮审查，这些修订后的论文也可能在正式会议上发表。

因此，所有被接受的论文都将以开放存取的方式发表，作者也可以决定在斯普林格LNCS正式会议上发表他们的工作。

Springer LNCS正式程序可用在这里.