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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2848F7F919 for ; Wed, 1 Jun 2016 15:10:42 +0200 (CEST) IronPort-PHdr: 9a23:RtiKlRaFxy28sg+TllnPzo7/LSx+4OfEezUN459isYplN5qZpc+9bnLW6fgltlLVR4KTs6sC0LqH9f2/EjFdqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0psKYPlgArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9KvAzRLlcSTAnKHwd5cvxtBCFQxHZtVUGVWBDuxxEGQXEpDr6X4y55iL8uvBw2QGbO8OwULY1Uznk5Kc9G0ygszsOKzNsqDKfscd3lq8O+B8= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrei@inf.unibe.ch; spf=None smtp.mailfrom=andrei@inf.unibe.ch; spf=None smtp.helo=postmaster@mailhub-lb1.unibe.ch Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andrei@inf.unibe.ch) identity=pra; client-ip=130.92.0.82; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andrei@inf.unibe.ch"; x-sender="andrei@inf.unibe.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of andrei@inf.unibe.ch) identity=mailfrom; client-ip=130.92.0.82; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andrei@inf.unibe.ch"; x-sender="andrei@inf.unibe.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailhub-lb1.unibe.ch) identity=helo; client-ip=130.92.0.82; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="andrei@inf.unibe.ch"; x-sender="postmaster@mailhub-lb1.unibe.ch"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BYDQDQ3U5XgFIAXIJbhBN+BYQiUqRHAYtZgmqEFyKCPYRbBzsRAQEBAQEBAQERAQELCwkJIS+CMIIuCwZEATc3AiQSAQUBIhwZiA0On0eCB4ExPjGLO5FcDAEkjC2GCIJZBZg3hgCIIGaBUYxlh3iGFRIegQ8PJ4I/JYE3iWErgRcBAQE X-IPAS-Result: A0BYDQDQ3U5XgFIAXIJbhBN+BYQiUqRHAYtZgmqEFyKCPYRbBzsRAQEBAQEBAQERAQELCwkJIS+CMIIuCwZEATc3AiQSAQUBIhwZiA0On0eCB4ExPjGLO5FcDAEkjC2GCIJZBZg3hgCIIGaBUYxlh3iGFRIegQ8PJ4I/JYE3iWErgRcBAQE X-IronPort-AV: E=Sophos;i="5.26,401,1459807200"; d="scan'208,217";a="220636478" Received: from mailhub-lb1.unibe.ch ([130.92.0.82]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Jun 2016 15:10:41 +0200 X-Virus-Scanned: by University of Bern - Mailgateway Received: from mail.campus.unibe.ch (aai-exch-cas10.campus.unibe.ch [130.92.13.150]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by mailhub-lb1.unibe.ch (Postfix) with ESMTPS id 16A47A0140 for ; Wed, 1 Jun 2016 15:10:38 +0200 (CEST) Received: from mail-oi0-f50.google.com (209.85.218.50) by mail.campus.unibe.ch (130.92.13.150) with Microsoft SMTP Server (TLS) id 14.3.294.0; Wed, 1 Jun 2016 15:10:37 +0200 Received: by mail-oi0-f50.google.com with SMTP id e72so26164042oib.1 for ; Wed, 01 Jun 2016 06:10:37 -0700 (PDT) X-Gm-Message-State: ALyK8tLyFPwRMt348Io8BGKeJaztdHABnQSf7dMreOUxwawW/o2GENgfvWaCQtNcnLdh9eiZUASiwDaeq9wM6w== X-Received: by 10.202.183.131 with SMTP id h125mr11160424oif.189.1464786635979; Wed, 01 Jun 2016 06:10:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.182.192.35 with HTTP; Wed, 1 Jun 2016 06:10:16 -0700 (PDT) From: Andrei Chis Date: Wed, 1 Jun 2016 15:10:16 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Content-Type: multipart/alternative; boundary="001a113ccc861c0c97053437370a" Subject: [Caml-list] 2nd CfP: SLE 2016 (9th ACM SIGPLAN International Conference on Software Language Engineering) --001a113ccc861c0c97053437370a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable **Call for Papers** =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016) Oct 31-Nov 1, 2016, Amsterdam, Netherlands (Co-located with SPLASH 2016) General chair: Tijs van der Storm, CWI, Netherlands Program co-chairs: D=C3=A1niel Varro, Budapest University of Technology and Economics, Hun= gary Emilie Balland, Sensational AG, Switzerland http://conf.researchr.org/track/sle-2016/sle-2016-papers http://www.sleconf.org/2016/ Follow us on twitter: https://twitter.com/sleconf =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term "software language" is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). ### Important Dates Fri 17 Jun 2016 - Abstract Submission Fri 24 Jun 2016 - Paper Submission Fri 26 Aug 2016 - Notification Fri 2 Sep 2016 - Artifact submission Fri 16 Sep 2016 - Artifact notification Fri 16 Sep 2016 - Camera ready deadline Mon 31 Oct 09:00 - Tue 1 Nov 18:00 2016 Conference ### Topics of Interest SLE aims to be broad-minded and inclusive about relevance and scope. We solicit high-quality contributions in areas ranging from theoretical and conceptual contributions to tools, techniques, and frameworks in the domain of 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 principled engineering approaches and techniques in the following areas: * Language Design and Implementation * Approaches and methodologies for language design * Static semantics (e.g., design rules, well-formedness constraints) * Techniques for behavioral / executable semantics * Generative approaches (incl. code synthesis, compilation) * Meta-languages, meta-tools, language workbenches * Language Validation * Verification and formal methods for languages * Testing techniques for languages * Simulation techniques for languages * Language Integration * Coordination between of heterogeneous languages and tools * Mappings between languages (incl. transformation languages) * Traceability between languages * Deployment of languages to different platforms * 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 * **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 (in ACM SIGPLAN conference style (http://www.sigplan.org/Resources/Author/)). * **Tool papers**: Because of SLE=E2=80=99s interest in tools, we seek pape= rs 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 in SIGPLAN proceedings style (see above), with 1 optional additional page for bibliographic references, and a demonstration outline including screenshots of up to 4 pages. Tool demonstrations must have the keywords "Tool Demo" or =E2=80=9CTool Demonstration=E2=80=9D in the title. The 4-page tool descript= ion will, if the demonstration is accepted, be published in the proceedings. The 4-page demonstration outline will be used by the program committee only for evaluating the submission. ### Artifact evaluation Authors of accepted papers at SLE 2016 are encouraged to submit their experiment results used for underpinning research statements to an artifact evaluation process carried out in early September 2016. This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully receive a seal of approval printed on the first page of the paper in the proceedings. Authors of papers with accepted artifacts are encouraged to make these materials publicly available upon publication of the proceedings, by including them as "source materials" in the ACM Digital Library. ### Publications All submitted papers will be reviewed by at least three members of the program committee. All accepted papers, including tool papers will be published in ACM Digital Library. Authors of distinguished papers from the conference will be invited to revise and submit extended versions of their papers for a Journal special issue. ### Awards * Distinguished paper. Award for most notable paper, as determined by the PC chairs based on the recommendations of the program committee. * Distinguished reviewer. Award for distinguished reviewer, as determined by the PC chairs using feedback from the authors. ### Program Committee Emilie Balland (co-chair), Sensational AG (SUI) Daniel Varro (co-chair), BME (HUN) Anya Helene Bagge, Univ. Bergen (NOR) Ruth Breu, Univ. Innsbruck (AUT) Jordi Cabot, Univ. Oberta de Catalunya (ESP) Marsha Chechik, Univ. Toronto (CAN) Marcus Denker, INRIA (FRA) Davide Di Ruscio, Univ. L=E2=80=99Aquila (ITA) Martin Erwig, Oregon State Univ. (USA) Bernd Fischer, Stellenbosch University (RSA) Sebastian Gerard, CEA (FRA) Jeremy Gibbons, Oxford Univ. (UK) Holger Giese, Hasso Plattner Inst. (GER) Martin Gogolla, Univ. Bremen (GER) Jeff Gray, Univ. Alabama (USA) Esther Guerra, Autonomous Univ. of Madrid (ESP) Gorel Hedin, Lund Univ. (SWE) Michael Homer, Victoria Univ. Wellington (NZL) Dimitris Kolovos, Univ. York (UK) Ralf L=C3=A4mmel, Univ. Koblenz (GER) Julia Lawall, LIP6 (FRA) Tihamer Levendovszky, Microsoft (USA) Heather Miller, EPFL (SUI) Pierre-Etienne Moreau, Loria (FRA) G=C3=BCnter Mussbacher, McGill Univ. (CAN) Bruno Oliveira, Univ. of Hong Kong (HKG) Terence Parr, Univ. San Francisco (USA) Istv=C3=A1n R=C3=A1th, IncQuery Labs (HUN) Julia Rubin, MIT (USA) Bernhard Schatz, Fortiss (GER) Sibylle Schupp, Univ. Hamburg (GER) Anthony Sloane, Macquarie Univ. (AUS) Emma S=C3=B6derberg, Google (USA) Eugene Syriani, Univ. Montr=C3=A9al (CAN) Gabi Taentzer, Univ. Marburg (GER) Eric Van Wyk, Univ. Minnesota (USA) Hans Vangheluwe, Univ. Antwerp (BEL) Jurgen Vinju, CWI (NED) Guido Wachsmuth, TU Delft (NED) Eric Walkingshaw, Oregon State Univ. (USA) Andrzej W=C4=85sowski, ITU (DEN) Manuel Wimmer, TU Wien (AUT) Tian Zhang, Nanjing Univ. (CHN) --001a113ccc861c0c97053437370a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
**Call for Papers**

=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

=
9th ACM SIGPLAN International Conference on Software Language En= gineering (SLE 2016)

Oct 31-Nov 1, 2016, Amsterdam= , Netherlands

(Co-located with SPLASH 2016)
<= div>
General chair:

=C2=A0 =C2=A0Tij= s van der Storm, CWI, Netherlands

Program co-chair= s:

=C2=A0 =C2=A0D=C3=A1niel Varro, =C2=A0Budapest = University of Technology and Economics, Hungary

= =C2=A0 =C2=A0Emilie Balland, Sensational AG, Switzerland

http://www.sleconf.org/2016/
Follow us on twitter: https:/= /twitter.com/sleconf

=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Softwar= e Language Engineering (SLE) is the application of systematic, disciplined,= and measurable approaches to the development, use, deployment, and mainten= ance of software languages. The term "software language" is used = broadly, and includes: general-purpose programming languages; domain-specif= ic languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling lan= guages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and= OWL-based languages and vocabularies).

### Import= ant Dates

Fri 17 Jun 2016 - Abstract Submission
Fri 24 Jun 2016 - Paper Submission
Fri 26 Aug 2016 - Noti= fication
Fri 2 Sep 2016 - Artifact submission
Fri 16 Se= p 2016 - Artifact notification
Fri 16 Sep 2016 - Camera ready dea= dline
Mon 31 Oct 09:00 - Tue 1 Nov 18:00 2016 Conference

### Topics of Interest

SLE aims t= o be broad-minded and inclusive about relevance and scope. We solicit high-= quality contributions in areas ranging from theoretical and conceptual cont= ributions to tools, techniques, and frameworks in the domain of language en= gineering. Topics relevant to SLE cover generic aspects of software languag= es development rather than aspects of engineering a specific language. In p= articular, SLE is interested in principled engineering approaches and techn= iques in the following areas:

* Language Design an= d Implementation
=C2=A0 =C2=A0 * Approaches and methodologies for= language design
=C2=A0 =C2=A0 * Static semantics (e.g., design r= ules, well-formedness constraints)
=C2=A0 =C2=A0 * Techniques for= behavioral / executable semantics
=C2=A0 =C2=A0 * Generative app= roaches (incl. code synthesis, compilation)
=C2=A0 =C2=A0 * Meta-= languages, meta-tools, language workbenches

* Lang= uage Validation
=C2=A0 =C2=A0 * Verification and formal methods f= or languages
=C2=A0 =C2=A0 * Testing techniques for languages
=C2=A0 =C2=A0 * Simulation techniques for languages

* Language Integration
=C2=A0 =C2=A0 * Coordination betw= een of heterogeneous languages and tools
=C2=A0 =C2=A0 * Mappings= between languages (incl. transformation languages)
=C2=A0 =C2=A0= * Traceability between languages
=C2=A0 =C2=A0 * Deployment of l= anguages to different platforms

* Language Mainten= ance
=C2=A0 =C2=A0 * Software language reuse
=C2=A0 =C2= =A0 * Language evolution
=C2=A0 =C2=A0 * Language families and va= riability

* Domain-specific approaches for any asp= ects of SLE (design, implementation, validation, maintenance)
* Empirical evaluation and experience reports of language engin= eering tools
=C2=A0 =C2=A0 * User studies evaluating usability
=C2=A0 =C2=A0 * Performance benchmarks
=C2=A0 =C2=A0 * In= dustrial applications

### Types of Submissions

* **Research papers**: These should report a substant= ial research contribution to SLE or successful application of SLE technique= s or both. Full paper submissions must not exceed 12 pages excluding biblio= graphy (in ACM SIGPLAN conference style (http://www.sigplan.org/Resources/Author/)).

* **Tool papers**: Because of SLE=E2=80=99s interest in t= ools, we seek papers that present software tools related to the field of SL= E. Selection criteria include originality of the tool, its innovative aspec= ts, 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 in SIGPLAN proceedings style (see above), with 1 optional addit= ional page for bibliographic references, and a demonstration outline includ= ing screenshots of up to 4 pages. Tool demonstrations must have the keyword= s "Tool Demo" or =E2=80=9CTool Demonstration=E2=80=9D in the titl= e. The 4-page tool description will, if the demonstration is accepted, be p= ublished in the proceedings. The 4-page demonstration outline will be used = by the program committee only for evaluating the submission.

=
### Artifact evaluation

Authors of acce= pted papers at SLE 2016 are encouraged to submit their experiment results u= sed for underpinning research statements to an artifact evaluation process = carried out in early September 2016. This submission is voluntary and will = not influence the final decision regarding the papers.=C2=A0

=
Papers that go through the Artifact Evaluation process successfu= lly receive a seal of approval printed on the first page of the paper in th= e proceedings. Authors of papers with accepted artifacts are encouraged to = make these materials publicly available upon publication of the proceedings= , by including them as "source materials" in the ACM Digital Libr= ary.

### Publications

All= submitted papers will be reviewed by at least three members of the program= committee. All accepted papers, including tool papers will be published in= ACM Digital Library.

Authors of distinguished pap= ers from the conference will be invited to revise and submit extended versi= ons of their papers for a Journal special issue.

#= ## Awards

* Distinguished paper. Award for most no= table paper, as determined by the PC chairs based on the recommendations of= the program committee.

* Distinguished reviewer. = Award for distinguished reviewer, as determined by the PC chairs using feed= back from the authors.

### Program Committee
=

Emilie Balland (co-chair), Sensational AG (SUI)=C2=A0
Daniel Varro (co-chair), BME (HUN)=C2=A0
Anya Helene Bag= ge, Univ. Bergen (NOR)
Ruth Breu, Univ. Innsbruck (AUT)
Jordi Cabot, Univ. Oberta de Catalunya (ESP)
Marsha Chechik, Uni= v. Toronto (CAN)
Marcus Denker, INRIA (FRA)
Davide Di R= uscio, Univ. L=E2=80=99Aquila (ITA)
Martin Erwig, Oregon State Un= iv. (USA)
Bernd Fischer, Stellenbosch University (RSA)
= Sebastian Gerard, CEA (FRA)
Jeremy Gibbons, Oxford Univ. (UK)
Holger Giese, Hasso Plattner Inst. (GER)
Martin Gogolla, U= niv. Bremen (GER)
Jeff Gray, Univ. Alabama (USA)
Esther= Guerra, Autonomous Univ. of Madrid (ESP)
Gorel Hedin, Lund Univ.= (SWE)
Michael Homer, Victoria Univ. Wellington (NZL)
D= imitris Kolovos, Univ. York (UK)
Ralf L=C3=A4mmel, Univ. Koblenz = (GER)
Julia Lawall, LIP6 (FRA)
Tihamer Levendovszky, Mi= crosoft (USA)
Heather Miller, EPFL (SUI)
Pierre-Etienne= Moreau, Loria (FRA)
G=C3=BCnter Mussbacher, McGill Univ. (CAN)
Bruno Oliveira, Univ. of Hong Kong (HKG)
Terence Parr, U= niv. San Francisco (USA)
Istv=C3=A1n R=C3=A1th, IncQuery Labs (HU= N)
Julia Rubin, MIT (USA)
Bernhard Schatz, Fortiss (GER= )
Sibylle Schupp, Univ. Hamburg (GER)
Anthony Sloane, M= acquarie Univ. (AUS)
Emma S=C3=B6derberg, Google (USA)
= Eugene Syriani, Univ. Montr=C3=A9al (CAN)
Gabi Taentzer, Univ. Ma= rburg (GER)
Eric Van Wyk, Univ. Minnesota (USA)
Hans Va= ngheluwe, Univ. Antwerp (BEL)
Jurgen Vinju, CWI (NED)
G= uido Wachsmuth, TU Delft (NED)
Eric Walkingshaw, Oregon State Uni= v. (USA)
Andrzej W=C4=85sowski, ITU (DEN)
Manuel Wimmer= , TU Wien (AUT)
Tian Zhang, Nanjing Univ. (CHN)

--001a113ccc861c0c97053437370a--