[TYPES/announce] ACM SIGPLAN Scala Symposium 2017: DEADLINE EXTENSION

[Paolo Giarrusso]

(Apologies for multiple postings.)

================================================================
  ACM SIGPLAN Scala Symposium 2017

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

  CALL FOR PAPERS: DEADLINE EXTENSION

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

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.

Important dates
===============
* No abstract registration
* Paper submission DEADLINE EXTENDED TO: July 20th, 2017
* Paper notification: Aug 20th, 2017
* Student talk submission: Aug 30th, 2017
* Camera ready: Sep 11th, 2017
* Student talk notification: Sep 17th, 2017

All deadlines are "Anywhere on Earth" (AoE).

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.

Submission Format
=================
To accommodate the needs of researchers and practitioners, as well as
beginners and experts alike, we seek several kinds of submissions, all
in **`acmart/sigplan`** style, **10pt** font.

- **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 talks** (short abstract only, in plain text)

Accepted papers (either full papers, short papers, or tool papers,
but not student talks) will be published in the ACM Digital Library.
Detailed information for each kind of submission is given below.
Formatting requirements are detailed on the symposium website at
http://conf.researchr.org/track/scala-2017/scala-2017-papers#Instructions-for-Authors

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.

Full and Short Papers
=====================
Full and short papers should describe novel ideas, experimental
results, or projects related to the Scala language. In order to
encourage lively discussion, submitted papers may describe work in
progress. Additionally, short papers may present problems and raise
research questions interesting for the Scala language community. All
papers will be judged on a combination of correctness, significance,
novelty, clarity, and interest to the community.

In general, papers should explain their original contributions,
identifying what has been accomplished, explaining why it is
significant, and relating it to previous work (also for other languages
where appropriate).

Tool Papers
===========
Tool papers need not necessarily report original research results; they
may describe a tool of interest, report practical experience that will
be useful to others, new Scala idioms, or programming pearls. In all
cases, such a paper must make a contribution which is of interest to
the Scala community, or from which other members of the Scala community
can benefit. Tool papers should be marked as such in their title.

Where appropriate, authors are encouraged to include a link to the
tool's website. For inspiration, you might consider advice in


http://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice

which we however treat as non-binding. In case of doubts, please
contact the program chairs.

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.

Keynote Speakers
================

We are delighted to have two excellent keynote speakers this year:

- Reynold Xin, co-founder and Chief Architect, Databricks
- Dwayne Reeves, technical lead manager on the Hack Programming Language
team, Facebook

Program Committee
=================
* 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 C. d. S. Oliveira, The University of Hong Kong
* Guido Salvaneschi, TU Darmstadt
* Ilya Sergey, University College London
* Anthony Sloane, Macquarie University
* Philippe Suter, Two Sigma
* Frank Tip, Northeastern University
* Sam Tobin-Hochstadt, Indiana University
* Niki Vazou, University of Maryland


Organizers
==========
* Heather Miller, EPFL (General Chair)
* Philipp Haller, KTH Royal Institute of Technology (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 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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170703/780cad9f/attachment.html>