[TYPES/announce] ACM SIGPLAN Scala Symposium 2017: Final Call for Talk Proposals

[Jonathan Brachthäuser]

======================================================
  Scala Symposium 2017

  co-located with SPLASH 2017
  Vancouver, Canada
  22-23 October 2017

  FINAL CALL FOR TALK PROPOSALS

  http://conf.researchr.org/track/scala-2017/scala-2017-papers
======================================================

Deadline for talk proposals: Aug 30th, 2017

Scala is a general purpose programming language designed to express
common programming patterns in a concise, elegant, and type-safe way.
It smoothly integrates features of object-oriented and functional
languages.

The Scala Symposium is a forum for researchers and practitioners to
share new ideas and results of interest to the Scala community. We
welcome a broad spectrum of research topics and many formats.

Topics of Interest
==================
We seek submissions on all topics related to Scala, including (but not
limited to):

- Language design and implementation – language extensions,
  optimization, and performance evaluation.
- Library design and implementation patterns for extending Scala –
  stand-alone Scala libraries, embedded domain-specific languages,
  combining language features, generic and meta-programming.
- Formal techniques for Scala-like programs – formalizations of the
  language, type system, and semantics, formalizing proposed language
  extensions and variants, dependent object types, type and effect
  systems.
- Concurrent and distributed programming – libraries, frameworks,
  language extensions, programming models, performance evaluation,
  experimental results.
- Big data and machine learning libraries and applications using the
  Scala programming language.
- Safety and reliability – pluggable type systems, contracts, static
  analysis and verification, runtime monitoring.
- Interoperability with other languages and runtimes, such as
  JavaScript, Java 8 (lambdas), Graal and others.
- Tools – development environments, debuggers, refactoring tools,
  testing frameworks.
- Case studies, experience reports, and pearls.

Important dates
===============
* Talk submission: Aug 30th, 2017
* Talk notification: Sep 17th, 2017

All deadlines are “Anywhere on Earth” (AoE)

Submission Format
=================
To accommodate the needs of researchers and practitioners, as well as
beginners and experts alike, we seek several kinds of submissions.

Submission open:
- **Student and Open Source talks** (short abstract only, in plain text)

Submission closed:
- **Full papers** (at most 10 pages, excluding bibliography)
- **Short papers** (at most 4 pages, excluding bibliography)
- **Tool papers** (at most 4 pages, excluding bibliography)

Student or open source talks will **not** be published in the ACM
Digital Library. Detailed information for each kind of submission is
given below.

Please note that at least one author of each accepted contribution must
attend the symposium and present the work. In the case of tool
demonstration papers, a live demonstration of the described tool is
expected.

Student Talks
=============
In addition to regular papers and tool demos, we also solicit short
student talks by bachelor/master/PhD students. A student talk is not
accompanied by paper (it is sufficient to submit a short abstract of
the talk in plain text). Student talks are about 5-10 minutes long,
presenting ongoing or completed research related to Scala. In previous
years, each student with an accepted student talk received a grant
(donated by our sponsors) covering registration and/or travel costs.

Open Source Talks
=================
We will also accept a limited number of short talks about open-source
projects using Scala presented by contributors. An open-source talk is
not accompanied by a paper (it is sufficient to submit a short abstract
of the talk in plain text). Open-source talks are about ~10 minutes
long and about topics of relevance to the symposium, for instance (but
not only) presenting or announcing an open-source project that would be
of interest to the Scala community.

Submission Website
==================

The submission will be managed through HotCRP:

    https://scala17.hotcrp.com/

For questions and additional clarifications, please contact the
conference organizers.

Program Committee (Tentative)
=============================
* Aggelos Biboudis, EPFL
* Edwin Brady, University of St. Andrews
* Eugene Burmako, Twitter
* Eva Darulova, MPI-SWS
* Lars Hupel, TU Munich
* Pablo Inostroza, CWI
* Oleg Kiselyov, Tohoku University
* Martin Odersky, EPFL
* Bruno Oliveira, University of Hong Kong
* Guido Salvaneschi, TU Darmstadt
* Anthony Sloane, Macquarie University
* Philippe Suter, IBM Research
* Frank Tip, Northeastern University
* Sam Tobin-Hochstadt, Indiana University
* Niki Vazou, University of Maryland

Organizers
==========
* Heather Miller, EPFL (General Chair)
* Philipp Haller, KTH (Program Chair)
* Ondřej Lhoták, University of Waterloo (Program Chair)
* Paolo Giarrusso, University of Tübingen
* Jonathan Brachthäuser, University of Tübingen

Sponsors
========
We thank our sponsor Lightbend and Twitter for supporting some of the
talented student attendees of Scala'17.

Links
=====
* Scala '17 http://conf.researchr.org/track/scala-2017/scala-2017-papers
* Submissions https://scala17.hotcrp.com/
* SPLASH '17 http://2017.splashcon.org/