The Coq mailing list

[Andrei Chis <chisvasileandrei AT gmail.com>]

** Call for Participation **

18th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2025)
12-13 June 2025
Koblenz, Germany

https://conf.researchr.org/home/sle-2025
https://www.sleconf.org/2025/
https://x.com/sleconf
------------------------------------------------------------------------

The ACM SIGPLAN International Conference on Software Language Engineering (SLE) is devoted to the principles of software languages: their design, their implementation, and their evolution.

Like its predecessors, the 18th edition of the SLE conference, SLE 2025, 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 emphasises 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.

---------------------------
Registration
---------------------------

Registration happens via the STAF registration page
Early Bird Registration Deadline is May 10th, 2025

https://conf.researchr.org/attending/staf-2025/staf-2025-registration

---------------------------
Venue
---------------------------

University of Koblenz
https://conf.researchr.org/venue/sle-2025/staf-2025-venue

---------------------------
Keynotes
---------------------------

* Thorsten Berger, Ruhr University Bochum, Germany
  A New DSL Textbook in Town!

* Friedrich Steimann, Fernuniversität in Hagen, Germany
  an Programming Be Liberated from the Functional Style?

https://conf.researchr.org/home/sle-2025#Keynotes

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

During the conference, we will announce the following 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 2015 paper with the greatest impact, as judged by the SLE Steering Committee.

* COLA Award: 2024 Journal of Computer Languages Best Paper Award

---------------------------
Accepted Papers
---------------------------

* A Model-Driven Approach to Design, Generation, and Deployment of GUI Component Libraries
  Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian Will

* AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support
  Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert

* Boosting Parallel Parsing through Cyclic Operator Precedence Grammars
  Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella

* Detecting Resource Leaks on Android with Alpakka
  Gustavo Amorim Santos, Alexandra Mendes, João Bispo

* Dynamic Dependency-Based Purity Checking
  Anton Risberg Alaküla, Niklas Fors, Christoph Reichenbach

* Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages
  Damian Frölich, Tommaso Pacciani, L. Thomas van Binsbergen

* Handling Grammar Cycles in the 1997 Standard ML Definition
  Elizabeth Scott, Adrian Johnstone

* Integrating Model Checking into a Live Modeling Environment
  Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe

* Lessons Learned: Challenges of Modular Language Design
  Alex Lüpges, Nico Jansen, Bernhard Rumpe

* Optimal Language Design is Hard: A Case Study in ECMAScript (_javascript_) Standardization
  Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash

* Optimize Effect Handling for Tail-resumption with Stack Unwinding
  Yuze Fu, Shigeru Chiba

* Property-based Testing of Attribute Grammars
  José Nuno Macedo, Marcos Viera, João Saraiva

* Scheduling the Construction and Interrogation of Scope Graphs Using Attribute Grammars
  Luke Bessant, Eric Van Wyk

* (Semantic) Feature Model Differences with (Q)SAT
  Simone Heisinger, Maximilian Heisinger, Martina Seidl

* TranspileJS, an Intelligent Framework for Transpiling _javascript_ to WebAssembly
  José Pedro Ferreira, João Bispo, Susana Lima

* Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair
  Aleksandar S. Dimovski