Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering


Chronological Thread 
  • From: Andrei Chis <chisvasileandrei AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
  • Date: Thu, 8 May 2025 14:51:22 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chisvasileandrei AT gmail.com; spf=Pass smtp.mailfrom=chisvasileandrei AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f171.google.com
  • Ironport-data: A9a23:+imVzq7Ao/9H/6Vt6vl7awxRtIzDchMFZxGqfqrLsTDasY5as4F+v msZXmqBb/6MMGLyctAgOYi3oUoAvMCEyocwSARur3xjZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtbwr414rZ8Eky5Kmq6GtC1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6+lFDxppEa8WxsBmUHhrx aEgAT4nNTnW0opawJrjIgVtrsEqLc2uOIFG/385kmifAvEhTpTOBa7N4Le03h9q3pEITauYP ZJJL2MwNXwsYDUXUrsTIJk+nfy2j2L+dzBRrl6PqKsf7G3azQg327/oWDbQUobQHJ8PxxjG/ Qoq+UzBDS8RLsKwlQbf91SghevsrCLxAacrQejQGvlC2wDKnjNCVnX6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVYvGjiHuNvxpZX9gJVuNjt1jLxa3T7AKUQGMDS1atdeDKqucqbj9xi XOrke/PFG12lY3IcVuT3Oy9+Gba1TcuEUcOYioNTA0g6tbloZ0ugh+ncjqFOP7l5jESMWGgq w1mvBQDa6MvYdnnPphXEHjCijOo45zLF0s7v1qOGG2i6Qx9aciuYInABbnnARRofd7xorqp5 Sdsdy2iAAYmU8vleMulHr9lIV1Rz6zZWAAweHY2d3Xbyxyj+mS4Yadb6yxkKUFiP64sIGC1P hGP41wIvMMDZxNGiJObharhW6zGKoCwRbzYugz8NIomjmVZLV/epX43Pxb4M57Fyxl3yvlkU XtkTSpcJS1HUPw4nWTeqxY13rgsySQzjWLVTtaT8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4BbZfi40sEC4XWPHKHmbP/2HhQcRDX87is9pQPLoZu42NORAkcNhMm6eh4I9Q1w/QNybagE 7PUchYw9WcTTEbvcW2iAk2Popu2NXqmhStjZnB+DkXiwHU5f4ek4YEWcpZ9L/Ft9/VuwbQwB 7MJctmJSKYHADnW2SUvXb+kpqxbdTOvmV2vOQiha2MBZJJOfVHC1eLlWQrNzxMwKBSLm/Ewm JCe8z/KYIEiQl1iBfnGafj0wFKWu2Mcqd1IXEDJA4dyfRzs+bd1Nybeie8THPAcDwfu2wnAh hikWwccgezrvYUO0cLogJqcpNyDCNpOHUt9Hkja442pNCLcwHGR/I9YXMuMfhHfTGnR6oz6Q clklNTHL+whoFZGl6FeAoRb5/syyPW3roAL0zk+OmvAamqaL49JI16E7JFpjbJMzLoIgjmGc BuD1fcCMIrYJf6/NkAaITckSeGx1fs0vD32xtZtKWXY4B5Hxpa2YX9wDTKt1hMEdKBUNbk7y 9gPoMQVsgyzqiQ7O+a80xx7yT6+EWwiYY4G6LchH47Zuig6wApjYLvdKBPMzrOhVtFuCnQuc xio3PfsprIE3UfTUWsBJV6U18pnuJk+khRrzlgDGle3puT4lsIHhB18zDBmYTlWnzNm0v1yM FdFL0daB7uD1BY2idlhX1KDIRBgBhqYyBaoy1I2i3DoFRi0d23SLV8SPfSG01AZ/ll9IBla3 uC840T0XQn6ePre2nMJZndkjPj4XPpN+Rbniun+O+i4R7wBfivCroq1QGg5uz/LIJgWuhXch O9I+O1QV/XKBRQIqfdmN7jAhKUidh+UAUdjH9Rz97wtNkPBcmiQ3TOuFRiASvlVLaaXzX7iW t1cHeMRZRGQzy3Ukys6A5QLKLpKnPIEwtoOV7foBGweuYuksTtbn8PMxxf6mVMUbY1ioeQlJ qPVUgCyIGiaqH9Xum3K9e1vGG6zZ/sabwzdgsGx1sg0FKw4jeI9SnFqj4OIvEiUPjB3oDOSn gfIPJHNw8JYlI9DoorLE4d4PTuSF+/dbuqyzV2Mg4x8Vu+XacbqnCEJm2bjJDVTbOcwWcwot LGjs+zX/ULivZQwWV/3g5OqSqtDv52zeMF1McvHCmZQsgXfec3r4joFo3uZL74Qmvxjx8CXf SmKQ+ruSsw0AvB2229wRxVFNSokG4DbT/vFtDysifahET0f2lH3F8ym/nrXcm1rTC8EFJngA AvSufz1xNRngKlTJR0DFdd0KoRZJQL9ZK4YaNHBjzmUIW22iFekuLG5tx4B6ynOO0aUAvTB/ pPJaRjvRiuc4JiS4olijLVzmRkLAFJWo+o6JBsd8uErrQGKNjcNKOBFPKgWDp1RrDfJ66j5Q zPwd0onNzT2WGVVUBf74em7ZDylOM41Bo7bKAAqrmSuUAXnNLPYVfElvm1l7mxtczTu8PC/J JtMsjfsNxy22ddySfxV+vW/hvx9y+jHwm4Tv3rwiNH2Hw1UFIBiOKaNx+aRfXev/wDxeET3y awdQGlFRAS/Sxe0H58/IjhaHxYWuD6pxDItBctKLBAzpK3DpNCsCtWmUw0w7lHHRMsPLb8KA 3jwQgNhJkiIj2cLt/JBV80B2MdJ5DHiIiR+BKDmTAwW2aq37wzL+i/EcTUnFKkfxeKUL78Re vRALZTz6IRp5X29AIGr9Dg=
  • Ironport-hdrordr: A9a23:urOPZa0Z2y8VGDpPlLAyiAqjBJ8kLtp133Aq2lEZdPU1SL3gqy nKpp4mPHDP+VQssR0b6LO90cq7IU80l6QFhbX5VI3KNGLbUQCTXeZfBOXZslvdMhy72OoY+q tpbrRkBMeYNykese/KpCe9V/gvqePpzElqv4vjJrVWID2Cp5sP0+6xMGemLnE=
  • Ironport-phdr: A9a23:7nMTvhEZL7OBBdeZ8eSvt51Gf1dFhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6Bu6Mb1KL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusUIgoZvLqQ8xxnUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmsoQF0zYzJb4GPLPdxcaPTc90ZS2RcQMheSzdMDZmgY 4YVFecNIfpUoov7qlATrRW+Hw6sBOb3xzJUgH/5wLc63PogEQrbwgEgH9MOsG/Jp9jyKKgSU eG1zLLWzTrZdPNW2DP955bSfRAnvP6MR6x/ccvKxEkgEgPKlFSQqYj/MzyJ0eQNtnGW4ux9X u2gl2ApsRt+oiSzxsgykInJgJoYxkzG+Chk3Io4JsG0RU1nbdOnEZZetzyXO5ZrTs4+QWxlt jg3x74It5O1YSQG1Ioryh/QZfGFc4aF5hHuWumfLzp+mXlrdrW/hxOo/kihzO3xTtO030hRr iVbiNbMrGwC1xzJ6sSdTft95Eih1S6U1wDX9O5LPUc0lazVK5I7xb4wjJUTvVzMHyPshEr2i 6qWe0M58ear8+TqeqvqqoOYOoNuiQzzMr4iltKjDek7KAQCQmqW9fm62bb+40D5RKhKjuYqk qbHqpDUOMUbp6+nDAJNzoou7Qu0AS2839QCh3YHKUpIeBKZgIjtPFHDOPX4Au2+g1SoiTtrw /LGMqD4DpXDM3TOkqrtcaxy605bzwozwtRf6IxOBr4dJ/LzX1f9tN3eDhAnLwy52/jrBMl52 48EWm+CArWVPL3OvVKL/O4jPuuBaJINtDb4Mfcl5vrujXEjmV8aeKmkxYcYaHC5HvR9PUWWe 2HsgtYFEWgUpAU+SvHliEecXj5SfHuyUKc86Ss6CIKiF4vMWoetgLmZ0Ce9BZJZfnpGBUyUE Xf0a4WEXO8BZD+KLs97jjMETaShS5Mm1Ry2qAD6zKNnIvPI9S0cqJLsz8N45/bTlBE37Tx7F d6R02CLT2Fun2MHXSU63K5loR819lDW2q9hxvdcCNZ75vVTUw58O4SP4fZ9DoXbXA7bc9bBY 1anWZ3yCjEwVcw42N4Kbk97F8+vjzjM2iOrB/kekLndV898yb7Vw3Wkf5U18H3BzqR01zHOI +NKPGyi3Otk8hTLQpTOmAOfnrqrcqIV2GjM8n2CxCyAphIQSxZ+BIPCW31XfU7KtZLh/EqXR L+vEqouKQpFxMeEJrFHa/XmiFxHQLHoP9GNK3mplTKIDA2TjqiJcJKsfmwc2CvHD01RmAAS5 miPLgk6Cy6nr3jTDRRhEFvuZwXn9uwt4GijQBoSyAeHJ1Zky6Lz+hMRgqmETOgP27sfpCo7g zB9HVL429CPTtTZ+FMnc6JbbtcwplxA0Ao1riRbOZqtZ+Bnj18aKUFsul/2kg9wAcNGmNQrq 3UjyExzL7iZ2RVPbWHQ25e4IbDRJmTomXLnI6fLxlHT1sqX8aYT+bw5rVvkpgSgCksl9T1uz dBU13KW4piCAhAVVNr9VUM+9h4yoL+/AGF17IPVzmNlKqiwvzbE18gkBcMqzx+he5FUN6bFX A7+HssGBtS/ffQwkgvMDFpMN+RT+agoesK+IqHeiej7YaA6xGLg1Dses+UfmgqW+iFxS/DFx cMAyvCchE6cUivkyU2muYbxkJxFYjcbGiy+zzLlDchffP4XH85DBGGwLsmw3tg7iYTqXisS/ 16iHE0Pw86tdBOUY0bw3CVf0E0WpTqsni7ynFkW23k567GS2iDD2bGofxoGIXBCX2hmgF7qL ZK5jvgVWUGpa04ikx7vtiOYj+BL4a94KWfUW0JBeSP7enpjXqWHvb2He8dT6ZksvE27ScyEa EuBAv74qhoeiWb4GndGgSo8fHess4n4mBpzjCScKmxypTzXY5M4yRDa7d3aDflfu1hODCJ4i CLJD0O9O9Sg+9mOmpbrveW3VmbnXZpWOSXm1oKPsiKn6HYiW0Xu2aDu3Ie/QU5jjnaz3sIPN 22AtBvmZ4j3y6m2eflqeEVlHh606sZ3HJ1/jpplgZgR3XYAgZDGmBhP2Wz3MNhdxef/dC9XH W9Nk4OTulC1nhQ8dyHspcqxTHiWz8p/asPvZ2oX3nh49MVWEOKO67cCmyJpo12+pAaXYP5nn z5bx+F9jRxSy+wPpgcpyT2QR74IGkwNdyfslg+W5su/qKheYmq1fLmY2093nNTnB7aH6FI5O j6xatI5ECl8498qelnM0Wbt45rlfNTZa94Juxy8nBLJjuwTI5U03Klv52IvKSf2unsrzPQ+h Bpl0MShvYSJHG5q+bqwHh9SMjCmL9NW4DzmirxS29qHx436VIs0AS0FBdG7KJDgWCJXr/nsM ByCVSExumvOU6SKBheRsQ9nty6dSM3tbiDPYiNFkpM6A0PBbE1H3FJKAHNgxcV/T17ygpSmK RYchHhZ50ak+EUSjLswbV+nFD+Y/l/gay9oGsbBakAKv0cSvwGNdpbGpuNrQ3MHpNv48ErUe zbdP0MRXQRrEgSFHwyxYeXovIOdtbDeXq3ncbPPeenc8LQOEa7XmtT/lNMhpW/EN93TbCA9V LtiixYFBTYhXJ2H/ldHAy0Py3CXN5/d9Er6o3cn6Jj4qaujWRqzt9HWVf0PYZM2qkrw2eDaZ qaRnHorc28GkMlXlDmTkv5HmwdD7kMmPy+kFbBK3cLUZITXnKIfTxsSaicpcdBN87p5xA5Gf 8jSltLy0Ld8yP8zEVZME1L7yImvYoQRLmexOUmiZg7DPamaJTDN38D8YL+tAbxWguJOshSsu DGdW0b9NzWHnjPtWlihK+ZJxC2cORVfvsm6fHMPQSD7S8n6bxSgLNJtpTg/wLlxgnGTcGBFb mE6fERKobmdqyhfh7Q3GmBM6GZkMfjRmyud6Lq9SN5euv9qDyJo0uNCtS5imv0FsWceHKwzw XSL/bsM6xm8n+KCyyRqSk9LozdP3seQuFl6fL/e/d9GUGrF+xQE6SORDQ4Lrp1rEI6K2egYx 97Rmab0MDoH/cjT+J5WDMjVM9yOK3slPBPvFCTZDSMKSDeqMSfUgEkXw5TwvjWF64M3rJThg s9EUrhASFk8De8XEGxgFd0GZZN1B3YqyOHCysEP4nW6oV/aQ8AQ7fWlHrqCRP7oLjiel7xNY RAFlKj5IYokPYr+w0V+a1N+kewi9GLfWNlMpmtqaQpm+S2lFVBxS2Qy3wTubQb/uBf79Naxl x8yzw98OKEjrWi1pVgwIVXOqW07l0xjwb3Y
  • Ironport-sdr: 681ca8dc_Skwg9NGh/qw1AdX68vRb91EwuGZRjBKvqXw1AL3Y4tMSaSa OagTJKSnX5/uhjMQpbXQyGvabc04Y2i5HJEdm/g==

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


  • [Coq-Club] Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering, Andrei Chis, 05/08/2025

Archive powered by MHonArc 2.6.19+.

Top of Page