WWV主页
第十届网络系统自动规范和验证国际研讨会
有关WWV 2014的信息也可以在WWV 2014网站.
文件征集(文本,pdf格式)
概述
WWV是一个年度研讨会，旨在提供一个跨学科论坛，以促进交叉施肥和混合方法的发展，该方法利用了从基于规则的编程,形式化方法,软件工程和面向网络的研究为庆祝今年的第十届，WWV系列研讨会已成为一个充满活力、友好的活动，有很多互动和讨论。
如今，许多公司和机构已将其网站转向交互式、完全自动化、基于Web的应用程序，用于电子商务、电子学习、电子政务和电子健康等领域。Web系统的复杂性增加和爆炸性增长使其设计和实现成为一项具有挑战性的任务。系统化、正式的规范和验证方法可以通过自动化、有效的技术和工具解决这一特定领域的问题。
今年，WWV是FLoC 2014年，与第七届国际自动推理联合会议相关(2014年国际JCAR).
理论或应用感兴趣的主题包括但不限于：
- 基于规则的Web系统分析、认证、规范、验证和优化方法
- 编程和设计Web系统的语言和模型
- 描述和推理Web系统的形式化方法
- Web系统的模型检查、合成和调试
- 链接数据的分析和验证
- 语义Web中的抽象解释和程序转换
- 用于Web服务组合和编排的中间件和框架
- Web系统的软件产品线工程
- Web系统的面向特征建模和可变性分析
重要日期
| 摘要提交 |
|
2014年4月25日 |
| 论文提交 |
|
2014年5月2日 |
| 中标通知书 |
|
2014年5月30日 |
| 相机就绪版本 |
|
2014年6月20日 |
| WWV 2014研讨会 |
|
2014年7月18日 |
提交
我们请求提交未经审查的原始和未发表的稿件，以便在其他地方发表，包括全文和短文。
- 必须在LaTeX中使用EPTCS样式格式它们不应超过15页（排版11分）。所有被接受的论文都将被纳入诉讼。
- 短文是关于工作成果或工具文件的，不应超过6页。短文可能不包括在会议记录中（会议记录邀请选择）。
所有稿件将由项目委员会选出的至少三名评审员进行评估。应通过
>>>EasyChair在线提交系统<<<
提交论文需要一个坚定的承诺，即如果论文被接受，至少有一位作者将参加研讨会。
出版物
所有被接受的常规论文都将被纳入会议记录，并将作为EPTCS公司系列（WWV出版物在DBLP和Microsoft学术研究等重要存储库中编入索引）。选定的短文将被邀请参加会议。
计划公开征集一期关于WWV研讨会主题的高质量期刊。自2009年以来，这一直是WWV的常见做法。
受邀演讲者
| 史蒂夫·罗斯·塔尔博特 |
|
英国Cognizant Technology Solutions |
组织
研讨会联合主席
| 莫里斯·特·比克 |
|
意大利比萨ISTI-CNR |
| 安托尼奥·拉瓦拉 |
|
葡萄牙里斯本新大学 |
项目委员会
| 玛丽亚·阿尔普特 |
|
西班牙巴伦西亚技术大学 |
| 大卫·贝纳维德斯 |
|
西班牙塞维利亚大学 |
| 马里奥·布拉维蒂 |
|
意大利博洛尼亚大学 |
| 西尔万·霍尔 |
|
加拿大魁北克大学 |
| 雷蒙德·胡 |
|
英国伦敦帝国理工学院 |
| Atsushi Igarashi先生 |
|
日本京都大学 |
| 劳拉·科瓦茨 |
|
奥地利维也纳理工大学 |
| 安娜·阿尔梅达·马托斯 |
|
葡萄牙里斯本高等技术学院 |
| 安德斯·默勒 |
|
丹麦奥胡斯大学 |
| 格温·萨拉恩 |
|
法国格勒诺布尔Inria Rhóne-Alpes |
| 弗朗西斯科·蒂齐 |
|
意大利卢卡IMT高等研究院 |
| 埃米利奥·托斯托 |
|
英国莱斯特大学 |
| 埃里克·德文克 |
|
荷兰埃因霍温理工大学 |
指导委员会
| 玛丽亚·阿尔普特 |
|
西班牙巴伦西亚技术大学（联合主席） |
| 德米斯·巴利斯 |
|
意大利乌迪内大学 |
| 圣地亚哥·埃斯科瓦尔 |
|
西班牙巴伦西亚工业大学 |
| 莫雷诺·法拉斯基 |
|
意大利锡耶纳大学（联合主席） |
| 劳拉·科瓦茨 |
|
奥地利维也纳理工大学 |
| Temur Kutsia公司 |
|
奥地利林茨约翰内斯·开普勒大学 |
| 马西莫·马尔奇奥里 |
|
意大利帕多瓦大学 |
| 罗萨里奥·普格利泽 |
|
意大利佛罗伦萨大学 |
| 安东尼奥·拉瓦拉 |
|
葡萄牙里斯本新大学 |
| 约塞普·席尔瓦 |
|
西班牙巴伦西亚技术大学 |
| 弗朗西斯科·蒂齐 |
|
意大利卢卡IMT高等研究院 |
过去的版本
WWV系列研讨会于2005年启动，目前已成为一个充满活力、友好的活动，有很多互动和讨论。
- 2005年WWV西班牙巴伦西亚；2005年3月14日至15日
- 2006年WWV塞浦路斯帕福斯；2006年11月19日
- 2007年WWV意大利威尼斯；2007年12月14日
- 2008年WWV意大利锡耶纳；2008年7月4日
- 2009年WWV奥地利哈根堡城堡；2009年7月17日
- 第十届WWV奥地利维也纳；2010年7月30日至31日
- 第11届WWV冰岛雷克雅未克；2011年6月9日（作为DisCoTec 2011的一部分）
- 2012年世界大战瑞典斯德哥尔摩；2012年6月16日（作为DisCoTec 2012的一部分）
- 2013年WWV意大利佛罗伦萨；2013年6月6日（作为DisCoTec 2013的一部分）
WWV的前9个版本吸引了高质量的论文发表在ENTCS（WWV’05、WWV’07和WWV’08）、IEEE（WWV'06）和EPTCS（WWV‘11、WWV‘12和WWV‘13）上。2009年WWV之后，《符号计算杂志》（Journal of Symbolic Computation）组织了一期关于WWV主题的特刊。同样，在第十次世界大战之后，《应用逻辑杂志》（Journal of Applied Logic）发行了一期特刊，在第十一次世界大战、第十二次世界大战和第十三次世界大战后，《逻辑与代数编程杂志》（Journal of Logic and Algebraic Programming）发行了特刊。