CfP: SLE 2026 - 19th ACM SIGPLAN International Conference on Software Language Engineering

--===============0208878617478215919==
Content-Type: multipart/alternative; boundary="000000000000c93d7f0644036a52"

--000000000000c93d7f0644036a52
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

19th ACM SIGPLAN International Conference on Software Language Engineering
(SLE 2026)
2 - 3 July 2026
Rennes, France

https://conf.researchr.org/home/sle-2026
https://www.sleconf.org/2026/
------------------------------------------------------------------------

We are pleased to invite you to submit papers to the 19th ACM SIGPLAN
International Conference on Software Language Engineering (SLE) which is
devoted to the principles of software languages: their design, their
implementation, and their evolution. The SLE 2026 conference will be
co-located with STAF 2026 and hosted in Rennes, France, on 2 - 3 July 2026.

---------------------------
Important Dates
---------------------------

* Abstract submission (all tracks): Friday 27 February 2026
* Paper submission (all tracks): Friday 6 March 2026
* Paper notification (all tracks): Monday 20 April 2026
* Conference: Thursday 2 - Friday 3 July 2026 (co-located with STAF)

All dates are Anywhere on Earth.

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

SLE covers software language engineering in general, rather than
engineering a specific software language. Topics of interest include, but
are not limited to:

*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
   - AI-assisted language design and optimisation
* Software Language Quality
   - Verification and formal methods for languages
   - Testing techniques for languages
   - Simulation techniques for languages
   - Model-based testing
   - AI-assisted validation
* 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
   - (AI-assisted) Language refactorings
* Software Language Maintenance
   - Software language reuse
   - Language evolution
   - Language families and variability, language and software product lines
* 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
* Synergies between Language Engineering and emerging/promising research
areas
   - Generative AI in language engineering (e.g., AI-based language
modelling, AI-driven code generation tools)
   - Language engineering for AI. AI and ML language engineering (e.g., ML
compiler testing, code classification, DSLs for AI processes and tasks=E2=
=80=A6)
   - Quantum language engineering (e.g., language design for quantum
machines)
   - Language engineering for physical systems (e.g., CPS, IoT, digital
twins)
   - Socio-technical systems and language engineering (e.g., language
evolution to adapt to social requirements)


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

SLE accepts the following types of papers:

* Research papers: These are =E2=80=9Ctraditional=E2=80=9D papers detailing=
 research
contributions to SLE. Papers may range from 6 to 12 pages in length and may
optionally include 2 further pages of bibliography/appendices. Papers will
be reviewed with an understanding that some results do not need 12 full
pages and may be fully described in fewer pages.

* New ideas/vision papers: These papers may describe new, unconventional
software language engineering research positions or approaches that depart
from standard practice. They can describe well-defined research ideas that
are at an early stage of investigation. They could also provide new
evidence to challenge common wisdom, present new unifying theories about
existing SLE research that provides novel insight or that can lead to the
development of new technologies or approaches, or apply SLE technology to
radically new application areas. New ideas/vision papers must not exceed 5
pages and may optionally include 1 further page of bibliography/appendices.

* SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a
community-wide effort to provide a unique and comprehensive description of
the concepts, best practices, tools, and methods developed by the SLE
community. In this respect, the SLE conference will accept surveys, essays,
open challenges, empirical observations, and case study papers on the SLE
topics. These can focus on, but are not limited to, methods, techniques,
best practices, and teaching approaches. Papers in this category can have
up to 20 pages, including bibliography/appendices.

* Tool papers: These papers focus on the tooling aspects often forgotten or
neglected in research papers. A good tool paper focuses on practical
insights that will likely be useful to other implementers or users in the
future. Any of the SLE topics of interest are appropriate areas for tool
papers. Submissions must not exceed 5 pages and may optionally include 1
further page of bibliography/appendices. They may optionally include an
appendix with a demo outline/screenshots and/or a short video/screencast
illustrating the tool.

**Workshops**: Workshops will be organised by STAF. Please inform us and
contact STAF 2026 organisers if you would like to organise a workshop of
interest to the SLE audience. Information on how to submit workshops can be
found on the STAF 2026 Website.


---------------------------
Submission
---------------------------

SLE 2026 has a single submission round for papers, including a mandatory
abstract registration.

Authors of accepted research papers will be invited to submit artefacts.


---------------------------
Format
---------------------------

Submissions have to use the ACM SIGPLAN Conference Format =E2=80=9Cacmart=
=E2=80=9D (
https://sigplan.org/Resources/Author/#acmart-format); 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!

Ensure that your submission is legible when printed on a black and white
printer. In particular, please check that colours 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. Accordingly, SLE will follow the
double-blind process. Author names and institutions must be omitted from
submitted papers, and references to the authors=E2=80=99 own related work s=
hould 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. You can access the submission site
from the conference website: https://conf.researchr.org/home/sle-2026


---------------------------
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 (
https://www.sigplan.org/Resources/Policies/Republication/). Submitters
should also be aware of ACM=E2=80=99s Policy and Procedures on Plagiarism (
https://www.acm.org/publications/policies/plagiarism-overview). Submissions
that violate these policies will be desk-rejected.

---------------------------
Policy on Human Participant and Subject Research
---------------------------

Authors conducting research involving human participants and subjects must
ensure that their research complies with their local governing laws and
regulations and the ACM=E2=80=99s general principles, as stated in the ACM=
=E2=80=99s
Publications Policy on Research Involving Human Participants and Subjects (
https://www.acm.org/publications/policies/research-involving-human-particip=
ants-and-subjects).
If submissions are found to be violating this policy, they will be rejected=
.

---------------------------
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 soundness, relevance, novelty, presentation, validation, and
replicability. New ideas/vision papers will be evaluated primarily
concerning soundness, relevance, novelty, and presentation. Tool papers
will be evaluated concerning relevance, presentation, and replicability.

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.


---------------------------
Artefact Evaluation
---------------------------

SLE will use an evaluation process to assess the quality of artefacts on
which papers are based to foster the culture of experimental
reproducibility. Authors of accepted research papers are invited to submit
artefacts.

---------------------------
Awards
---------------------------

* Distinguished paper: Award for the most notable paper, as determined by
the PC chairs based on the recommendations of the program committee.
* Distinguished artefact: Award for the artefact most significantly
exceeding expectations, as determined by the AEC chairs based on the
recommendations of the artefact evaluation committee.
* Distinguished reviewer: Award for the programme committee member that
produced the most useful reviews as assessed by paper authors.
* Most Influential Paper: Award for the SLE 2016 paper with the greatest
impact, as judged by the SLE Steering 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
---------------------------

* General chair: Arnaud Blouin, Univ Rennes, INSA Rennes, Inria, CNRS, IRIS=
A
* PC co-chair: Jordi Cabot, Luxembourg Institute of Science and Technology
* PC co-chair: Shigeru Chiba, University of Tokyo, Japan

---------------------------
Contact
---------------------------

For additional information, clarification, or answers to any questions,
please get in touch with the program co-chairs ([email protected] and
[email protected]).

--000000000000c93d7f0644036a52
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">19th ACM SIGPLAN International Conference on Software Lang=
uage Engineering (SLE 2026)<br>2 - 3 July 2026<br>Rennes, France<br><br><a =
href=3D"https://conf.researchr.org/home/sle-2026">https://conf.researchr.or=
g/home/sle-2026</a><br><a href=3D"https://www.sleconf.org/2026/">https://ww=
w.sleconf.org/2026/</a><br>------------------------------------------------=
------------------------<br><br>We are pleased to invite you to submit pape=
rs to the 19th ACM SIGPLAN International Conference on Software Language En=
gineering (SLE) which is devoted to the principles of software languages: t=
heir design, their implementation, and their evolution. The SLE 2026 confer=
ence will be co-located with STAF 2026 and hosted in Rennes, France, on 2 -=
 3 July 2026.<br><br>---------------------------<br>Important Dates<br>----=
-----------------------<br><br>* Abstract submission (all tracks): Friday 2=
7 February 2026<br>* Paper submission (all tracks): Friday 6 March 2026<br>=
* Paper notification (all tracks): Monday 20 April 2026<br>* Conference: Th=
ursday 2 - Friday 3 July 2026 (co-located with STAF)<br><br>All dates are A=
nywhere on Earth.<br><br>---------------------------<br>Topics of Interest<=
br>---------------------------<br><br>SLE covers software language engineer=
ing in general, rather than engineering a specific software language. Topic=
s of interest include, but are not limited to:<br><br>*Software Language De=
sign and Implementation<br>=C2=A0 =C2=A0- Approaches to and methods for lan=
guage design<br>=C2=A0 =C2=A0- Static semantics (e.g., design rules, well-f=
ormedness constraints)<br>=C2=A0 =C2=A0- Techniques for specifying behavior=
al/executable semantics<br>=C2=A0 =C2=A0- Generative approaches (incl. code=
 synthesis, compilation)<br>=C2=A0 =C2=A0- Meta-languages, meta-tools, lang=
uage workbenches<br>=C2=A0 =C2=A0- AI-assisted language design and optimisa=
tion<br>* Software Language Quality<br>=C2=A0 =C2=A0- Verification and form=
al methods for languages<br>=C2=A0 =C2=A0- Testing techniques for languages=
<br>=C2=A0 =C2=A0- Simulation techniques for languages<br>=C2=A0 =C2=A0- Mo=
del-based testing<br>=C2=A0 =C2=A0- AI-assisted validation<br>* Software La=
nguage Integration and Composition<br>=C2=A0 =C2=A0- Coordination of hetero=
geneous languages and tools<br>=C2=A0 =C2=A0- Mappings between languages (i=
ncl. transformation languages)<br>=C2=A0 =C2=A0- Traceability between langu=
ages<br>=C2=A0 =C2=A0- Deployment of languages to different platforms<br>=
=C2=A0 =C2=A0- (AI-assisted) Language refactorings<br>* Software Language M=
aintenance<br>=C2=A0 =C2=A0- Software language reuse<br>=C2=A0 =C2=A0- Lang=
uage evolution<br>=C2=A0 =C2=A0- Language families and variability, languag=
e and software product lines<br>* Domain-specific approaches for any aspect=
s of SLE (design, implementation, validation, maintenance)<br>* Empirical e=
valuation and experience reports of language engineering tools<br>=C2=A0 =
=C2=A0- User studies evaluating usability<br>=C2=A0 =C2=A0- Performance ben=
chmarks<br>=C2=A0 =C2=A0- Industrial applications<br>* Synergies between La=
nguage Engineering and emerging/promising research areas<br>=C2=A0 =C2=A0- =
Generative AI in language engineering (e.g., AI-based language modelling, A=
I-driven code generation tools) <br>=C2=A0 =C2=A0- Language engineering for=
 AI. AI and ML language engineering (e.g., ML compiler testing, code classi=
fication, DSLs for AI processes and tasks=E2=80=A6)<br>=C2=A0 =C2=A0- Quant=
um language engineering (e.g., language design for quantum machines)<br>=C2=
=A0 =C2=A0- Language engineering for physical systems (e.g., CPS, IoT, digi=
tal twins)<br>=C2=A0 =C2=A0- Socio-technical systems and language engineeri=
ng (e.g., language evolution to adapt to social requirements)<br><br><br>--=
-------------------------<br>Types of Submissions<br>----------------------=
-----<br><br>SLE accepts the following types of papers:<br><br>* Research p=
apers: These are =E2=80=9Ctraditional=E2=80=9D papers detailing research co=
ntributions to SLE. Papers may range from 6 to 12 pages in length and may o=
ptionally include 2 further pages of bibliography/appendices. Papers will b=
e reviewed with an understanding that some results do not need 12 full page=
s and may be fully described in fewer pages.<br><br>* New ideas/vision pape=
rs: These papers may describe new, unconventional software language enginee=
ring research positions or approaches that depart from standard practice. T=
hey can describe well-defined research ideas that are at an early stage of =
investigation. They could also provide new evidence to challenge common wis=
dom, present new unifying theories about existing SLE research that provide=
s novel insight or that can lead to the development of new technologies or =
approaches, or apply SLE technology to radically new application areas. New=
 ideas/vision papers must not exceed 5 pages and may optionally include 1 f=
urther page of bibliography/appendices.<br><br>* SLE Body of Knowledge: The=
 SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a uni=
que and comprehensive description of the concepts, best practices, tools, a=
nd methods developed by the SLE community. In this respect, the SLE confere=
nce will accept surveys, essays, open challenges, empirical observations, a=
nd case study papers on the SLE topics. These can focus on, but are not lim=
ited to, methods, techniques, best practices, and teaching approaches. Pape=
rs in this category can have up to 20 pages, including bibliography/appendi=
ces.<br><br>* Tool papers: These papers focus on the tooling aspects often =
forgotten or neglected in research papers. A good tool paper focuses on pra=
ctical insights that will likely be useful to other implementers or users i=
n the future. Any of the SLE topics of interest are appropriate areas for t=
ool papers. Submissions must not exceed 5 pages and may optionally include =
1 further page of bibliography/appendices. They may optionally include an a=
ppendix with a demo outline/screenshots and/or a short video/screencast ill=
ustrating the tool.<br><br>**Workshops**: Workshops will be organised by ST=
AF. Please inform us and contact STAF 2026 organisers if you would like to =
organise a workshop of interest to the SLE audience. Information on how to =
submit workshops can be found on the STAF 2026 Website.<br><br><br>--------=
-------------------<br>Submission<br>---------------------------<br><br>SLE=
 2026 has a single submission round for papers, including a mandatory abstr=
act registration.<br><br>Authors of accepted research papers will be invite=
d to submit artefacts.<br><br><br>---------------------------<br>Format<br>=
---------------------------<br><br>Submissions have to use the ACM SIGPLAN =
Conference Format =E2=80=9Cacmart=E2=80=9D (<a href=3D"https://sigplan.org/=
Resources/Author/#acmart-format">https://sigplan.org/Resources/Author/#acma=
rt-format</a>); please make sure that you always use the latest ACM SIGPLAN=
 acmart LaTeX template, and that the document class definition is \document=
class[sigplan,anonymous,review]{acmart}. Do not make any changes to this fo=
rmat!<br><br>Ensure that your submission is legible when printed on a black=
 and white printer. In particular, please check that colours remain distinc=
t and font sizes in figures and tables are legible.<br><br>To increase fair=
ness in reviewing, a double-blind review process has become standard across=
 SIGPLAN conferences. Accordingly, SLE will follow the double-blind process=
. Author names and institutions must be omitted from submitted papers, and =
references to the authors=E2=80=99 own related work should be in the third =
person. No other changes are necessary, and authors will not be penalized i=
f reviewers are able to infer their identities in implicit ways.<br><br>All=
 submissions must be in PDF format. You can access the submission site from=
 the conference website: <a href=3D"https://conf.researchr.org/home/sle-202=
6">https://conf.researchr.org/home/sle-2026</a><br><br><br>----------------=
-----------<br>Concurrent Submissions<br>---------------------------<br><br=
>Papers must describe unpublished work that is not currently submitted for =
publication elsewhere as described by SIGPLAN=E2=80=99s Republication Polic=
y (<a href=3D"https://www.sigplan.org/Resources/Policies/Republication/">ht=
tps://www.sigplan.org/Resources/Policies/Republication/</a>). Submitters sh=
ould also be aware of ACM=E2=80=99s Policy and Procedures on Plagiarism (<a=
 href=3D"https://www.acm.org/publications/policies/plagiarism-overview">htt=
ps://www.acm.org/publications/policies/plagiarism-overview</a>). Submission=
s that violate these policies will be desk-rejected.<br><br>---------------=
------------<br>Policy on Human Participant and Subject Research<br>-------=
--------------------<br><br>Authors conducting research involving human par=
ticipants and subjects must ensure that their research complies with their =
local governing laws and regulations and the ACM=E2=80=99s general principl=
es, as stated in the ACM=E2=80=99s Publications Policy on Research Involvin=
g Human Participants and Subjects (<a href=3D"https://www.acm.org/publicati=
ons/policies/research-involving-human-participants-and-subjects">https://ww=
w.acm.org/publications/policies/research-involving-human-participants-and-s=
ubjects</a>). If submissions are found to be violating this policy, they wi=
ll be rejected.<br><br>---------------------------<br>Reviewing Process<br>=
---------------------------<br><br>All submitted papers will be reviewed by=
 at least three members of the program committee. Research papers and tool =
papers will be evaluated concerning soundness, relevance, novelty, presenta=
tion, validation, and replicability. New ideas/vision papers will be evalua=
ted primarily concerning soundness, relevance, novelty, and presentation. T=
ool papers will be evaluated concerning relevance, presentation, and replic=
ability.<br><br>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.<br><br><br>----=
-----------------------<br>Artefact Evaluation<br>-------------------------=
--<br><br>SLE will use an evaluation process to assess the quality of artef=
acts on which papers are based to foster the culture of experimental reprod=
ucibility. Authors of accepted research papers are invited to submit artefa=
cts.<br><br>---------------------------<br>Awards<br>----------------------=
-----<br><br>* Distinguished paper: Award for the most notable paper, as de=
termined by the PC chairs based on the recommendations of the program commi=
ttee.<br>* Distinguished artefact: Award for the artefact most significantl=
y exceeding expectations, as determined by the AEC chairs based on the reco=
mmendations of the artefact evaluation committee.<br>* Distinguished review=
er: Award for the programme committee member that produced the most useful =
reviews as assessed by paper authors.<br>* Most Influential Paper: Award fo=
r the SLE 2016 paper with the greatest impact, as judged by the SLE Steerin=
g Committee.<br><br>---------------------------<br>Publication<br>---------=
------------------<br><br>All accepted papers will be published in the ACM =
Digital Library.<br><br>**AUTHORS TAKE NOTE**: The official publication dat=
e 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.<br><br>---------------------------<br>Organisat=
ion<br>---------------------------<br><br>* General chair: Arnaud Blouin, U=
niv Rennes, INSA Rennes, Inria, CNRS, IRISA<br>* PC co-chair: Jordi Cabot, =
Luxembourg Institute of Science and Technology<br>* PC co-chair: Shigeru Ch=
iba, University of Tokyo, Japan<br><br>---------------------------<br>Conta=
ct<br>---------------------------<br><br>For additional information, clarif=
ication, or answers to any questions, please get in touch with the program =
co-chairs (<a href=3D"mailto:[email protected]">[email protected]</a> a=
nd <a href=3D"mailto:[email protected]">[email protected]</=
a>).<br><br></div>

--000000000000c93d7f0644036a52--

--===============0208878617478215919==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]

--===============0208878617478215919==--