计划-计划›2018

详细表格会话时间表详细时间表

获取日历（iCal）

时区

程序当前显示在（GMT+02:00）阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳.

使用会议时区：（GMT+02:00）阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳选择其他时区

显示的GMT偏移量反映了偏移量在会议的那一刻.

时间段

通过设置时间段，程序将使此时间窗口之外的事件变暗。这对于具有连续程序（具有重复会话）的（虚拟）会议非常有用。
时间段还将限制个人iCalendar订阅服务中包含的事件。

显示完整程序指定时间段

保存

您正在不同于设备时区的时区中查看程序更改时区

4月9日星期一
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

08:00 - 17:00	登记处组织在登记（大厅）

08:00 9小时登记处		登记处组织

08:45 - 10:30	CoCoDo早上CoCoDo公司在马蒂斯

08:45 1500万开放日		CoCoDo开幕式和介绍 CoCoDo公司瓦迪姆·扎伊采夫比利时Raincode实验室
09:00 9000万谈话		FunCons公司 CoCoDo公司彼得·D·摩斯斯斯旺西大学

08:50 - 10:30	更多虚拟机1更多虚拟机在安格斯湾B

08:50 1000万开放日		开放日更多虚拟机
09:00 3000万谈话		走向实用的异构虚拟机更多虚拟机詹姆斯·克拉克森曼彻斯特大学,胡安·福梅罗曼彻斯特大学,米夏利斯·帕帕迪米特里奥曼彻斯特大学,玛丽亚·谢卡拉基曼彻斯特大学,克里斯托斯·科采利迪斯曼彻斯特大学附加的文件
09:30 3000万谈话		Easy:：Jit：编译器辅助库，支持C++代码中的实时编译更多虚拟机胡安·曼努埃尔·马丁内斯·卡马尼奥Quarkslab公司,谢尔盖·盖尔顿Quarkslab公司
10:00 3000万谈话		研究虚拟机的未来：硬件/软件视角更多虚拟机 Foivos S.Zakkak公司 ,安德鲁·尼斯贝特曼彻斯特大学,约翰·马沃曼彻斯特大学,蒂姆·哈特雷曼彻斯特大学,尼科斯·福特里斯曼彻斯特大学,猎户座帕帕达克斯曼彻斯特大学,安德烈亚斯·安德罗尼卡基斯曼彻斯特大学,伊恩·阿普列特塞曼彻斯特大学,米凯尔·卢扬曼彻斯特大学,克里斯托斯·科采利迪斯曼彻斯特大学

09:00 - 10:30	拒绝沙龙1拒绝沙龙在安吉斯河A

09:00 2000万谈话		欢迎来到拒绝沙龙拒绝沙龙托马斯·彼得里切克阿兰·图灵研究所,卢克教堂
09:20 3000万谈话		文件作为目录：关于访问文件中结构化数据的一些思考拒绝沙龙拉斐尔·威默雷根斯堡大学预打印
09:50 2000万谈话		评论（1）-文件作为目录：关于访问文件中结构化数据的一些思考拒绝沙龙菲利普·切纳夫斯基实地考察\|南巴黎大学
10:10 2000万谈话		评论（2）-文件作为目录：关于访问文件中结构化数据的一些思考拒绝沙龙斯蒂芬·凯尔剑桥大学

10:30 - 11:00	咖啡休息时间餐饮在序厅

10:30 3000万咖啡休息时间		休息餐饮

11:00 - 12:30	拒绝沙龙2拒绝沙龙在安格斯湾A

11:00 3000万谈话		Codigo中的Lector或读者的角色拒绝沙龙阿尔瓦罗·维德拉预打印
11:30 2000万谈话		《Codigo》中的批评家或读者的角色拒绝沙龙卢克教堂
11:50 40米谈话		讨论-拒绝沙龙的下一步是什么拒绝沙龙

11:00 - 12:30	更多虚拟机2更多虚拟机在安格斯湾B

11:00 3000万谈话		了解JVM上的任务粒度：分析、分析和优化更多虚拟机安德烈亚·罗莎瑞士卢加诺大学,爱德华多·罗萨莱斯瑞士卢加诺大学,菲利波·夏维奥意大利斯维泽拉大学,沃尔特·宾德瑞士卢加诺大学附加的文件
11:30 3000万谈话		自拍：走向最小符号执行更多虚拟机 Alireza S.Abyaneh公司萨尔茨堡大学,西蒙·鲍尔萨尔茨堡大学,克里斯托夫·基尔希萨尔茨堡大学,菲利普·迈耶萨尔茨堡大学,克里斯蒂安·莫尔斯萨尔茨堡大学,Clément Poncelet公司萨尔茨堡大学,萨拉·塞德尔萨尔茨堡大学,安娜·索科洛娃萨尔茨堡大学,曼纽尔·维德莫瑟萨尔茨堡大学附加的文件
12:00 3000万谈话		Guile中的自托管脚本更多虚拟机安迪·温戈Igalia，S.L.公司。预打印附加的文件

11:00 - 12:30	CoCoDo午餐前CoCoDo公司在马蒂斯

11:00 9000万谈话		贾斯特阿德 CoCoDo公司杰斯珀·奥奎斯特隆德大学

12:30 - 14:30	海报海报在安格斯湾B

12:30 2小时海报		软件！=程序-作为紧急属性的软件行为海报安娜·玛丽亚·艾勒森挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学
12:30 2小时海报		VisAST：用于软件语言教育的通用AST可视化工具海报拉格希尔德·阿尔维克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,Jaakko Järvi公司挪威卑尔根大学
12:30 2小时海报		容错反应式编程海报拉格纳尔·莫克达姆施塔特科技大学
12:30 2小时海报		在Web浏览器中编程虚拟乐器和音频效果海报米歇尔·布法INRIA CNRS阿祖大学,杰罗姆·勒布伦INRIA CNRS阿祖大学,贾里·克莱莫拉阿尔托大学,奥利弗·拉金英国约克大学,圣埃芬·莱茨
12:30 2小时海报		物联网流式编程的运行时验证海报大卫·安科纳热那亚大学,卢卡·弗朗西斯科尼意大利热那瓦大学DIBRIS,毛里齐奥·莱奥塔意大利热那瓦大学DIBRIS,迭戈·克莱里西意大利热那瓦大学DIBRIS,达里奥·奥利亚纳斯意大利热那瓦大学DIBRIS,菲利波·里卡意大利热那瓦大学DIBRIS,乔治·德尔赞诺意大利热那瓦大学DIBRIS,玛丽娜·里巴多意大利热那瓦大学DIBRIS
12:30 2小时海报		自动测试编程任务海报克努特·安德斯·斯托克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,哈贡Heggenes Lerring挪威卑尔根大学
12:30 2小时海报		使用ScalaLoci的分布式反应式应用程序海报帕斯卡·魏森伯格达姆施塔特科技大学

12:30 - 14:30	午餐餐饮在餐厅（屋顶）

12:30 2小时午餐		午餐餐饮

14:30 - 16:00	拒绝沙龙3拒绝沙龙在安格斯湾A

14:30 3000万谈话		相互作用剖析：共现与纠缠拒绝沙龙安特拉尼格·巴斯曼 ,菲利普·切纳夫斯基Ex-Situ\|UniversityéParis-Sud,西蒙·贝茨 ,米歇尔·博杜安·拉丰预打印
15:00 2000万谈话		批判-对互动的剖析：共现与纠缠拒绝沙龙托马斯·彼得里切克阿兰·图灵研究所
15:20 40米谈话		讨论-评估新颖的编程研究思路拒绝沙龙

14:30 - 16:10	更多虚拟机3更多虚拟机在安格斯湾B

14:30 3000万谈话		苏隆，谢谢你的鱼更多虚拟机曼努埃尔起重工约翰开普勒林茨大学,罗兰·沙茨约翰开普勒林茨大学,雅各布·克林德尔约翰开普勒林茨大学,克里斯蒂安·胡贝尔Oracle实验室,汉斯彼得·莫森博克JKU林茨，奥地利预打印媒体已连接
15:00 3000万谈话		虚拟机不可避免的死亡：进展报告更多虚拟机斯蒂芬·凯尔剑桥大学预打印
15:30 3000万会议		讨论：为什么我们需要研究虚拟机，我们的要求是什么？更多虚拟机
16:00 1000万当日收盘		当日收盘更多虚拟机

14:30 - 16:00	CoCoDo午餐后CoCoDo公司在马蒂斯

14:30 9000万谈话		Rascal公司 CoCoDo公司安亚·海伦·巴格挪威卑尔根大学

16:00 - 16:30	咖啡休息时间餐饮在序厅

16:00 3000万咖啡休息时间		休息餐饮

16:30 - 18:00	拒绝沙龙4拒绝沙龙在安格斯湾A

16:30 3000万谈话		Semlol：一种符号学编程语言拒绝沙龙奥利·夏普预打印
17:00 2000万谈话		Critique-Semlol：一种符号学编程语言拒绝沙龙安特拉尼格·巴斯曼

16:30 - 18:00	CoCoDo下午CoCoDo公司在马蒂斯

16:30 3000万谈话		如何双重嵌入嵌入式DSL的通用语言以获得表达能力、性能和利润 CoCoDo公司约翰·法布里比利时Raincode实验室
17:00 3000万谈话		程序员与IDE的游戏 CoCoDo公司弗里德里希·斯特曼费努尼弗西特

4月10日星期二
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

08:00 - 17:00	登记处组织在登记（大厅）

08:00 9小时登记处		登记处组织

08:50 - 10:30	模型转换Bx公司在安格斯湾B 主席：延斯·韦伯维多利亚大学

08:50 1000万开放日		正在打开 Bx公司
09:00 3000万全屏显示		（模型驱动）软件开发过程中的保密性 Bx公司约翰逊澳大利亚麦格理大学,佩迪塔·史蒂文斯爱丁堡大学附加的文件
09:30 3000万全屏显示		通过模型间约束实现多模型对应 Bx公司帕特里克·斯滕克尔（Patrick Stünkel） ,哈拉尔德·科尼格 ,Yngve Lamo公司 ,阿德里安·拉特附加的文件
10:00 3000万短片		关于一致用户界面的开发 Bx公司安东尼·安约林 ,Enes Yigitbas公司德国帕德博恩大学,赫尔曼·坎德尔 ,罗马流行音乐奥地利维也纳TU Wien

09:00 - 10:30	第1部分PX/18型在安格斯湾A

09:00 2200万谈话		程序员ACID！ PX/18型弗里德里希·斯特曼费努尼弗西特
09:22 2200万谈话		代码动画的注意模式：使用眼球跟踪器评估动态代码表示技术 PX/18型路易斯·斯皮内利美国华盛顿大学,毛利什·潘迪密歇根大学,史蒂夫·奥尼密歇根大学
09:45 2200万谈话		REScala的反应式编程经验像素/18 拉格纳尔·莫克达姆施塔特科技大学,吉多·萨尔瓦内奇达姆施塔特工业大学,米拉·梅齐尼达姆施塔特工业大学
10:07 2200万谈话		社会规划被视为群体的栖息地 PX/18型乔·埃德尔曼

09:00 - 10:30	第1部分ProWeb（ProWeb）在马蒂斯

09:00 6000万谈话		js:JavaScript多层编程ProWeb邀请的谈话 ProWeb（ProWeb） K：曼纽尔·塞拉诺法国Inria
10:00 2500万谈话		处理程序。Js公司项目Web 丹尼尔·希勒斯特罗姆爱丁堡大学,萨姆·林德利英国爱丁堡大学,罗伯特·阿特基斯特拉斯克莱德大学,KC Sivaramakrishnan公司剑桥大学,杰里米·亚洛普英国剑桥大学
10:25 500万谈话		小组讨论1 ProWeb（ProWeb）

10:30 - 11:00	咖啡休息时间餐饮在序厅

10:30 3000万咖啡休息时间		休息餐饮

11:00 - 12:30	第2部分PX/18型在安格斯湾A

11:00 3000万谈话		探索工作区：交织平面对象的实现和使用 PX/18型帕特里克·雷因哈索-普拉特纳研究所,罗伯特·赫施菲尔德波茨坦大学HPI
11:30 3000万谈话		使用神经网络推理源代码的API和可视化环境 PX/18型亚历山大·贝格尔智利大学,波林·梅拉塔吉雅温得大学,谢尔盖·斯汀克维奇UPMC和INRIA
12:00 3000万谈话		PalCom物联网直播 PX/18型阿尔弗雷德·奥克森瑞典隆德大学,马蒂亚斯·诺达尔瑞典隆德大学,戈雷尔·赫丁 ,鲍里斯·马格努森瑞典隆德大学

11:00 - 12:30	数学基础Bx公司在安格斯湾B 主席：杰里米·吉本斯牛津大学计算机科学系

11:00 3000万完整的纸张		余弦和对称透镜 Bx公司约翰逊澳大利亚麦格理大学,罗伯特·罗斯布鲁
11:30 3000万短片		理解Profunctor光学：一个表示定理 Bx公司纪尧姆·博伊索
12:00 3000万谈话		组合博弈论中的双态透镜 Bx公司朱尔斯·赫奇斯牛津大学

11:00 - 12:30	第2部分ProWeb（ProWeb）在马蒂斯

11:00 2500万全屏显示		一种具有最终一致性的设备间动态任务调度框架 ProWeb（ProWeb） Jihyeok公园韩国KAIST,Joonyoung公园 ,李尹京 ,Chul-Joo Kim先生 ,Byoungoh Kim先生 ,苏京琉KAIST公司
11:25 2500万全屏显示		Scalagna 0.1：使用Scala和Scala.js实现多层编程 ProWeb（ProWeb）鲍勃·雷恩德斯imec-DistriNet，比利时鲁汶大学,迈克尔·格里夫斯 ,多米尼克·德弗里斯KU鲁汶,弗兰克·皮森斯KU鲁汶
11:50 2500万谈话		无层Web应用程序的会话类型 ProWeb（ProWeb）西蒙·福勒爱丁堡大学,萨姆·林德利英国爱丁堡大学,J.加勒特·莫里斯美国堪萨斯大学,萨拉·戴科娃
12:15 1500万谈话		小组讨论2 ProWeb（ProWeb）

12:30 - 14:30	SRC海报展示学生研究竞赛在安格斯湾B 主席：菲利普·哈勒瑞典皇家理工学院

12:30 9米谈话		对象汤：访问全局对象图中域对象的便利接口学生研究竞赛帕特里克·雷因哈索-普拉特纳研究所
12:39 9米谈话		用于终端用户服务组合的DSL 学生研究竞赛阿尔弗雷德·奥克森瑞典隆德大学
12:48 9米谈话		大数据处理应用程序的调试支持学生研究竞赛马蒂奥·马拉布鲁塞尔Vrije大学
12:57 9米谈话		针对数据库支持应用程序的细粒度动态访问控制学生研究比赛埃兹拉·齐格蒙德哈佛大学
13:06 9米谈话		用于安全计算的全同态加密方案学生研究竞赛阿里萨·加齐祖利纳Innopolis大学
13:16 9米谈话		文化维护的本土化计算机程序设计学生研究竞赛乔恩·科贝特
13:25 9米谈话		使用社区检测从代码中挖掘概念学生研究竞赛托尼·马蒂斯哈索-普拉特纳研究所
13:34 9米谈话		论循环转换语言的语义学生研究竞赛阿迪拉·苏松吉法国MINES ParisTech
13:43 9米谈话		Java虚拟机上C和其他不安全语言的沙盒执行学生研究竞赛曼努埃尔起重工约翰开普勒林茨大学
13:53 9米谈话		Pony语言中对象垃圾收集的正确性和完整性学生研究竞赛丹尼尔·斯洛科姆英国伦敦帝国理工学院
14:02 9米谈话		ExtendJ的可扩展编译器体系结构学生研究竞赛杰斯珀·奥奎斯特隆德大学
14:11 9米谈话		使用深度学习改进软件质量的智能故障预测代码编辑器学生研究竞赛瓦苏·金达尔德克萨斯大学达拉斯分校
14:20 9米谈话		在Flint中编写安全智能合同学生研究竞赛富兰克林·施兰斯伦敦帝国理工学院

12:30 - 14:30	午餐餐饮在餐厅（屋顶）

12:30 2小时午餐		午餐餐饮

14:30 - 16:00	第3部分PX/18型在安吉斯河A

14:30 3000万谈话		Java程序员编写更好的Python吗GitHub上非语言代码质量的研究 PX/18型齐格弗里德·霍斯基 ,托尼·马蒂斯哈索-普拉特纳研究所,罗伯特·赫施菲尔德波茨坦大学HPI
15:00 3000万谈话		错误的乐趣：程序员与IDE的游戏 PX/18型弗里德里希·斯特曼费努尼弗西特
15:30 3000万谈话		多功能产品少，专业系列多 PX/18型斯特凡·马尔肯特大学,伯努瓦·达洛泽JKU林茨，奥地利预打印媒体已连接

14:30 - 16:00	工具和系统Bx公司在安格斯湾B 主席：佩迪塔·史蒂文斯爱丁堡大学

14:30 3000万短片		镜头组合器的可视化编辑器 Bx公司安东尼·安约林 ,香山“乔什”高日本国家信息学研究所预打印
15:00 3000万全屏显示		增强JTL工具以实现双向转换 Bx公司罗米娜·埃拉莫来自意大利阿布鲁佐大学,阿方索·皮兰托尼奥 ,米歇尔·图奇
15:30 3000万全屏显示		基于双向变换的轻量级数据共享系统 Bx公司阿德里安·杜什内 ,雨果斯·马查尔 ,镇江湖国家信息学研究所,皮埃尔·伊夫·肖本斯那慕尔大学

14:30 - 16:00	通过1通过在马蒂斯

14:30 500万开放日		欢迎光临通过刘大伟（Yu David Liu）纽约州立大学宾厄姆顿分校,卢卡斯·齐亚雷克美国纽约州立大学布法罗分校,克里斯托夫·博基什菲利普斯大学马尔堡分校,Hidehiko Masuhara先生东京理工大学
14:35 6000万谈话		安全地点：可信任的虚拟机调度（受邀演讲）通过邀请的谈话通过卢多维克·亨利奥印度
15:35 2500万谈话		通过预测对象写入强度来管理混合存储器通过 Shoaib Akram公司根特大学,凯瑟琳·S·麦金利谷歌,詹妮弗·萨托布鲁塞尔Vrije大学,Lieven Eeckhout公司比利时根特大学

16:00 - 16:30	海报海报在安格斯湾B

16:00 3000万海报		在Web浏览器中编程虚拟乐器和音频效果海报米歇尔·布法INRIA CNRS阿祖大学,杰罗姆·勒布伦INRIA CNRS阿祖大学,贾里·克莱莫拉阿尔托大学,奥利弗·拉金英国约克大学,圣埃芬·莱茨
16:00 3000万海报		VisAST：用于软件语言教育的通用AST可视化工具海报拉格希尔德·阿尔维克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,贾科·贾尔维挪威卑尔根大学
16:00 3000万海报		具有ScalaLoci的分布式反应式应用程序海报帕斯卡·魏森伯格达姆施塔特科技大学
16:00 3000万海报		自动测试编程任务海报克努特·安德斯·斯托克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,哈贡Heggenes Lerring挪威卑尔根大学
16:00 3000万海报		物联网流式编程的运行时验证海报大卫·安科纳热那亚大学,卢卡·弗朗西斯科尼意大利热那瓦大学DIBRIS,毛里齐奥·利奥塔意大利热那瓦大学DIBRIS,迭戈·克莱里西意大利热那瓦大学DIBRIS,达里奥·奥利亚纳斯意大利热那亚大学DIBRIS,菲利波·里卡意大利热那瓦大学DIBRIS,乔治·德尔赞诺意大利热那瓦大学DIBRIS,玛丽娜·里巴多意大利热那瓦大学DIBRIS
16:00 3000万海报		容错反应式编程海报拉格纳尔·莫克达姆施塔特科技大学
16:00 3000万海报		软件！=程序-作为紧急属性的软件行为海报安娜·玛丽亚·艾勒森挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学

16:00 - 16:30	咖啡休息时间餐饮在序厅

16:00 3000万咖啡休息时间		休息餐饮

16:30 - 18:00	第4次会议PX/18型在安吉斯河A

16:30 3000万谈话		收集器 PX/18型史蒂文·科斯蒂奥布雷斯特大学,米凯尔·科尔博夫布雷斯特大学,阿兰·普兰泰克法国不列颠西方大学,马库斯·丹克印度里尔
17:00 3000万谈话		Word扩展支持POSIX shell交互 PX/18型格林堡波莫纳学院预打印
17:30 3000万谈话		具有广泛适用性的非表格电子表格 PX/18型帕维尔·巴兹·安特 ,米凯拉·马尔斯

16:30 - 18:10	编程和应用Bx公司在安格斯湾B 主席：松田和隆东北大学

16:30 3000万谈话		双向规划的公理基础 Bx公司香山“乔什”高日本国家信息学研究所,镇江湖国家信息学研究所链接到出版物内政部
17:00 3000万谈话		Profunctor光学与Yoneda引理 Bx公司杰里米·吉本斯牛津大学计算机科学系,纪尧姆·博伊索
17:30 3000万谈话		迈向稳健、灵活和优化的超大型号 Bx公司佩迪塔·史蒂文斯爱丁堡大学
18:00 1000万当日收盘		交割 Bx公司

16:30 - 18:00	通过2通过在马蒂斯

16:30 2500万谈话		网络功能的安全模块化组合通过马提亚斯·艾奇霍尔茨 ,吉多·萨尔瓦内奇达姆施塔特工业大学,米拉·梅齐尼达姆施塔特工业大学
16:55 2500万谈话		面向方面的变更实现在移动应用领域中的应用通过桑德拉·科斯托娃斯洛伐克布拉迪斯拉发斯洛伐克理工大学,瓦伦蒂诺·弗拉尼奇斯洛伐克科技大学
17:20 2500万谈话		使用模型检查检测控制软件中的能量错误和热点通过帕斯卡·范·加斯特尔艾文斯应用科技大学,伯纳德·范·加斯特尔荷兰开放大学,马克·范·埃克伦荷兰开放大学
17:45 1500万当日收盘		讨论和结束通过刘大伟（Yu David Liu）纽约州立大学宾厄姆顿分校,卢卡斯·齐亚雷克美国纽约州立大学布法罗分校,克里斯托夫·博基什菲利普斯大学马尔堡分校,Hidehiko Masuhara先生东京理工大学

19:00 - 22:00	指导委员会会议组织在马蒂斯

19:00 3小时会议		指导委员会会议（非公开）组织

4月11日星期三
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

08:00 - 17:00	登记处组织在登记（大厅）

08:00 9小时登记处		登记处组织

08:45 - 09:00	正在打开组织在安格斯湾A+B

08:45 1500万其他		会议开幕组织曼努埃尔·塞拉诺法国Inria,吉多·萨尔瓦内奇达姆施塔特工业大学

09:00 - 10:00	周三主题演讲主题演讲在安格斯湾A+B

09:00 6000万谈话		反复降雨问题编程›主题演讲主题演讲克：克里希纳穆西神社美国布朗大学

10:00 - 10:30	海报海报在安格斯湾B

10:00 3000万海报		在Web浏览器中编程虚拟乐器和音频效果海报米歇尔·布法蔚蓝海岸大学，CNRS，INRIA,杰罗姆·勒布伦INRIA CNRS阿祖大学,贾里·克莱莫拉阿尔托大学,奥利弗·拉金英国约克大学,圣埃芬·莱茨
10:00 3000万海报		容错反应式编程海报拉格纳尔·莫克达姆施塔特科技大学
10:00 3000万海报		VisAST：用于软件语言教育的通用AST可视化工具海报拉格希尔德·阿尔维克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,贾科·贾尔维挪威卑尔根大学
10:00 3000万海报		使用ScalaLoci的分布式反应式应用程序海报帕斯卡·魏森伯格达姆施塔特科技大学
10:00 3000万海报		物联网流式编程的运行时验证海报大卫·安科纳热那亚大学,卢卡·弗朗西斯科尼意大利热那瓦大学DIBRIS,毛里齐奥·利奥塔意大利热那亚大学DIBRIS,迭戈·克莱里西意大利热那瓦大学DIBRIS,达里奥·奥利亚纳斯意大利热那瓦大学DIBRIS,菲利波·里卡意大利热那瓦大学DIBRIS,乔治·德尔赞诺意大利热那瓦大学DIBRIS,玛丽娜·里巴多意大利热那瓦大学DIBRIS
10:00 3000万海报		自动测试编程任务海报克努特·安德斯·斯托克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,Haõkon Heggernes勒林挪威卑尔根大学
10:00 3000万海报		软件！=程序-作为紧急属性的软件行为海报安娜·玛丽亚·艾勒森挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学

10:00 - 10:30	咖啡休息时间餐饮在序厅

10:00 3000万咖啡休息时间		休息餐饮

10:30 - 12:00	第1部分研究论文在安格斯湾A+B

10:30 3000万谈话		动态类型语言中的范围扩展方法研究论文吉列尔莫·波利托中国科学院,卡米尔·特鲁尔印度,圣埃芬·杜卡斯印度里尔,吕克·法布雷斯Douai矿山链接到出版物内政部
11:00 3000万谈话		深度优先权冲突的零开销消歧研究论文路易斯·爱德华多·德·索扎·阿莫林荷兰代尔夫特理工大学,迈克尔·斯坦多夫代尔夫特理工大学,Eelco Visser公司代尔夫特理工大学链接到出版物内政部
11:30 3000万谈话		Haskell中的语言集成起源研究论文简·斯托拉雷克英国爱丁堡大学,詹姆斯·切尼英国爱丁堡大学链接到出版物内政部

12:00 - 13:45	SRC口头报告学生研究竞赛在安格斯湾A+B

12:00 1小时45米谈话		SRC第二轮：口头报告学生研究竞赛

12:00 - 13:45	午餐餐饮在餐厅（屋顶）

12:00 1小时45米午餐		午餐餐饮

13:45 - 15:00	第2部分研究论文在安格斯湾A+B

13:45 4500万谈话		Lisp、Jazz、Aikido——单一精髓的三种表达方式研究论文迪迪埃·维纳EPITA/LRDE公司链接到出版物内政部
14:30 3000万谈话		实时多语言开发和运行时环境研究论文法比奥·尼珀斯波茨坦大学哈索·普拉特纳研究所,蒂姆·费尔根特里夫波茨坦Oracle实验室,托拜厄斯·佩普HPI，德国,罗伯特·赫施菲尔德波茨坦大学HPI,马塞尔·塔伊梅尔哈索-普拉特纳研究所链接到出版物内政部

15:00 - 15:30	海报海报在安格斯湾B

15:00 3000万海报		容错反应式编程海报拉格纳尔·莫克达姆施塔特科技大学
15:00 3000万海报		物联网流式编程的运行时验证海报大卫·安科纳热那亚大学,卢卡·弗朗西斯基尼意大利热那瓦大学DIBRIS,毛里齐奥·利奥塔意大利热那瓦大学DIBRIS,迭戈·克莱里西意大利热那瓦大学DIBRIS,达里奥·奥利亚纳斯意大利热那瓦大学DIBRIS,菲利波·里卡意大利热那瓦大学DIBRIS,乔治·德尔赞诺意大利热那瓦大学DIBRIS,玛丽娜·里巴多意大利热那瓦大学DIBRIS
15:00 3000万海报		VisAST：用于软件语言教育的通用AST可视化工具海报拉根希尔德·阿尔维克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,贾科·贾尔维挪威卑尔根大学
15:00 3000万海报		自动测试编程任务海报克努特·安德斯·斯托克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,哈贡Heggenes Lerring挪威卑尔根大学
15:00 3000万海报		使用ScalaLoci的分布式反应式应用程序海报帕斯卡·魏森伯格达姆施塔特科技大学
15:00 3000万海报		软件！=程序-作为紧急属性的软件行为海报安娜·玛丽亚·艾勒森挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学
15:00 3000万海报		在Web浏览器中编程虚拟乐器和音频效果海报米歇尔·布法INRIA CNRS阿祖大学,杰罗姆·勒布伦INRIA CNRS阿祖大学,贾里·克莱莫拉阿尔托大学,奥利弗·拉金英国约克大学,圣埃芬·莱茨

15:00 - 15:30	咖啡休息时间餐饮在序厅

15:00 3000万咖啡休息时间		休息餐饮

15:30 - 17:00	第3部分研究论文在安格斯湾A+B

15:30 3000万谈话		基于搜索的层分配用于优化多层Web应用程序中的脱机可用性研究论文劳雷·菲利普斯软件语言实验室,乔里·德科斯特比利时布鲁塞尔大学,沃尔夫冈·德梅特布鲁塞尔Vrije大学,科恩•德•鲁弗布鲁塞尔Vrije大学链接到出版物内政部
16:00 3000万谈话		语义丰富的上下文模型对软件模块化的影响研究论文埃米尔·萨伊迪乌特勒支大学,侏罗纪黑格荷兰乌得勒支大学,拉维·卡德卡乌特勒支大学,投石工詹森链接到出版物内政部
16:30 3000万谈话		使用Java轻量级扩展协调信号和事件研究论文铁雄·卡米纳Oita大学,青谷俊彦（Tomoyuki Aotani）东京理工大学链接到出版物内政部

19:30 - 23:00	社交活动社交活动在餐厅

19:30 3时30分社交活动		宴会社交活动

4月12日星期四
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

08:00 - 17:00	登记处组织在登记（大厅）

08:00 9小时登记处		登记处组织

09:00 - 10:00	星期四主题演讲主题演讲在安格斯湾A+B

09:00 6000万谈话		Android应用程序的静态分析以发现错误和安全漏洞编程›主题演讲主题演讲克：苏京琉KAIST公司

10:00 - 10:30	海报海报在安格斯湾B

10:00 3000万海报		容错反应式编程海报拉格纳尔·莫克达姆施塔特工业大学
10:00 3000万海报		物联网流式编程的运行时验证海报大卫·安科纳热那亚大学,卢卡·弗朗西斯基尼意大利热那瓦大学DIBRIS,毛里齐奥·利奥塔意大利热那瓦大学DIBRIS,迭戈·克莱里西意大利热那瓦大学DIBRIS,达里奥·奥利亚纳斯意大利热那瓦大学DIBRIS,菲利波·里卡意大利热那瓦大学DIBRIS,乔治·德尔赞诺意大利热那瓦大学DIBRIS,玛丽娜·里巴多意大利热那瓦大学DIBRIS
10:00 3000万海报		自动测试编程任务海报克努特·安德斯·斯托克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,哈贡Heggenes Lerring挪威卑尔根大学
10:00 3000万海报		在Web浏览器中编程虚拟乐器和音频效果海报米歇尔·布法INRIA CNRS阿祖大学,杰罗姆·勒布伦INRIA CNRS阿祖大学,贾里·克莱莫拉阿尔托大学,奥利弗·拉金英国约克大学,圣埃芬·莱茨
10:00 3000万海报		VisAST：用于软件语言教育的通用AST可视化工具海报拉格希尔德·阿尔维克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,贾科·贾尔维挪威卑尔根大学
10:00 3000万海报		使用ScalaLoci的分布式反应式应用程序海报帕斯卡·魏森伯格达姆施塔特工业大学
10:00 3000万海报		软件！=程序-作为紧急属性的软件行为海报安娜·玛丽亚·艾勒森挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学

10:00 - 10:30	咖啡休息时间餐饮在序厅

10:00 3000万咖啡休息时间		休息餐饮

10:30 - 12:00	第4次会议研究论文在安格斯湾A+B

10:30 3000万谈话		快速、灵活、Polyglot Instrumentation支持调试器和其他工具研究论文迈克尔·范·德万特Oracle实验室,克里斯·西顿Oracle实验室,迈克尔·豪普特易趣网,克里斯蒂安·休默Oracle实验室，瑞士,托马斯·伍廷格Oracle实验室链接到出版物内政部
11:00 3000万谈话		通过自动重构对新语言特征采用的前瞻性实证评估：以Java8默认方法为例研究论文拉斐·卡查杜里恩纽约城市大学（CUNY）亨特学院,Masuhara秀彦东京理工大学链接到出版物内政部
11:30 3000万谈话		C语言的反思及其在图书馆健壮性中的应用研究论文曼努埃尔起重工约翰开普勒林茨大学,雷内·梅霍弗约翰开普勒林茨大学,罗兰·沙茨约翰开普勒林茨大学,马蒂亚斯·格里默奥地利Oracle实验室,汉斯彼得·莫森博克JKU林茨，奥地利链接到出版物内政部媒体已连接

12:00 - 13:45	SRC口头报告学生研究竞赛在安格斯河A+B

12:00 1小时45米谈话		SRC第二轮：口头报告学生研究比赛

12:00 - 13:45	午餐餐饮在餐厅（屋顶）

12:00 1小时45米午餐		午餐餐饮

13:45 - 15:00	第5部分研究论文在安格斯湾A+B

13:45 4500万谈话		当我们谈论单子时，我们谈论的是什么研究论文托马斯·彼得里切克阿兰·图灵研究所链接到出版物内政部
14:30 3000万谈话		无死锁类型状态定向编程研究论文卢卡·帕多瓦尼意大利都灵大学链接到出版物内政部

15:00 - 15:30	海报海报在安格斯湾B

15:00 3000万海报		在Web浏览器中编程虚拟乐器和音频效果海报米歇尔·布法INRIA CNRS阿祖大学,杰罗姆·勒布伦INRIA CNRS阿祖大学,贾里·克莱莫拉阿尔托大学,奥利弗·拉金英国约克大学,圣埃芬·莱茨
15:00 3000万海报		自动测试编程任务海报克努特·安德斯·斯托克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,哈贡Heggenes Lerring挪威卑尔根大学
15:00 3000万海报		使用ScalaLoci的分布式反应式应用程序海报帕斯卡·魏森伯格达姆施塔特科技大学
15:00 3000万海报		软件！=程序-作为紧急属性的软件行为海报安娜·玛丽亚·艾勒森挪威卑尔根大学,安雅·海伦·巴格挪威卑尔根大学
15:00 3000万海报		容错反应式编程海报拉格纳·莫克达姆施塔特科技大学
15:00 3000万海报		物联网流式编程的运行时验证海报大卫·安科纳热那亚大学,卢卡·弗朗西斯科尼意大利热那瓦大学DIBRIS,毛里齐奥·利奥塔意大利热那瓦大学DIBRIS,迭戈·克莱里西意大利热那瓦大学DIBRIS,达里奥·奥利亚纳斯意大利热那瓦大学DIBRIS,菲利波·里卡意大利热那瓦大学DIBRIS,乔治·德尔赞诺意大利热那瓦大学DIBRIS,玛丽娜·里巴多意大利热那瓦大学DIBRIS
15:00 3000万海报		VisAST：用于软件语言教育的通用AST可视化工具海报拉格希尔德·阿尔维克挪威卑尔根大学,安亚·海伦·巴格挪威卑尔根大学,贾科·贾尔维挪威卑尔根大学

15:00 - 15:30	咖啡休息时间餐饮在序厅

15:00 3000万咖啡休息时间		休息餐饮

15:30 - 16:30	第6部分研究论文在安格斯湾A+B

15:30 3000万谈话		PIE：一种用于交互式软件开发管道的领域专用语言研究论文加布里埃尔·科纳特代尔夫特理工大学,迈克尔·斯坦多夫代尔夫特理工大学,塞巴斯蒂安·埃尔德维格荷兰代尔夫特理工大学,Eelco Visser公司代尔夫特理工大学链接到出版物内政部
16:00 3000万谈话		基于工业自动化领域示例的一致性管理场景描述语言研究论文安东尼·安乔林 ,Enes Yigitbas公司德国帕德博恩大学,埃尔汉·勒布利比奇达姆施塔特工业大学,安迪·舒尔达姆施塔特工业大学,马吕斯·兰黛德国大陆汽车股份有限公司,马丁·威特德国西门子股份公司链接到出版物内政部

16:30 - 17:00	交割组织在安格斯湾A+B

16:30 3000万其他		会议闭幕组织

12:30 - 14:30	SRC海报展示学生研究竞赛在安格斯湾B 主席：菲利普·哈勒瑞典皇家理工学院

12:30 9米谈话		对象汤：访问全局对象图中域对象的便利接口学生研究竞赛帕特里克·雷因哈索-普拉特纳研究所
12:39 9米谈话		用于终端用户服务组合的DSL 学生研究竞赛阿尔弗雷德·奥克森瑞典隆德大学
12:48 9米谈话		大数据处理应用程序的调试支持学生研究竞赛马蒂奥·马拉布鲁塞尔Vrije大学
12:57 9米谈话		针对数据库支持应用程序的细粒度动态访问控制学生研究比赛埃兹拉·齐格蒙德哈佛大学
13:06 9米谈话		用于安全计算的全同态加密方案学生研究竞赛阿里萨·加齐祖利纳Innopolis大学
13:16 9米谈话		文化维护的本土化计算机程序设计学生研究竞赛乔恩·科贝特
13:25 9米谈话		使用社区检测从代码中挖掘概念学生研究竞赛托尼·马蒂斯哈索-普拉特纳研究所
13:34 9米谈话		论循环转换语言的语义学生研究竞赛阿迪拉·苏松吉法国MINES ParisTech
13:43 9米谈话		Java虚拟机上C和其他不安全语言的沙盒执行学生研究竞赛曼努埃尔起重工约翰开普勒林茨大学
13:53 9米谈话		Pony语言中对象垃圾收集的正确性和完整性学生研究竞赛丹尼尔·斯洛科姆英国伦敦帝国理工学院
14:02 9米谈话		ExtendJ的可扩展编译器体系结构学生研究竞赛杰斯珀·奥奎斯特隆德大学
14:11 9米谈话		使用深度学习改进软件质量的智能故障预测代码编辑器学生研究竞赛瓦苏·金达尔德克萨斯大学达拉斯分校
14:20 9米谈话		在Flint中编写安全智能合同学生研究竞赛富兰克林·施兰斯伦敦帝国理工学院

编程›2018计划

4月9日星期一
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

4月10日星期二
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

4月11日星期三
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

4月12日星期四
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

曲目

研讨会

联合编码Dojos

编程›2018计划

切换程序视图

程序显示配置

4月9日星期一显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

4月10日星期二显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

4月11日星期三显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

4月12日星期四显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳 改变

获取日历（iCal）

4月9日星期一
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

4月10日星期二
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

4月11日星期三
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变

4月12日星期四
显示的时区：阿姆斯特丹、柏林、伯尔尼、罗马、斯德哥尔摩、维也纳改变