[Agda] SLE 2019: Final Call for Papers - Deadline Extension; Athens, Greece; October 21-22
Andrei Chis
chisvasileandrei at gmail.com
Mon Jun 17 15:52:13 CEST 2019
------------------------------------------------------------------------
Call for Papers:
12th ACM SIGPLAN International Conference on Software Language Engineering
(SLE 2019)
co-located with SPLASH 2019
Athens, Greece
October 21-22, 2019
https://conf.researchr.org/home/sle-2019
http://www.sleconf.org/2019
Follow us on twitter: https://twitter.com/sleconf
---------------------------
IMPORTANT DATES
---------------------------
Deadlines have been extended by one week from the earlier announcements:
* Abstract Submission: June 21, 2019
* Paper Submission: June 28, 2019
* Author Notification: August 9, 2019
------------------------------------------------------------------------
We are pleased to invite you to submit papers to the 12th ACM SIGPLAN
International Conference on Software Language Engineering (SLE 2019), held
in conjunction with SPLASH 2019 at Athens, Greece on October 21-22, 2019.
---------------------------
Topics of Interest
---------------------------
SLE 2019 solicits high-quality contributions in areas ranging from
theoretical and conceptual contributions, to tools, techniques, and
frameworks in the domain of software language engineering. Topics relevant
to SLE cover generic aspects of software languages development rather than
aspects of engineering a specific language. In particular, SLE is
interested in contributions from the following areas:
* Software Language Design and Implementation
- Approaches to and methods for language design
- Static semantics (e.g., design rules, well-formedness constraints)
- Techniques for specifying behavioral / executable semantics
- Generative approaches (incl. code synthesis, compilation)
- Meta-languages, meta-tools, language workbenches
* Software Language Validation
- Verification and formal methods for languages
- Testing techniques for languages
- Simulation techniques for languages
* Software Language Integration and Composition
- Coordination of heterogeneous languages and tools
- Mappings between languages (incl. transformation languages)
- Traceability between languages
- Deployment of languages to different platforms
* Software Language Maintenance
- Software language reuse
- Language evolution
- Language families and variability
* Domain-specific approaches for any aspects of SLE (design,
implementation, validation, maintenance)
* Empirical evaluation and experience reports of language engineering tools
- User studies evaluating usability
- Performance benchmarks
- Industrial applications
---------------------------
Types of Submissions
---------------------------
SLE 2019 solicits three types of contributions: Research Papers, Tools
Papers, and New Ideas/Vision papers.
* Research papers
These should report a substantial research contribution to SLE or
successful application of SLE techniques or both. Full paper submissions
must not exceed 12 pages, excluding bibliography.
* Tool papers
Because of SLE’s interest in tools, we seek papers that present software
tools related to the field of SLE. Selection criteria include originality
of the tool, its innovative aspects, and relevance to SLE. Any of the SLE
topics of interest are appropriate areas for tool demonstrations.
Submissions must provide a tool description of 4 pages excluding
bibliography, and a demonstration outline including screenshots of up to 6
pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool
Demonstration” in the title. The 4-page tool description will, if the
demonstration is accepted, be published in the proceedings. The 6-page
demonstration outline will be used by the program committee only for
evaluating the submission.
*New ideas / vision papers
New ideas papers should describe new, non-conventional SLE research
approaches that depart from standard practice. They are intended to
describe well-defined research ideas that are at an early stage of
investigation. Vision papers are intended to present new unifying theories
about existing SLE research that can lead to the development of new
technologies or approaches. New ideas / vision papers must not exceed 4
pages, excluding bibliography.
*Workshops
Workshops will be organized by SPLASH. Please inform us and contact the
SPLASH organizers if you would like to organize a workshop of interest to
the SLE audience. Information on how to submit workshops can be found at
the SPLASH 2019 Website.
---------------------------
Artifact Evaluation
---------------------------
SLE will continue to use an evaluation process for assessing the quality of
the artifacts on which papers are based to foster the culture of
experimental reproducibility. Authors of accepted papers are invited to
submit artifacts. For more information, please have a look at the Artifact
Evaluation page.
---------------------------
Submission Details
---------------------------
Paper Format: Submissions must conform to the ACM SIGPLAN Conference Format
“acmart”; please make sure that you always use the latest ACM SIGPLAN
acmart LaTeX template, and that the document class definition is
\documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes
to this format!
Using the Word template is strongly discouraged.
Ensure that your submission is legible when printed on a black and white
printer. In particular, please check that colors remain distinct and font
sizes in figures and tables are legible.
To increase fairness in reviewing, a double-blind review process has become
standard across SIGPLAN conferences. For the first time, SLE will follow
the double-blind process. Author names and institutions should be omitted
from submitted papers, and references to the authors’ own related work
should be in the third person. No other changes are necessary, and authors
will not be penalized if reviewers are able to infer their identities in
implicit ways.
All submissions must be in PDF format.
Concurrent Submissions: Papers must describe unpublished work that is not
currently submitted for publication elsewhere as described by SIGPLAN’s
Republication Policy. Submitters should also be aware of ACM’s Policy and
Procedures on Plagiarism. Submissions that violate these policies will be
desk-rejected.
Submission Site:
Submissions will be accepted at https://sle19.hotcrp.com/
---------------------------
Reviewing Process
---------------------------
All submitted papers will be reviewed by at least three members of the
program committee. Research papers and tool papers will be evaluated
concerning novelty, correctness, significance, readability, and alignment
with the conference call. New ideas / vision papers will be evaluated
primarily concerning novelty, significance, readability, and alignment with
the conference call.
For fairness reasons, all submitted papers must conform to the above
instructions. Submissions that violate these instructions may be rejected
without review, at the discretion of the PC chairs.
---------------------------
Awards
---------------------------
* Distinguished paper: Award for most notable paper, as determined by the
PC chairs based on the recommendations of the programme committee.
* Distinguished reviewer: Award for distinguished reviewer, as determined
by the PC chairs.
* Distinguished artifact: Award for the artifact most significantly
exceeding expectations, as determined by the AEC chairs based on the
recommendations of the artifact evaluation committee.
---------------------------
Publication
---------------------------
All accepted papers will be published in the ACM Digital Library.
AUTHORS TAKE NOTE: The official publication date is the date the
proceedings are made available in the ACM Digital Library. This date may be
up to two weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related to
published work.
---------------------------
Organisation
---------------------------
Chairs:
* General chair: Oscar Nierstrasz (University of Bern, Switzerland)
* Program co-chair: Bruno Oliveira (University of Hong Kong, China)
* Program co-chair: Jeff Gray (University of Alabama, USA)
* Artefact Evaluation co-chair: Emma Söderberg (Lund University, Sweden)
* Artefact Evaluation co-chair: Abel Gomez (Universitat Oberta de
Catalunya, Spain)
Program Committee:
Xuan Bi (Standard Chartered Bank)
Erwan Bousse (TU Wien)
Loli Burgeuno (Open University of Catalonia)
Marsha Chechik (University of Toronto)
Matteo Cimini (University of Massachusetts, Lowell)
Thomas Degueule (CWI)
Juan de Lara (Universidad Autónoma de Madrid)
Juergen Dingel (Queen's University)
Romina Eramo (University of L'Aquila)
Sebastian Gerard (CEA)
Paolo Giarusso (TU Delft)
Esther Guerra (Universidad Autónoma de Madrid)
Pablo Inostroza (CWI)
Dimitris Kolovos (University of York)
Marjan Mernik (University of Maribor)
Alfonso Pierantonio (University of L'Aquila)
Jaroslav Porubän (University of Košice)
Casper Poulsen (TU Delft)
Yann Regis-Gianas (Paris 7/INRIA)
Bernhard Rumpe (RWTH Aachen University)
Markus Schordan (Lawrence Livermore National Laboratory)
Neil Sculthorpe (Nottingham Trent University)
Marco Servetto (Victoria University of Wellington)
Elizabeth Scott (Royal Holloway)
Eugene Syriani (University of Montreal)
Ulyana Tikhonova (CWI)
Juha-Pekka Tolvanen (MetaCase)
Antonio Valecillo (University of Malaga)
Mark van den Brand (TU Eindhoven)
Vadim Zaytsev (Raincode Labs)
Tian Zhang (Nanjing University)
---------------------------
Contact
---------------------------
For additional information, clarification, or answers to questions, please
contact the organizers by email (bruno at cs.hku.hk and gray at cs.ua.edu)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190617/a62643b4/attachment.html>
More information about the Agda
mailing list