From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C2F118239C for ; Fri, 16 Feb 2018 14:24:59 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chisvasileandrei@gmail.com; spf=Pass smtp.mailfrom=chisvasileandrei@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f194.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of chisvasileandrei@gmail.com) identity=pra; client-ip=209.85.128.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="chisvasileandrei@gmail.com"; x-sender="chisvasileandrei@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of chisvasileandrei@gmail.com designates 209.85.128.194 as permitted sender) identity=mailfrom; client-ip=209.85.128.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="chisvasileandrei@gmail.com"; x-sender="chisvasileandrei@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wr0-f194.google.com) identity=helo; client-ip=209.85.128.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="chisvasileandrei@gmail.com"; x-sender="postmaster@mail-wr0-f194.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AL4phfRaq3rRl6l7EMqyzR0n/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8i9bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGp+x?= =?us-ascii?q?b40SAOobI+lYrpT2qkUOrRu/HgmnGeTixSNIhn/3xq06zf4uERrH3AwkAd0Bqn?= =?us-ascii?q?LUo8jvNKgMUOC416bIzTDZYPNX3Tfx8pTHchckofyVW797bMTfyU4qFwzfj1WQ?= =?us-ascii?q?r5ToMCmJ2eQIqWSb6PBgVe23h248qgFxrSCvxsM2hYnPnI4VzUrE9SphzIYvO9?= =?us-ascii?q?K4U1B0bsS+EJRMtyGaLZF6QsQ4Q2FnoCo6yroGuYKncygQ0JQr3QLQa/uCc4SQ?= =?us-ascii?q?+B3sSOORLS1iiHJiYrK/iBC/+lWjxO3kTsS4zkpGoy5fntTPtn0BzQHf5taER/?= =?us-ascii?q?dn40us3TmC2gbO4e9eO080j7DUK5s5z74wiJUTtUPDEzfzmErsja+Wclwo++ay?= =?us-ascii?q?6+j7e7nmqIKQOot7hw3kPaQuncu/Aes8MgcQRWSU5eO81Lj78U34RrVFkOE2n7?= =?us-ascii?q?HHvJzGIckXvK20Dg9P3oo+9RqyDC2q3MkckHQINF5FfQiIj4ntO1HAOvD4CvK/?= =?us-ascii?q?jkywnzdrxvDGJaPhDY/WLnjClLfuY6xy60hBxwop099f5olZCr4EIP3pW0/xsM?= =?us-ascii?q?bUAQM+Mwyx2+rnEsly1psCWWKTBa+UKL/dvkWN5uIrOuWMYI4VuC3hK/U+/P7v?= =?us-ascii?q?jXo5mUcHcqWz3JsXbmq4HvV8LEmDb3rsmIRJLWBftQM7SKnuiUaeeT9VfXe7Ga?= =?us-ascii?q?wmtR8hD4fzJIHPXI2syJeB3TzzSpZWZ3tYA0uNFXrhcYmeVvYkZyebI8snmTsB?= =?us-ascii?q?A+vyA7Q93A2j4Vepg4FsKfDZr3VB5MDTkeNt7uiWrikcsDl9DsCTyWaIFjgmkW?= =?us-ascii?q?YBRjtw16d68xUklgWzlJNgivkdLuR9outTW15jZ5HZxu1+Tdv1X1CZJ4rbeBOd?= =?us-ascii?q?WtyjRAoJYJcxztsJORgvHtyjilXcxXLvDeZEy/qEA5s79q+a1H/0dZ5w?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DQBAC62oZaf8KAVdFcHgEGDIN2P3AoC?= =?us-ascii?q?oNKY1ZQlh6CfhuCaoYNhESJDhSBIwNcCgUggVyBXIEPT4JABxkHBDAYAQIBAQE?= =?us-ascii?q?BAQEBAQESAQEJCwsIJjGCOCKCagMGHQEbCgIMBgMSEDAHAiQBEQEFATUJDIlzA?= =?us-ascii?q?QMVEJ1Eg0VAjBeCBQUBHIMMBYNhChknDVlZghMLAQEBARsCBhKEcoIogz+CeIF?= =?us-ascii?q?/gVwLBIE8ARIBTIJqgmUFim0ZiUKPbQmIJIEojD6CIGeFQ4t+jTpMigUUBSCBF?= =?us-ascii?q?x9rLnEzGiMuUoISCYISKhspgW5ANwGLMw0YB4IfAQEB?= X-IPAS-Result: =?us-ascii?q?A0DQBAC62oZaf8KAVdFcHgEGDIN2P3AoCoNKY1ZQlh6Cfhu?= =?us-ascii?q?CaoYNhESJDhSBIwNcCgUggVyBXIEPT4JABxkHBDAYAQIBAQEBAQEBAQESAQEJC?= =?us-ascii?q?wsIJjGCOCKCagMGHQEbCgIMBgMSEDAHAiQBEQEFATUJDIlzAQMVEJ1Eg0VAjBe?= =?us-ascii?q?CBQUBHIMMBYNhChknDVlZghMLAQEBARsCBhKEcoIogz+CeIF/gVwLBIE8ARIBT?= =?us-ascii?q?IJqgmUFim0ZiUKPbQmIJIEojD6CIGeFQ4t+jTpMigUUBSCBFx9rLnEzGiMuUoI?= =?us-ascii?q?SCYISKhspgW5ANwGLMw0YB4IfAQEB?= X-IronPort-AV: E=Sophos;i="5.46,519,1511823600"; d="scan'208,217";a="255050116" Received: from mail-wr0-f194.google.com ([209.85.128.194]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 16 Feb 2018 14:24:57 +0100 Received: by mail-wr0-f194.google.com with SMTP id u15so2902766wrg.3 for ; Fri, 16 Feb 2018 05:24:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=VRe7nhlZX4sR1BuXqw3V/OpRRY1LBf4vHJ1QSKF/tUE=; b=FseY6zPA8+iAawszCmEy4UdXPO4nDNSRP5gCsabPW+4YKarkAWaLTVT5nYrVAMSyRT 3tl6q7i47vyPgWfNE9NAFB4WSrXcGQr2lWAHICC/raVkqchv49pXqa26dW7S74cfpypw RdN5JGaghHE8a4Z4+MBueok9jnTVdKZSeeqGhKUUOclq37qLTaq5MDwIGdETloVD3fg1 JohShRum6tggKzWbOtxoViKGMKDui+gIv6d6DOJS274MXaB31Pz79l6lbv549eZq5B5x EZmB6aoE6GDeLVaqbt99YTbOTlbLGpnP6YYjLuUItQUDYxSvCq8DnQ1U8q98B8is1qzN aAqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=VRe7nhlZX4sR1BuXqw3V/OpRRY1LBf4vHJ1QSKF/tUE=; b=nlUqlmgvLFkRCjg14JipHHb0o1WLDgCHScP1aBGd2W0TW5qQ2wJwv7pD2W5eKuXUeV zudPLdfL97GIs92jwnCqFaIDL8/RChpFj4utPVrybPSVL/1Fvl5mrE93MgNDekEjlplE 3fmhV/cEKp8wF3cq4i+sv1kuN/+SjaX2sIisn+55+J7mqnYW2IizZIzbsm71k02kr26B ZBll050+JzC/S/egUc6L6GK7KHc8ZOe10rafNMcRa89Qlb4GBLBzP0EFB7FU3t0ddAHG MxZ/TtGBNc/yw3YdnduNOwdKRaibkIslNGmA+9Rg3R3h/9utV1PGMImt8rjoHka2B5V2 /YRw== X-Gm-Message-State: APf1xPCDkOii1UbQFPS+OPs2Pf+uTMJjL020pHwDb/SwCBzzjX7bOQyQ 0ii8NqoCgwiTFJl7spGYroweKz0Bjy6vazV5lhZf6grP X-Google-Smtp-Source: AH8x224CC+IidDlzTeRqdQvUAuLojUAiM2Fk+BeErM86IgwJ4v3wSbqMJc6h6bdY42aL4n0Ic0yS8hEhySN8kfbUMC0= X-Received: by 10.223.199.140 with SMTP id l12mr5670238wrg.68.1518787496340; Fri, 16 Feb 2018 05:24:56 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.176.11 with HTTP; Fri, 16 Feb 2018 05:24:35 -0800 (PST) From: Andrei Chis Date: Fri, 16 Feb 2018 14:24:35 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="089e0820d8f435755d05655445f5" X-Validation-by: chisvasileandrei@gmail.com Subject: [Caml-list] First Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) --089e0820d8f435755d05655445f5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ------------------------------------------------------------------------ Call for Papers: 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018) co-located with SPLASH 2018 November 5-6, 2018 Boston, Massachusetts, United States https://conf.researchr.org/track/sle-2018/papers ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2018), held in conjunction with SPLASH 2018 at Boston, Massachusetts on November 5-6, 2018. --------------------------- Scope --------------------------- With the ubiquity of computers, software has become the dominating intellectual asset of our time. In turn, this software depends on software languages, namely the languages it is written in, the languages used to describe its environment, and the languages driving its development process. Given that everything depends on software and that software depends on software languages, it seems fair to say that for many years to come, everything will depend on software languages. Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything. Like its predecessors, the 11th edition of the SLE conference, SLE 2018, will bring together researchers from different areas united by their common interest in the creation, capture, and tooling of software languages. It overlaps with traditional conferences on the design and implementation of programming languages, model-driven engineering, and compiler construction, and emphasizes the fusion of their communities. To foster the latter, SLE traditionally fills a two-day program with a single track, with the only temporal overlap occurring between co-located events. --------------------------- Topics of Interest --------------------------- SLE 2018 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 --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth. * Fri 29 June 2018 - Abstract Submission * Fri 6 July 2018 - Paper Submission * Fri 24 August 2018 - Author Notification * Fri 31 August 2018 - Artifact Submission * Fri 5 October 2018 - Camera Ready Deadline * Wed 10 October 2018 - Artifact Notification * Fri 12 October 2018 - Deadline for Artifact-Related Paper Updates * Sun 4 Nov 2018 - SLE Workshops * Mon 5 Nov - Tue 6 Nov 2018 - SLE Conference --------------------------- Types of Submissions --------------------------- * 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=E2=80=99s interest in tools, we seek papers that present sof= tware 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 =E2=80=9CTool Demo=E2=80= =9D or =E2=80=9CTool Demonstration=E2=80=9D in the title. The 4-page tool description will, if t= he 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 2018 Website: https://conf.researchr.org/track/splash-2018/splash-2018-Workshops. --------------------------- Artifact Evaluation --------------------------- For the third year SLE will 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. More information will be announced on the Website. --------------------------- Submission --------------------------- Submissions have to use the ACM SIGPLAN Conference Format "acmart" ( http://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template ( https://www.acm.org/binaries/content/assets/publications/consolidated-tex-t= emplate/acmart-master.zip), and that the document class definition is \documentclass[sigplan,screen]{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. SLE follows a single-blind review process. Thus, you do not have to blind your submission. 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=E2=80=99s Republication Polic= y ( http://www.sigplan.org/Resources/Policies/Republication). Submitters should also be aware of ACM=E2=80=99s Policy and Procedures on Plagiarism ( http://www.acm.org/publications/policies/plagiarism_policy). Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle18.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. --------------------------- Program Committee --------------------------- Andrew Black, Portland State University, USA Erwan Bousse, TU Wien, Austria Marco Brambilla, Politecnico di Milano, Italy Ruth Breu, University of Innsbruck, Austria Walter Cazzola, University of Milan, Italy Marsha Chechik, University of Toronto, Canada Tony Clark, Sheffield Hallam University, UK Juan de Lara, Universidad Autonoma de Madrid, Spain Thomas Degueule, CWI Amsterdam, Netherlands Juergen Dingel, Queen's University, Canada Tom Dinkelaker, Ericsson, Germany Sebastian Erdweg, Delft University of Technology, Netherlands Bernd Fischer, Stellenbosch University, South Africa Esther Guerra, Autonomous University of Madrid, Spain Daco Harkes, Delft University of Technology, Netherlands Robert Hirschfeld, University of Potsdam, Germany Michael Homer, Victoria University of Wellington, New Zealand Dimitris Kolovos, University of York, UK Ralf L=C3=A4mmel, University of Koblenz-Landau, Germany Marjan Mernik, University of Maribor, Slovenia Gunter Mussbacher, McGill University, Canada James Noble, Victoria University of Wellington, New Zealand Bruno Oliveira, University of Hong Kong, China Christoph Reichenbach, Lund University, Sweden Jan Oliver Ringert, University of Leicester, UK Bernhard Rumpe, RWTH Aachen University, Germany Anthony Sloane, Macquarie University, Australia Emma S=C3=B6derberg, Google, Denmark Mark van den Brand, TU Eindhoven, Netherlands Tijs van der Storm, CWI Amsterdam, Netherlands Eelco Visser, Delft University of Technology, Netherlands Eric Walkingshaw, Oregon State University, USA Andreas Wortmann, RWTH Aachen University, Germany Vadim Zaytsev, Rain Code, Belgium --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the organizers by email: sle2018@googlegroups.com. --089e0820d8f435755d05655445f5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
-----------------------------------------------------= -------------------
Call for Papers:
11th ACM SIGPLAN I= nternational Conference on Software Language Engineering (SLE 2018)
co-located with SPLASH 2018=C2=A0
November 5-6, 2018
Boston, Massachusetts, United States=C2=A0
-----------------------------------------------= -------------------------

We are pleased to invite= you to submit papers to the 11th ACM SIGPLAN International Conference on S= oftware Language Engineering (SLE 2018), held in conjunction with SPLASH 20= 18 at Boston, Massachusetts on November 5-6, 2018.

---------------------------
Scope
--------------------= -------

With the ubiquity of computers, software h= as become the dominating intellectual asset of our time. In turn, this soft= ware depends on software languages, namely the languages it is written in, = the languages used to describe its environment, and the languages driving i= ts development process. Given that everything depends on software and that = software depends on software languages, it seems fair to say that for many = years to come, everything will depend on software languages.

=
Software language engineering (SLE) is the discipline of enginee= ring languages and their tools required for the creation of software. It ab= stracts from the differences between programming languages, modelling langu= ages, and other software languages, and emphasizes the engineering facet of= the creation of such languages, that is, the establishment of the scientif= ic methods and practices that enable the best results. While SLE is certain= ly driven by its metacircular character (software languages are engineered = using software languages), SLE is not self-satisfying: its scope extends to= the engineering of languages for all and everything.

<= div>Like its predecessors, the 11th edition of the SLE conference, SLE 2018= , will bring together researchers from different areas united by their comm= on interest in the creation, capture, and tooling of software languages. It= overlaps with traditional conferences on the design and implementation of = programming languages, model-driven engineering, and compiler construction,= and emphasizes the fusion of their communities. To foster the latter, SLE = traditionally fills a two-day program with a single track, with the only te= mporal overlap occurring between co-located events.

---------------------------
Topics of Interest
------= ---------------------

SLE 2018 solicits high-quali= ty contributions in areas ranging from theoretical and conceptual contribut= ions, to tools, techniques, and frameworks in the domain of software langua= ge engineering. Topics relevant to SLE cover generic aspects of software la= nguages 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
=C2=A0 =C2=A0 =C2=A0 - Approaches to and methods for language desig= n
=C2=A0 =C2=A0 =C2=A0 - Static semantics (e.g., design rules, we= ll-formedness constraints)
=C2=A0 =C2=A0 =C2=A0 - Techniques for = specifying behavioral / executable semantics
=C2=A0 =C2=A0 =C2=A0= - Generative approaches (incl. code synthesis, compilation)
=C2= =A0 =C2=A0 =C2=A0 - Meta-languages, meta-tools, language workbenches
<= div>* Software Language Validation
=C2=A0 =C2=A0 =C2=A0 - Verific= ation and formal methods for languages
=C2=A0 =C2=A0 =C2=A0 - Tes= ting techniques for languages
=C2=A0 =C2=A0 =C2=A0 - Simulation t= echniques for languages
* Software Language Integration and Compo= sition
=C2=A0 =C2=A0 =C2=A0 - Coordination of heterogeneous langu= ages and tools
=C2=A0 =C2=A0 =C2=A0 - Mappings between languages = (incl. transformation languages)
=C2=A0 =C2=A0 =C2=A0 - Traceabil= ity between languages
=C2=A0 =C2=A0 =C2=A0 - Deployment of langua= ges to different platforms
* Software Language Maintenance
<= div>=C2=A0 =C2=A0 =C2=A0 - Software language reuse
=C2=A0 =C2=A0 = =C2=A0 - Language evolution
=C2=A0 =C2=A0 =C2=A0 - Language famil= ies and variability
* Domain-specific approaches for any aspects = of SLE (design, implementation, validation, maintenance)
* Empiri= cal evaluation and experience reports of language engineering tools
=C2=A0 =C2=A0 =C2=A0 - User studies evaluating usability
=C2= =A0 =C2=A0 =C2=A0 - Performance benchmarks
=C2=A0 =C2=A0 =C2=A0 -= Industrial applications

-------------------------= --
Important Dates
---------------------------

All dates are Anywhere on Earth.

= * Fri 29 June 2018 -=C2=A0 Abstract Submission
* Fri 6 July 2018 = - Paper Submission
* Fri 24 August 2018 - Author Notification
* Fri 31 August 2018 - Artifact Submission
* Fri 5 October= 2018 - Camera Ready Deadline
* Wed 10 October 2018 - Artifact No= tification
* Fri 12 October 2018 - Deadline for Artifact-Related = Paper Updates
* Sun 4 Nov 2018 - SLE Workshops
* Mon 5 = Nov - Tue 6 Nov 2018 - SLE Conference

------------= ---------------
Types of Submissions
------------------= ---------

* Research papers
These should= report a substantial research contribution to SLE or successful applicatio= n of SLE techniques or both. Full paper submissions must not exceed 12 page= s excluding bibliography.

* Tool papers
= Because of SLE=E2=80=99s interest in tools, we seek papers that present sof= tware tools related to the field of SLE. Selection criteria include origina= lity of the tool, its innovative aspects, and relevance to SLE. Any of the = SLE topics of interest are appropriate areas for tool demonstrations. Submi= ssions must provide a tool description of 4 pages excluding bibliography, a= nd a demonstration outline including screenshots of up to 6 pages. Tool dem= onstrations must have the keywords =E2=80=9CTool Demo=E2=80=9D or =E2=80=9C= Tool Demonstration=E2=80=9D in the title. The 4-page tool description will,= if the demonstration is accepted, be published in the proceedings. The 6-p= age demonstration outline will be used by the program committee only for ev= aluating the submission.

* New ideas / vision pape= rs
New ideas papers should describe new, non-conventional SLE res= earch approaches that depart from standard practice. They are intended to d= escribe well-defined research ideas that are at an early stage of investiga= tion. Vision papers are intended to present new unifying theories about exi= sting SLE research that can lead to the development of new technologies or = approaches. New ideas / vision papers must not exceed 4 pages excluding bib= liography.

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 2018 Website: htt= ps://conf.researchr.org/track/splash-2018/splash-2018-Workshops.
<= div>
---------------------------
Artifact Evaluatio= n
---------------------------

For the th= ird year SLE will use an evaluation process for assessing the quality of th= e artifacts on which papers are based to foster the culture of experimental= reproducibility. Authors of accepted papers are invited to submit artifact= s. More information will be announced on the Website.

<= div>---------------------------
Submission
------------= ---------------

Submissions have to use the ACM SI= GPLAN Conference Format "acmart" (http://sigplan.org/Resources/Author/#acmart= -format); please make sure that you always use the latest ACM SIGPLAN a= cmart LaTeX template (https://www.acm= .org/binaries/content/assets/publications/consolidated-tex-template/acmart-= master.zip), and that the document class definition is \documentclass[s= igplan,screen]{acmart}. Do not make any changes to this format!
<= br>
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.

SLE follows a single-blind review process. Thus, you do not have to blind = your submission.

All submissions must be in PDF fo= rmat.

Concurrent Submissions:
Papers mus= t describe unpublished work that is not currently submitted for publication= elsewhere as described by SIGPLAN=E2=80=99s Republication Policy (http://www.sig= plan.org/Resources/Policies/Republication). Submitters should also be a= ware of ACM=E2=80=99s Policy and Procedures on Plagiarism (http://www.acm.org/p= ublications/policies/plagiarism_policy). Submissions that violate these= policies will be desk-rejected.

Submission Site:<= /div>
Submissions will be accepted at https://sle18.hotcrp.com/.

--------------= -------------
Reviewing Process
-----------------------= ----

All submitted papers will be reviewed by at l= east three members of the program committee.=C2=A0 Research papers and tool= papers will be evaluated concerning novelty, correctness, significance, re= adability, and alignment with the conference call. New ideas / vision paper= s will be evaluated primarily concerning novelty, significance, readability= , and alignment with the conference call.

For fair= ness 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 dis= tinguished reviewer, as determined by the PC chairs.

* Distinguished artifact: Award for the artifact most significantly exce= eding expectations, as determined by the AEC chairs based on the recommenda= tions of the artifact evaluation committee.

------= ---------------------
Publication
---------------------= ------

All accepted papers will be published in th= e ACM Digital Library.

AUTHORS TAKE NOTE:=C2=A0
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 prio= r to the first day of the conference. The official publication date affects= the deadline for any patent filings related to published work.
<= br>
---------------------------
Program Committee
=
---------------------------

Andrew Black, Por= tland State University, USA
Erwan Bousse, TU Wien, Austria
<= div>Marco Brambilla, Politecnico di Milano, Italy
Ruth Breu, Univ= ersity of Innsbruck, Austria
Walter Cazzola, University of Milan,= Italy
Marsha Chechik, University of Toronto, Canada
To= ny Clark, Sheffield Hallam University, UK
Juan de Lara, Universid= ad Autonoma de Madrid, Spain
Thomas Degueule, CWI Amsterdam, Neth= erlands
Juergen Dingel, Queen's University, Canada
= Tom Dinkelaker, Ericsson, Germany
Sebastian Erdweg, Delft Univers= ity of Technology, Netherlands
Bernd Fischer, Stellenbosch Univer= sity, South Africa
Esther Guerra, Autonomous University of Madrid= , Spain
Daco Harkes, Delft University of Technology, Netherlands<= /div>
Robert Hirschfeld, University of Potsdam, Germany
Micha= el Homer, Victoria University of Wellington, New Zealand
Dimitris= Kolovos, University of York, UK
Ralf L=C3=A4mmel, University of = Koblenz-Landau, Germany
Marjan Mernik, University of Maribor, Slo= venia
Gunter Mussbacher, McGill University, Canada
Jame= s Noble, Victoria University of Wellington, New Zealand
Bruno Oli= veira, University of Hong Kong, China
Christoph Reichenbach, Lund= University, Sweden
Jan Oliver Ringert, University of Leicester, = UK
Bernhard Rumpe, RWTH Aachen University, Germany
Anth= ony Sloane, Macquarie University, Australia
Emma S=C3=B6derberg, = Google, Denmark
Mark van den Brand, TU Eindhoven, Netherlands
Tijs van der Storm, CWI Amsterdam, Netherlands
Eelco Visse= r, Delft University of Technology, Netherlands
Eric Walkingshaw, = Oregon State University, USA
Andreas Wortmann, RWTH Aachen Univer= sity, Germany
Vadim Zaytsev, Rain Code, Belgium

---------------------------
Contact
-----------= ----------------

For additional information, clari= fication, or answers to questions, please contact the organizers by email: = sle2018@googlegroups.com.
--089e0820d8f435755d05655445f5--