[TYPES/announce] CfP Reminder: The Second Scala Workshop - Scala Days 2011

[Garcia Gutierrez Miguel Alfredo]

The Second Scala Workshop
=========================

Call for 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.


This workshop is a forum for researchers and practitioners to share
new ideas and results of interest to the Scala community. The
second annual workshop will be held at Stanford University in
the San Francisco Bay Area, on Thursday the 2nd of June 2011,
co-located with Scala Days 2011 (2nd-3rd of June).




We seek papers on topics related to Scala, including (but not
limited to):


1. Language design and implementation -- language extensions,
optimization, and performance evaluation.


2. Library design and implementation patterns for extending Scala --
embedded domain-specific languages, combining language features,
generic and meta-programming.


3. 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.


4. Concurrent and distributed programming -- libraries, frameworks,
language extensions, programming paradigms: (Actors, STM, ...),
performance evaluation, experimental results.


5. Safety and reliability -- pluggable type systems, contracts,
static analysis and verification, runtime monitoring.


6. Tools -- development environments, debuggers, refactoring
tools, testing frameworks.


7. Case studies, experience reports, and pearls




Important Dates
---------------


Submission:             Tuesday, Feb 8, 2011 (24:00 in Apia, Samoa)
Notification:           Tuesday, Mar 15, 2011
Final revision:         Friday, Apr 15, 2011
Workshop:               Thursday, Jun 2, 2011




Submission Guidelines
---------------------


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.


Submissions must be in English and at most 12 pages total length in
the standard ACM SIGPLAN two-column conference format (10pt).
No formal proceedings will be published, but there will be a webpage
linking to all accepted papers. The workshop also welcomes short papers.


The papers can be submitted by using the Scala Workshop EasyChair
website: http://www.easychair.org/conferences/?conf=days2011


Additional details about the Scala Days 2011 event are available at:
http://days2011.scala-lang.org.




Program Committee
-----------------


Nathan Bronson, Stanford University
Miguel Garcia, EPFL
Klaus Havelund, Jet Propulsion Laboratory
Cay Horstmann, San Jose State University
Doug Lea, State University of New York at Oswego
Nate Nystrom, University of Lugano
Martin Odersky, EPFL (chair)
Kunle Olukotun, Stanford University
James Strachan, FuseSource