[TYPES/announce] CFP: Scala Symposium 2016
sandro.stucki at epfl.ch
Mon May 23 05:09:08 EDT 2016
Scala Symposium 2016
co-located with SPLASH 2016
October 30-31, 2016
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
The Scala Symposium is a forum for researchers and practitioners to
share new ideas and results of interest to the Scala programming
language community. We welcome a broad spectrum of research topics in
Topics of Interest
We welcome submissions on topics related to Scala, including (but not
* 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
* Concurrent and distributed programming -- libraries, frameworks,
language extensions, programming models, performance evaluation,
* 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
* Tools -- development environments, debuggers, refactoring tools,
* Case studies, experience reports, and pearls.
* Abstract submission: July 17th 2016
* Paper submission: July 25th 2016
* Paper notification: September 5th 2016
* Camera ready: September 13th 2016
To accommodate the needs of researchers and practitioners as well as
beginners and experts alike, we accept submissions in several formats:
* Full papers (10 pages)
* Short papers (4 pages)
* Tool papers (4 pages)
* Student Talks (abstract)
* Open Source Talks (abstract)
Details for each format are given below.
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
Full and Short Papers
Full and Short papers should describe novel 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).
The submissions should follow the ACM SIGPLAN guidelines and use a
10pt font. Accepted full and short papers will be published in the
proceedings and will be disseminated on the ACM Digital Library.
Tool papers need not necessarily report original research results;
they may 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.
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.
Open Source Talks
We will 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 10 minutes
long, presenting an open-source project that would be of interest to
the Scala community.
The submission will be managed through HotCRP: https://scala16.hotcrp.com/
More Information For questions and additional clarifications, please
contact the conference organizers.
We are delighted to have two excellent keynote speakers this year:
* Laurence Tratt, King's College London
* Jan Vitek, Northeastern University
* Nada Amin, EPFL
* Shigeru Chiba, University of Tokyo
* Eva Darulova, MPI-SWS
* Sebastien Doeraene, EPFL
* Sebastian Erdweg, TU Delft
* Philipp Haller, KTH
* Ricardo Honorato-Zimmer, University of Edinburgh
* Cay Horstmann, San Jose State University
* Lars Hupel, TUM
* Vojin Jovanovic, Oracle Labs
* Oleg Kiselyov, Tohoku University
* Doug Lea, SUNY Oswego
* Erik Meijer, Applied Duality, Inc.
* Heather Miller, EPFL
* Nate Nystrom, University of Lugano
* Klaus Ostermann, University of Tübingen
* Ilya Sergey, UCL
* Mirko Stocker, HSR
* Niki Vazou, UCSD
* Tijs van der Storm, CWI
* Aggelos Biboudis, University of Athens
* Manohar Jonnalagedda, EPFL
* Sandro Stucki, EPFL
* Vlad Ureche, EPFL
More information about the Types-announce