<div dir="ltr"><div>We're very happy to announce that thanks to our generous sponsors, a small number of accepted student/open-source talks will be awarded travel grants.</div><div><br></div><div>Visit the workshop website for more information!<br>
</div><div><br></div><div><div>There are 9 days left to submit a paper (please register your abstract a week in advance).</div><div><br></div><div>Regards,</div><div>Philipp</div><div><br></div><div>Co-chair, Scala Workshop 2014</div>
</div><div><br></div><div><br></div><br><div><div>========================================================================</div><div> "Scala 2014"</div><div><br></div><div> the Fifth Annual Scala Workshop</div>
<div> co-located with ECOOP 2014</div><div> Uppsala, Sweden</div><div> July 28-29, 2014</div><div><br></div><div> CALL FOR PAPERS</div>
<div><br></div><div> <a href="http://lamp.epfl.ch/~hmiller/scala2014">http://lamp.epfl.ch/~hmiller/scala2014</a></div><div>========================================================================</div><div>
<br></div><div>Scala is a general purpose programming language designed to express common</div><div>programming patterns in a concise, elegant, and type-safe way. It smoothly</div><div>integrates features of object-oriented and functional languages.</div>
<div><br></div><div>This workshop is a forum for researchers and practitioners to share new ideas</div><div>and results of interest to the Scala community.</div><div><br></div><div>We seek papers on topics related to Scala, including (but not limited to):</div>
<div><br></div><div>- Language design and implementation – language extensions, optimization, and</div><div> performance evaluation.</div><div>- Library design and implementation patterns for extending Scala – embedded</div>
<div> domain-specific languages, combining language features, generic and meta-programming.</div><div>- Formal techniques for Scala-like programs – formalizations of the language,</div><div> type system, and semantics, formalizing proposed language extensions and</div>
<div> variants, dependent object types, type and effect systems.</div><div>- Concurrent and distributed programming – libraries, frameworks, language</div><div> extensions, programming paradigms: (Actors, STM, ...), performance</div>
<div> evaluation, experimental results.</div><div>- Safety and reliability – pluggable type systems, contracts, static analysis</div><div> and verification, runtime monitoring.</div><div>- Tools – development environments, debuggers, refactoring tools, testing</div>
<div> frameworks.</div><div>- Case studies, experience reports, and pearls.</div><div><br></div><div>Submitted papers should describe new ideas, experimental results, or projects</div><div>related to Scala. In order to encourage lively discussion, submitted papers</div>
<div>may describe work in progress. All papers will be judged on a combination of</div><div>correctness, significance, novelty, clarity, and interest to the community.</div><div><br></div><div>In general, papers should explain their original contributions,</div>
<div>identifying what has been accomplished, explaining why it is</div><div>significant, and relating it to previous work (also for other</div><div>languages where appropriate). Papers in the last category of the list</div>
<div>above need not necessarily report original research results; they may</div><div>instead, for example, report practical experience that will be useful</div><div>to others, new Scala idioms, or programming pearls. In all cases, such</div>
<div>a paper must make a contribution which is of interest to the Scala</div><div>community, or from which other members of the Scala community can</div><div>benefit.</div><div><br></div><div>Publications at the Scala Workshop represent works-in-progress and are</div>
<div>not intended to preclude later publication at any of the main</div><div>conferences. Though, follow-up submissions do need to conform to the</div><div>publication policies of the targeted conference, which typically</div>
<div>equates to significant extension or refinement of the workshop</div><div>publication.</div><div><br></div><div>KEYWORDS: Library Design and Implementation, Language Design and</div><div>Implementation, Applications, Formal Techniques, Parallelism and</div>
<div>Concurrency, Distributed Programming, Tools, Experience Reports,</div><div>Empirical Studies</div><div><br></div><div><br></div><div>Academic Student Talks</div><div>======================</div><div><br></div><div>In addition to regular papers and tool demos, we also solicit short student</div>
<div>talks by bachelor/master/PhD students. A student talk is not accompanied by a</div><div>paper (it is sufficient to submit a short abstract of the talk in plain text).</div><div>Student talks are about 5-10 minutes long, presenting ongoing or completed</div>
<div>research related to Scala.</div><div><br></div><div><br></div><div>Open Source Talks</div><div>=================</div><div><br></div><div>We will also accept a limited number of short talks about open-source projects</div>
<div>using Scala presented by contributors. An open-source talk is not accompanied</div><div>by a paper (it is sufficient to submit a short abstract of the talk in plain</div><div>text). Open-source talks are about ~10 minutes long, presenting or announcing</div>
<div>an open-source project that would be of interest to the Scala community.</div><div><br></div><div><br></div><div>Proceedings</div><div>===========</div><div><br></div><div>It is planned to publish accepted papers in the ACM Digital Library, unless</div>
<div>the authors choose not to. In case of publication in the ACM Digital Library,</div><div>authors must transfer copyright to ACM upon acceptance (for government work,</div><div>to the extent transferable), but retain various rights (see ACM Copyright</div>
<div>Policy. Authors are encouraged to publish auxiliary material with their paper</div><div>(source code, test data, etc.); they retain copyright of auxiliary material.</div><div><br></div><div><br></div><div>Submission Details</div>
<div>==================</div><div><br></div><div>* Abstract Submission : May 7, 2014</div><div>* Paper/Talk Submission: May 14, 2014</div><div>* Author Notification : June 16, 2014</div><div>* Final Papers Due : June 23, 2014</div>
<div><br></div><div>All deadlines are at 23:59 American Samoa time (UTC-11).</div><div><br></div><div>Submitted papers should be in portable document format (PDF), formatted using</div><div>the standard ACM SIGPLAN two-column conference style (10pt format). Regular</div>
<div>research papers must not exceed 10 pages, tool demonstration papers and short</div><div>papers must not exceed 4 pages. "Tool Demos" and "Short Papers" should be</div><div>marked as such with those words in the title at time of submission.</div>
<div><br></div><div>Note: "Short Papers" differ from "Tool Demos" in that "Short Papers" are</div><div>approached as short research papers. "Short Papers" are expected to carry some</div>
<div>new insights or contribution, and to compare with related work, as with any</div><div>normal research paper. They're simply shorter versions of full research</div><div>papers. "Tool Demos" on the other hand are about showcasing a well-developed,</div>
<div>well-documented tool, live, before the workshop. "Tool Demo"s' corresponding</div><div>papers are meant to contain an overview of the tool and methodology for the</div><div>tool's use. Tool demo papers are less concerned about proving new research</div>
<div>insights, or thoroughly comparing with related work. The Scala Workshop PC</div><div>will approach Tool Demos in the same way as the PEPM Workshop PC, detailed in</div><div>PEPM's Tool Paper Evaluation Criteria</div>
<div>(see <a href="http://www.program-transformation.org/PEPM14/ToolPaperAdvice">http://www.program-transformation.org/PEPM14/ToolPaperAdvice</a>).</div><div><br></div><div>Student talks and open-source talks are not accompanied by papers. Therefore,</div>
<div>it is sufficient to only submit a plain-text abstract. Both "Student Talks"</div><div>and "Open Source Talks" should be marked as such with those words in the title</div><div>at time of submission.</div>
<div><br></div><div>Submission is via EasyChair: <a href="https://www.easychair.org/conferences/?conf=scala2014">https://www.easychair.org/conferences/?conf=scala2014</a></div><div><br></div><div><br></div><div>Program Committee</div>
<div>=================</div><div><br></div><div>* Jonathan Aldrich, Carnegie Mellon University</div><div>* Michael Armbrust, Databricks</div><div>* Werner Dietl, University of Waterloo</div><div>* Marius Eriksen, Twitter</div>
<div>* Shriram Krishnamurthi, Brown University</div><div>* Doug Lea, SUNY Oswego</div><div>* Erik Meijer, Applied Duality/TU Delft</div><div>* Bruno Oliveira, University of Hong Kong</div><div>* Klaus Ostermann, University of Marburg</div>
<div>* Aleksandar Prokopec, EPFL</div><div>* Ilya Sergey, IMDEA Software Institute</div><div>* Philippe Suter, IBM Research</div><div>* Sam Tobin-Hochstadt, Indiana University</div><div>* Tom Van Cutsem, Alcatel-Lucent Bell Labs, Belgium</div>
<div>* Peter Van Roy, Catholic University of Louvain</div><div>* Damien Zufferey, MIT</div><div><br></div><div><br></div><div>Organizers</div><div>==========</div><div><br></div><div>* Heather Miller, EPFL (Co-chair)</div>
<div>* Philipp Haller, Typesafe (Co-chair)</div><div>* Martin Odersky, EPFL</div><div>* Doug Lea, SUNY Oswego</div><div><br></div><div><br></div><div>Links</div><div>=====</div><div><br></div><div>* The Scala Workshop 2014 web site: <a href="http://lampwww.epfl.ch/~hmiller/scala2014">http://lampwww.epfl.ch/~hmiller/scala2014</a></div>
<div>* The ECOOP 2014 web site: <a href="http://ecoop14.it.uu.se/">http://ecoop14.it.uu.se/</a></div></div><div><br></div></div>