[TYPES/announce] CFP Scala 2013

[Philipp Haller]

========================================================================
                             "Scala 2013"

                   the Fourth Annual Scala Workshop
                      co-located with ECOOP 2013
                         Montpellier, France
                            July 2nd, 2013

                            CALL FOR PAPERS

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

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 workshop is a forum for researchers and practitioners to share new
ideas
and results of interest to the Scala community.

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.

Publications at the Scala Workshop represent works-in-progress and are
not intended to preclude later publication at any of the main
conferences. Though, follow-up submissions do need to conform to the
publication policies of the targeted conference, which typically
equates to significant extension or refinement of the workshop
publication.

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


## Student Talks ##

In addition to regular papers and tool demos, we also solicit short
student talks by 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 minutes long, presenting
ongoing or completed research related to Scala, or announcing a
project that would be of interest to the Scala community.


## Proceedings ##

It is planned to publish accepted papers in the ACM Digital Library, unless
the authors choose not to. In case of publication 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 ##

* Abstract Submission: April 12, 2013
* Paper Submission   : April 19, 2013
* Author Notification: May 17, 2013
* Final Papers Due   : June 1, 2013 (to be confirmed)
* Early Registration : May 31, 2013

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.

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

Submission is via EasyChair:
https://www.easychair.org/conferences/?conf=scala2013


## Program Committee ##

* Marius Eriksen, Twitter
* Viktor Kuncak, EPFL
* Mira Mezini, TU Darmstadt
* Matt Might, University of Utah
* Nate Nystrom, University of Lugano
* Bruno Oliveira, National University of Singapore
* Kunle Olukotun, Stanford University
* Aleksandar Prokopec, EPFL
* David Van Horn, Northeastern University
* Tobias Wrigstad, Uppsala University


## Organizing Committee ##

* Philipp Haller (Chair), Typesafe
* Martin Odersky, EPFL
* Doug Lea, SUNY Oswego
* Heather Miller (Co-Chair), EPFL
* Vojin Jovanovic, EPFL


## Links ##

* The Scala Workshop 2013 web site: http://lamp.epfl.ch/~hmiller/scala2013
* The ECOOP/ECSA/ECMFA 2013 web site:
http://www.lirmm.fr/ec-montpellier-2013
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130227/306aabff/attachment-0001.html>