斯卡拉

欢迎参加2016年Scala研讨会！

斯卡拉是一种通用编程语言，旨在以简洁、优雅和类型安全的方式表达通用编程模式。它平滑地集成了面向对象语言和函数语言的特性。Scala研讨会是一个研究人员和实践者分享Scala社区感兴趣的新想法和结果的论坛。我们欢迎广泛的研究主题和多种形式。

今年的Scala研讨会与2016年飞溅.

支持单位：
 

接受的文件和会谈

文件征集

我们欢迎提交与Scala相关的主题，包括（但不限于）：

• 语言设计和实现——语言扩展、优化和性能评估。
• 扩展Scala的库设计和实现模式——独立的Scala库、嵌入式领域特定语言、结合语言功能、通用和元编程。
• Scala-like程序的形式化技术——语言、类型系统和语义的形式化，拟议的语言扩展和变体、依赖对象类型、类型和效果系统的形式化。
• 并发和分布式编程——库、框架、语言扩展、编程模型、性能评估、实验结果。
• 使用Scala编程语言的大数据和机器学习库和应用程序。
• 安全性和可靠性——可插拔型系统、合同、静态分析和验证、运行时监控。
• 与其他语言和运行时的互操作性，如JavaScript、Java 8（lambdas）、Graal等。
• 工具——开发环境、调试器、重构工具、测试框架。
• 案例研究、经验报告和珍珠。

重要日期

• 摘要提交：延长至2016年7月25日
• 论文提交：延长至2016年8月1日
• 纸质通知：延长至2016年9月9日
• 相机准备就绪：2016年9月23日

所有截止日期“地球上任何地方”（AoE）

提交格式

为了满足研究人员和从业者以及初学者和专家的需求，我们接受以下几种格式的提交：

• 全文（10页）
• 短文（4页）
• 工具文件（4页）
• 学生演讲（摘要）
• 开源会谈（摘要）

每种格式的详细信息如下所示。

请注意，每个已接受贡献的至少一位作者必须出席研讨会并介绍工作。如果是工具演示文件，则需要对所述工具进行实时演示。

全文和短文

全文和短文应描述与Scala相关的新颖想法、实验结果或项目。为了鼓励热烈讨论，提交的文件可能会描述正在进行的工作。所有论文将根据正确性、重要性、新颖性、清晰度和对社区的兴趣进行综合评判。

一般来说，论文应解释其最初的贡献，确定已完成的工作，解释其重要性，并将其与以前的工作联系起来（适当时也适用于其他语言）。

提交文件应遵循ACM SIGPLAN指南并使用10pt字体和数字引用样式。被接受的全文和短文将在会议过程中发表，并在ACM数字图书馆上传播。

工具文件

工具文件不必报告原始研究结果；他们可能会报告对他人有用的实践经验、新的Scala习惯用法或编程珍珠。在任何情况下，这样的论文都必须做出Scala社区感兴趣的贡献，或者Scala社区的其他成员可以从中受益。

学生演讲

除了定期的论文和工具演示外，我们还邀请学士/硕士/博士生进行简短的学生演讲。学生演讲不需要附纸（用纯文本提交演讲的简短摘要就足够了）。学生讲座时长约5-10分钟，介绍正在进行或已完成的与Scala相关的研究。在过去几年中，每个获得学生演讲认可的学生都会收到一笔赠款（由赞助商捐赠），用于支付注册和/或差旅费用。

开源会谈

我们将接受一些由贡献者提供的关于使用Scala的开源项目的简短讨论。开源演讲无需附论文（以纯文本形式提交演讲的简短摘要就足够了）。开源会谈长达10分钟，介绍了Scala社区感兴趣的开源项目。

提交网站

提交将通过HotCRP进行管理：https://scala16.hotcrp.com/

有关问题和其他澄清，请联系会议组织者。

• 阿格洛斯·比布迪斯(biboudis@di.uoa.gr)
• 马诺哈尔·琼纳拉赫达(manohar.jonnalagedda@epfl.ch)
• 桑德罗·斯塔基(sandro.stucki@epfl.ch)
• Vlad尿素(vlad.ureche@gmail.com)

我们感谢赞助商光弯（Lightbend）和甲骨文公司为2016年Scala研讨会的一些才华横溢的学生与会者提供支持。