时代!研讨会的目的是关注基于参与者、主动/并发对象、代理和更一般的高级编程范式的编程系统、语言和应用程序,这些范式促进了在解决问题和开发软件时的分散控制。
该研讨会旨在涵盖设计和编程的理论和实践,将研究模型、语言和技术的研究人员以及开发实际系统和应用程序的从业人员聚集在一起。
| 00:20 - 01:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 02:20 - 03:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 04:20 - 05:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 06:20 - 07:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 08:20 - 09:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 10:20 - 11:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 12:20 - 13:00 | 惠灵顿早餐学生研究竞赛在溅水-I +12小时
-
杨艾丹,SOAR:开源API重构综合
-
加文·李,SASIL:一种用于模拟调度系统声明规范的领域专用语言
-
伊恩·麦科马克,物联网软件库模型
-
Mona Zhang和Jacob Gorenburg,渐进式校验器的设计与实现
-
拉斐尔·莫萨纳,机器学习简化对数据驱动编译器优化的理解
-
里德·奥伊,Psamathe:安全区块链资产的DSL
-
Sang Heon Choi,整合:一种提高人机界面许可性的技术
-
索菲亚·科拉克,通过深度学习检测性能模式
-
维塔利·罗曼诺夫,使用图神经网络预测Python函数返回类型时边类型的重要性评估
|
| | | |
| 海报 | | 学生研究竞赛 学生研究竞赛
|
| 14:20 - 15:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 16:20 - 17:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 18:20 - 19:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 20:20 - 21:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
| 22:20 - 23:00 | |
| | | |
| 社交活动 | | 会见演讲者 会见演讲者(MTS)
|
文件征集
时代!研讨会侧重于基于参与者、活动/并发对象、代理的编程系统、语言和应用程序,更广泛地讲,还侧重于高级编程范式,促进在解决问题和开发软件时分散控制的思维方式。该研讨会旨在涵盖设计和编程的理论和实践,将研究模型、语言和技术的研究人员与开发实际系统和应用程序的实践者聚集在一起。
研讨会的目标是作为一个论坛,收集、讨论和比较在(分布式)人工智能、分布式计算、计算机编程、编程语言设计和软件工程背景下不同社区中通常出现的相关研究成果。
研讨会将安排为为期一天的研讨会,将以下两个方面结合起来:
研讨会欢迎两种类型的贡献:
请作者使用提交系统以PDF格式提交论文https://agere20.hotcrp.com/.
- 全文:最多10页,包括参考文献
- 演示论文:最多2页,不包括参考文献
(延长的)最后期限是2020年9月1日。
提交的文件应使用ACM SIGPLAN会议acmart格式和“SIGPLAN”子格式,10点字体。所有提交文件均应为PDF格式。如果您使用LaTeX或Word,请使用ACM SIGPLAN acmart模板。否则,请按照作者的说明进行操作。
如果使用LaTeX格式化纸张,则需要在\documentclass命令中设置10pt选项。如果您使用Word格式化论文,您可能希望使用提供的支持此字体大小的Word模板。请使用LaTeX\settopmatter{printfolios=true}命令在提交的文件中包含页码。此外,请确保您提交的文件在黑白打印机上打印时清晰可见。特别是,请检查颜色是否保持清晰,字体大小是否清晰。