[TYPES/announce] 2nd CFP: Scala Symposium 2015

[Philipp Haller]

========================================================================
                         Scala Symposium 2015

                      co-located with PLDI 2015
                        Portland, Oregon, USA
                           June 13-14, 2015

                        SECOND CALL FOR PAPERS

                 http://lamp.epfl.ch/~hmiller/scala2015
========================================================================

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.

This symposium is a forum for researchers and practitioners to share new ideas
and results of interest to the Scala community.


Important Dates
===============

* Abstract submission:   March 26, 2015
* Paper/talk submission: April 2, 2015
* Author notification:   April 27, 2015
* Final papers due:      May 7, 2015

All deadlines are at 23:59 Baker Island, USA (UTC-12).


Scope
=====

We seek papers on 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 -- 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 paradigms: (actors, STM, ...), performance
  evaluation, experimental results.
- Safety and reliability -- pluggable type systems, contracts, static analysis
  and verification, runtime monitoring.
- Tools -- development environments, debuggers, refactoring tools, testing
  frameworks.
- Case studies, experience reports, and pearls.

Submitted papers should describe new ideas, experimental results, or projects
related to Scala. In order to encourage lively discussion, submitted papers
may describe work in progress. 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). Papers in the last category of the list
above need not necessarily report original research results; they may
instead, for example, 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.

KEYWORDS: Library Design and Implementation, Language Design and
Implementation, Applications, Formal Techniques, Parallelism and
Concurrency, Distributed Programming, Tools, Experience Reports,
Empirical Studies


Academic 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 a
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, presenting or announcing
an open-source project that is of interest to the Scala community.


Proceedings
===========

It is planned to publish accepted papers in the ACM Digital Library. Authors
must transfer copyright to ACM upon acceptance (for government work,
to the extent transferable), but retain various rights (see ACM Copyright
Policy). Authors are encouraged to publish auxiliary material with their paper
(source code, test data, etc.); they retain copyright of auxiliary material.


Submission Details
==================

Submitted papers should be in portable document format (PDF), formatted using
the standard ACM SIGPLAN two-column conference style (10pt format). Regular
research papers must not exceed 10 pages, tool demonstration papers and short
papers must not exceed 4 pages. "Tool Demos" and "Short Papers" should be
marked as such with those words in the title at time of submission.
Each paper submission must adhere to ACM SIGPLAN's republication policy, as
explained on the web.

Note: "Short Papers" differ from "Tool Demos" in that "Short Papers" are
approached as short research papers. "Short Papers" are expected to carry some
new insights or contribution, and to compare with related work, as with any
normal research paper. They are simply shorter versions of full research
papers. "Tool Demos" on the other hand are about showcasing a well-developed,
well-documented tool, live, before the symposium. Papers corresponding
to "Tool Demos"
are meant to contain an overview of the tool and methodology for the
tool's use. Tool demo papers are less concerned about providing new research
insights, or thoroughly comparing with related work. The Scala Symposium PC
will approach tool demos in the same way as the PEPM'14 Workshop PC, detailed in
PEPM's Tool Paper Evaluation Criteria
(see http://www.program-transformation.org/PEPM14/ToolPaperAdvice).

Student talks and open-source talks are not accompanied by papers. Therefore,
it is sufficient to only submit a plain-text abstract. Both "Student Talks"
and "Open Source Talks" should be marked as such with those words in the title
at time of submission.

Submission see: http://lampwww.epfl.ch/~hmiller/scala2015


Program Committee
=================

* Oscar Boykin, Twitter
* Dave Clarke, Uppsala University
* Doug Lea, State University of New York (SUNY) Oswego
* Ondrej Lhotak, University of Waterloo
* Matt Might, University of Utah
* Adriaan Moors, Typesafe
* Nate Nystrom, University of Lugano
* Bruno Oliveira, University of Hong Kong
* Martin Odersky, EPFL
* Tiark Rompf, Purdue University
* Guido Salvaneschi, TU Darmstadt
* Daniel Spiewak, RichRelevance
* Lex Spoon, Semmle
* Jan Vitek, Northeastern University
* Damien Zufferey, MIT

Organizers
==========

* Philipp Haller, KTH Royal Institute of Technology (Co-chair)
* Heather Miller, EPFL (Co-chair)
* Martin Odersky, EPFL and Typesafe


Links
=====

* The Scala Symposium 2015 website: http://lampwww.epfl.ch/~hmiller/scala2015
* The PLDI 2015 website: http://conf.researchr.org/home/pldi2015