From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 138677F72A for ; Tue, 20 Sep 2016 15:00:22 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andrei@inf.unibe.ch; spf=Pass 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: Pass (mail2-smtp-roc.national.inria.fr: domain of andrei@inf.unibe.ch designates 130.92.0.82 as permitted sender) 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; x-record-type="v=spf1" 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 IronPort-PHdr: =?us-ascii?q?9a23=3Ad6eSJh2+6vh8+npAsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?sesRKPad9pjvdHbS+e9qxAeQG96KsbQc06GM6uigATVGusnR9ihaMdRlbFwst4?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?bre9JomH28++0uT3/5zIfy1JgiC8aPV8NkPlgx/Ws5w/h4d4J6d54RvIuTMccu?= =?us-ascii?q?Ja325pDVOVkVDh4Ma68dho83ID6Loa68dcXPCiLOwDRrtCAWF+Pg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CIAgAvMuFXh1IAXIJeHQEFAQsBgzsBA?= =?us-ascii?q?QEBAXV8B4QlUlCHZZd1ggUBjDiFD4IEJoJCgVyDNgc4FAEBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQoLCQkZL4IyGIIwCwZFBTIILwIkEgEFASITCRIHiCgOoESCB4EyPjKLPYxJC?= =?us-ascii?q?wEBASOMR4YKgloFmXGGJoZJgm9ngVWNL4hug3aCORMegREPD4MWRQSBXHCHIgE?= =?us-ascii?q?BAQ?= X-IPAS-Result: =?us-ascii?q?A0CIAgAvMuFXh1IAXIJeHQEFAQsBgzsBAQEBAXV8B4QlUlC?= =?us-ascii?q?HZZd1ggUBjDiFD4IEJoJCgVyDNgc4FAEBAQEBAQEBAQEBEgEBAQoLCQkZL4IyG?= =?us-ascii?q?IIwCwZFBTIILwIkEgEFASITCRIHiCgOoESCB4EyPjKLPYxJCwEBASOMR4YKglo?= =?us-ascii?q?FmXGGJoZJgm9ngVWNL4hug3aCORMegREPD4MWRQSBXHCHIgEBAQ?= X-IronPort-AV: E=Sophos;i="5.30,368,1470693600"; d="scan'208,217";a="237540447" 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; 20 Sep 2016 15:00:21 +0200 X-Virus-Scanned: by University of Bern - Mailgateway Received: from mail.campus.unibe.ch (aai-edge-01.campus.unibe.ch [130.92.13.20]) (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 C3D34A008F for ; Tue, 20 Sep 2016 15:00:18 +0200 (CEST) Received: from AAI-EXCH-CAS9.campus.unibe.ch (130.92.13.22) by AAI-EDGE-01.campus.unibe.ch (130.92.13.20) with Microsoft SMTP Server (TLS) id 15.1.225.42; Tue, 20 Sep 2016 15:00:17 +0200 Received: from mail-oi0-f50.google.com (209.85.218.50) by mail.campus.unibe.ch (130.92.13.22) with Microsoft SMTP Server (TLS) id 14.3.301.0; Tue, 20 Sep 2016 15:00:18 +0200 Received: by mail-oi0-f50.google.com with SMTP id r126so20204186oib.0 for ; Tue, 20 Sep 2016 06:00:18 -0700 (PDT) X-Gm-Message-State: AE9vXwP03cuHI22TMTjVzo4Day4uHXA/GcCEC5Krs+yZG0Kgv5yqZRwz+RycxCnVmdijF2dP/3mxuslamyvDjw== X-Received: by 10.202.88.65 with SMTP id m62mr39638589oib.7.1474376416760; Tue, 20 Sep 2016 06:00:16 -0700 (PDT) MIME-Version: 1.0 Received: by 10.182.60.131 with HTTP; Tue, 20 Sep 2016 05:59:56 -0700 (PDT) From: Andrei Chis Date: Tue, 20 Sep 2016 14:59:56 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Content-Type: multipart/alternative; boundary="001a113d2c029617b2053cf0020c" Subject: [Caml-list] SLE 2016: Call for Participation --001a113d2c029617b2053cf0020c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =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 ** Call for Participation ** 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2016) Oct 31-Nov 1, 2016, Amsterdam, Netherlands (Collocated with SPLASH 2016) 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). ** REGISTRATION ** 30 September 2016 (Early Registration Deadline) Contact: info@splashcon.org http://2016.splashcon.org/attending/registration ** VENUE ** M=C3=B6venpick Hotel Amsterdam City Centre Hotel reservations: http://2016.splashcon.org/venue/movenpick-amsterdam ## Program Highlights ### Keynote - Robby Findler Redex: Lightweight Semantics Engineering http://conf.researchr.org/track/sle-2016/sle-2016-papers#Keynote-Robby-Find= ler ### Awards During the conference, we will announce the following 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. - Distinguished artefact. Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. Sponsored by Raincode. ### Accepted Papers - Adding Uncertainty and Units to Quantity Types in Software Models, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo - Automated Testing Support for Reactive Domain-Specific Modelling Languages, Bart Meyers, Joachim Denil, Istvan David, Hans Vangheluwe - BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment, Zhaoyi Luo, Jo Atlee - Coupled Software Transformations=E2=80=94Revisited, Ralf L=C3=A4mmel - DrAST - an inspection tool for attributed syntax trees (Tool Demo), Joel Lindholm, Johan Thorsberg, G=C3=B6rel Hedin - Efficient Development of Consistent Projectional Editors using Grammar Cells, Markus V=C3=B6lter, Tam=C3=A1s Szab=C3=B3, Sascha Lisson, Bernd Kolb, Seb= astian Erdweg, Thorsten Berger - Efficient Model Partitioning for Distributed Model Transformations, Amine Benelellam, Massimo Tisi, Jes=C3=BAs Sanch=C3=A9z Cuadrado, Juan de= Lara, Jordi Cabot - Execution Framework of The GEMOC Studio (Tool Demo), Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien DeAntoni, Benoit Combemale - Experiences of models@run-time with EMF and CDO, Daniel Seybold, J=C3=B6rg Domaschka, Alessandro Rossini, Christopher B. Hauser, Frank Griesinger, Athanasios Tsitsipas - Full-fledge Role Modeling Editor (FRaMED), Thomas K=C3=BChn, Kay Bierzynski, Sebastian Richly, Uwe A=C3=9Fmann - Language Design and Implementation for the Domain of Coding Conventions, Boryana Goncharenko, Vadim Zaytsev - MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo), Juha-Pekka Tolvanen - Object-Oriented Design Pattern for DSL Program Monitoring, Zo=C3=A9 Drey, Ciprian Teodorov - Parsing and Reflective Printing, Bidirectionally, Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, Jo=C3=A3o Sarai= va, Zhenjiang Hu - Principled Syntactic Code Completion using Placeholders, Lu=C3=ADs Eduardo de Souza Amorim, Sebastian Erdweg, Guido Wachsmuth, Eel= co Visser - Runtime support for rule-based access-control evaluation through model-transformation, Salvador Mart=C3=ADnez, Jokin Garc=C3=ADa, Jordi Cabot - Raincode Assembler Compiler (Tool Demo), Volodymyr Blagodarov, Yves Jaradin, Vadim Zaytsev - Side effects take the blame, Felipe Ba=C3=B1ados Schwerter - Symbolic Execution of High-level Transformations, Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski - Taming Context-Sensitive Languages with Principled Stateful Parsing, Nicolas Laurent, Kim Mens - The IDE Portability Problem and its Solution in Monto, Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg - Towards a Universal Code Formatter through Machine Learning, Terence Parr, Jurgen Vinju - Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo), Andr=C3=A9 Santos, Eduardo Gomes --001a113d2c029617b2053cf0020c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=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

** Call for Participation **
=

9th ACM SIGPLAN International Conference on Software La= nguage Engineering (SLE 2016)

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

(Collocated with SPLA= SH 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, u= se, deployment, and maintenance of software languages. The term "softw= are language" is used broadly, and includes: general-purpose programmi= ng languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); mo= deling and metamodeling languages (e.g. SysML and UML); data models and ont= ologies (e.g. XML-based and OWL-based languages and vocabularies).


** REGISTRATION **

30 September 2016 (Early Registration Deadline)

** VENUE **
=
M=C3=B6venpick Hotel Amsterdam City Centre


## Program Highlights

### K= eynote

- =C2=A0Robby Findler
=C2=A0 =C2= =A0Redex: Lightweight Semantics Engineering


### Awards

During the conference, we will announce the following awa= rds:

- 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.

- Distinguished artefact. Award = for the artifact most significantly exceeding expectations, as determined b= y the AEC chairs based on the recommendations of the artifact evaluation co= mmittee. Sponsored by Raincode.


###= Accepted Papers

- Adding Uncertainty and Units to= Quantity Types in Software Models,=C2=A0
=C2=A0 Tanja Mayerhofer= , Manuel Wimmer, Antonio Vallecillo

- Automated Te= sting Support for Reactive Domain-Specific Modelling Languages,=C2=A0
=
=C2=A0 Bart Meyers, Joachim Denil, Istvan David, Hans Vangheluwe
=

- BSML-mbeddr: Integrating Semantically Configurable St= ate-Machine Models in a C Programming Environment,=C2=A0
=C2=A0 Z= haoyi Luo, Jo Atlee

- Coupled Software Transformat= ions=E2=80=94Revisited,=C2=A0
=C2=A0 Ralf L=C3=A4mmel
<= br>
- DrAST - an inspection tool for attributed syntax trees (Too= l Demo),=C2=A0
=C2=A0 Joel Lindholm, Johan Thorsberg, G=C3=B6rel = Hedin

- Efficient Development of Consistent Projec= tional Editors using Grammar Cells,=C2=A0
=C2=A0 Markus V=C3=B6lt= er, Tam=C3=A1s Szab=C3=B3, Sascha Lisson, Bernd Kolb, Sebastian Erdweg, Tho= rsten Berger

- Efficient Model Partitioning for Di= stributed Model Transformations,=C2=A0
=C2=A0 Amine Benelellam, M= assimo Tisi, Jes=C3=BAs Sanch=C3=A9z Cuadrado, Juan de Lara, Jordi Cabot
- Execution Framework of The GEMOC Studio (Tool Demo),=C2=A0=
=C2=A0 Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja May= erhofer, Julien DeAntoni, Benoit Combemale

- Exper= iences of models@run-time with EMF and CDO,=C2=A0
=C2=A0 Daniel S= eybold, J=C3=B6rg Domaschka, Alessandro Rossini, Christopher B. Hauser, Fra= nk Griesinger, Athanasios Tsitsipas

- Full-fledge = Role Modeling Editor (FRaMED),=C2=A0
=C2=A0 Thomas K=C3=BChn, Kay= Bierzynski, Sebastian Richly, Uwe A=C3=9Fmann

- L= anguage Design and Implementation for the Domain of Coding Conventions,=C2= =A0
=C2=A0 Boryana Goncharenko, Vadim Zaytsev

- MetaEdit+ for Collaborative Language Engineering and Language Use (= Tool Demo),=C2=A0
=C2=A0 Juha-Pekka Tolvanen

=
- Object-Oriented Design Pattern for DSL Program Monitoring,=C2=A0
=C2=A0 Zo=C3=A9 Drey, Ciprian Teodorov

- Pa= rsing and Reflective Printing, Bidirectionally,=C2=A0
=C2=A0 Ziru= n Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, Jo=C3=A3o Saraiva, Zh= enjiang Hu

- Principled Syntactic Code Completion = using Placeholders,=C2=A0
=C2=A0 Lu=C3=ADs Eduardo de Souza Amori= m, Sebastian Erdweg, Guido Wachsmuth, Eelco Visser

- Runtime support for rule-based access-control evaluation through model-t= ransformation,=C2=A0
=C2=A0 Salvador Mart=C3=ADnez, Jokin Garc=C3= =ADa, Jordi Cabot

- Raincode Assembler Compiler (T= ool Demo),=C2=A0
=C2=A0 Volodymyr Blagodarov, Yves Jaradin, Vadim= Zaytsev

- Side effects take the blame,=C2=A0
=C2=A0 Felipe Ba=C3=B1ados Schwerter

- Symbo= lic Execution of High-level Transformations,=C2=A0
=C2=A0 Ahmad S= alim Al-Sibahi, Aleksandar S. Dimovski, Andrzej Wasowski

- Taming Context-Sensitive Languages with Principled Stateful Parsin= g,=C2=A0
=C2=A0 Nicolas Laurent, Kim Mens

- The IDE Portability Problem and its Solution in Monto,=C2=A0
= =C2=A0 Sven Keidel, Wulf Pfeiffer, Sebastian Erdweg

- Towards a Universal Code Formatter through Machine Learning,=C2=A0
=C2=A0 Terence Parr, Jurgen Vinju

- Xdiagram= : A Declarative Textual DSL for Describing Diagram Editors (Tool Demo),=C2= =A0
=C2=A0 Andr=C3=A9 Santos, Eduardo Gomes
--001a113d2c029617b2053cf0020c--