Dear collegues,
I'm happy to announce that the following paper has been accepted at
DocEng 2025 (the 25th ACM Symposium on Document Engineering).
TOWARD MORE HOMOGENEOUS PARAGRAPHS
The primary way to justify a paragraph is to adjust the interword blanks
by stretching or shrinking them within an easthetically acceptable
range, so that each line of text reaches the required paragraph width.
While the resulting whitespace "scaling" is applied uniformly to every
blank on a line, the exact amount varies from line to line.
Unfortunately, the quality of a paragraph's typographic grey largely
depends on the aforementioned variation being as small as possible.
In spite of its notoriously high typesetting quality, TeX's paragraph
justification algorithm, the so-called "Knuth-Plass", addresses this
problem in a rather coarse fashion. In this paper, we propose a
refinement to the algorithm allowing to improve the situation without
disturbing the general behavior of the algorithm too much, and without
the need for manual intervention.
A comparative study of our refinement versus the original version on a
large number of experiments allows us to provide an in-depth analysis of
the scaling variation across paragraph lines. We are able to extract a
number of typographical traits that may impact our perception of how
homogeneous the scaling is across all lines. For each of these traits,
we provide statistical indicators allowing to asses the comparative
behavior of our refinement against the original algorithm.
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
18th European Lisp Symposium
Call for (hybrid) Participation
May 19-20 2025
SGH, Zurich, Switzerland
https://www.european-lisp-symposium.org/2025
Sponsered by SGH and SISCOG
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The 18th European Lisp Symposium is happening next week. Physical
attendance is still possible by registering on the website. The
symposium is also broadcast in real time. Online attendance is free
for all.
Invited Speakers
~~~~~~~~~~~~~~~~
Joerg Gutknecht -- Project Oberon: A Late Appraisal
Anurag Mendhekar -- Is Lisp Still Relevant in the New Age of AI?
Robert Smith -- Toward safe, flexible, and efficient software in Common Lisp
Scope
~~~~~
The European Lisp Symposium is a premier forum for the discussion and
dissemination of all aspects of design, implementation, and
application of any of the Lisp dialects, including Common Lisp,
Scheme, Emacs Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan,
SKILL, Hy, Shen, Carp, Janet, uLisp, Picolisp, Gamelisp, TXR, and so
on. We encourage everyone interested in Lisp to participate.
The European Lisp Symposium features high quality papers about novel
research results, insights and lessons learned from practical
applications, and educational perspectives.
Topics include but are not limited to:
- context-, aspect-, domain-oriented and generative programming
- macro-, reflective-, meta- and/or rule-based development approaches
- language design and implementation
- language integration, inter-operation, and deployment
- development methodologies, support, and environments
- educational approaches and perspectives
- experience reports and case studies
Programme Chair
~~~~~~~~~~~~~~~
François-René Rideau, MuKn, USA
Organizing Chair
~~~~~~~~~~~~~~~~
Didier Verna, EPITA / LRE, France
Programme Committee
~~~~~~~~~~~~~~~~~~~
Conrad Barski, USA
Marc Battyani, Enfabrica, USA
Dave Cooper, Genworks, USA
Ryan Culpepper, University of Massachusetts Boston, USA
Eitaro Fukamachi, Japan
Robert Goldman, SIFT, USA
Gavin Gray, Brown University, USA
Jason Hemann, Seton Hall University, USA
Kristopher Micinski, Syracuse University, USA
Marco Morazan, Seton Hall University, USA
Michael Raskin, LaBRI, France
Masatoshi Sano, Nayuta, Japan
Dimitris Vyzovitis, Mighty Gerbils
Local Chair
~~~~~~~~~~~
Yukari Hafner, Shirakumo.org, Switzerland
Virtualization Team
~~~~~~~~~~~~~~~~~~~
Georgiy Tugai, Configura, Sweden
Yukari Hafner, Shirakumo.org, Switzerland
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
18th European Lisp Symposium
Last Call for Papers
*** Extended Deadline ***
May 19-20 2025
SGH, Zurich, Switzerland
https://www.european-lisp-symposium.org/2025
Sponsered by SGH
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Special Focus
~~~~~~~~~~~~~
This year, we suggest a special focus on artificial intelligence,
and meta-programming beyond macros.
Invited Speakers
~~~~~~~~~~~~~~~~
Joerg Gutknecht -- Project Oberon: A Late Appraisal
Anurag Mendhekar -- Is Lisp Still Relevant in the New Age of AI?
Robert Smith -- Toward safe, flexible, and efficient software in Common Lisp
Important Dates
~~~~~~~~~~~~~~~
- Registration opens: Dec 10 2024
- Submission deadline: Mar 09 2025 ( *** extended *** )
- Author notification: Mar 30 2025
- Final papers due: Apr 13 2025
- Early Registration: May 04 2025
- Symposium: May 19-20 2025
Scope
~~~~~
The European Lisp Symposium is a premier forum for the discussion and
dissemination of all aspects of design, implementation, and
application of any of the Lisp dialects, including Common Lisp,
Scheme, Emacs Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan,
SKILL, Hy, Shen, Carp, Janet, uLisp, Picolisp, Gamelisp, TXR, and so
on. We encourage everyone interested in Lisp to participate.
The European Lisp Symposium invites high quality papers about novel
research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
Topics include but are not limited to:
- context-, aspect-, domain-oriented and generative programming
- macro-, reflective-, meta- and/or rule-based development approaches
- language design and implementation
- language integration, inter-operation, and deployment
- development methodologies, support, and environments
- educational approaches and perspectives
- experience reports and case studies
Technical Program
~~~~~~~~~~~~~~~~~
We invite submissions in the following forms. Papers and experience
reports must not overlap significantly with the authors’ previously
published work in a peer reviewed publication, and must not be under
review on another journal or conference. Also, authors must agree with
our publication ethics and malpractice statement (cf.
https://european-lisp-symposium.org/pepms.html).
* Papers: technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
* Experience reports: papers of up to 6 pages describing a successful
use of a Lisp dialect and/or analyzing obstacles that have kept it
from working in practice.
* Tutorials: abstracts of up to 4 pages for in-depth presentations
about topics of special interest.
* Demonstrations: abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
For information on the submission format, please refer to the
"Submission" section at https://www.european-lisp-symposium.org/2025.
Submissions should be uploaded to Easy Chair at the following link:
http://www.easychair.org/conferences/?conf=els2025.
Note: to help us with the review process please indicate the type of
submission in the title field in the submission form.
Programme Chair
~~~~~~~~~~~~~~~
François-René Rideau Đặng-Vũ Bân, MuKn, USA
Organizing Chair
~~~~~~~~~~~~~~~~
Didier Verna, EPITA / LRE, France
Programme Committee
~~~~~~~~~~~~~~~~~~~
Conrad Barski, USA
Marc Battyani, Enfabrica, USA
Dave Cooper, Genworks, USA
Ryan Culpepper, University of Massachusetts Boston, USA
Eitaro Fukamachi, Japan
Robert Goldman, SIFT, USA
Gavin Gray, Brown University, USA
Jason Hemann, Seton Hall University, USA
Kristopher Micinski, Syracuse University, USA
Marco Morazan, Seton Hall University, USA
Michael Raskin, LaBRI, France
Masatoshi Sano, Nayuta, Japan
Dimitris Vyzovitis, Mighty Gerbils
Local Chair
~~~~~~~~~~~
Yukari Hafner, Shirakumo.org, Switzerland
Virtualization Team
~~~~~~~~~~~~~~~~~~~
Georgiy Tugai, Configura, Sweden
Yukari Hafner, Shirakumo.org, Switzerland
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
18th European Lisp Symposium
Call for Papers
May 19-20 2025
SGH, Zurich, Switzerland
https://www.european-lisp-symposium.org/2025
Sponsered by SGH
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Special Focus
~~~~~~~~~~~~~
This year, we suggest a special focus on artifical intelligence, and
meta-programming beyond macros.
Invited Speakers
~~~~~~~~~~~~~~~~
Anurag Mendhekar
Joerg Gutknecht
Important Dates
~~~~~~~~~~~~~~~
- Registration opens: Dec 10 2024
- Submission deadline: Mar 02 2025
- Author notification: Mar 30 2025
- Final papers due: Apr 13 2025
- Early Registration: May 04 2025
- Symposium: May 19-20 2025
Scope
~~~~~
The European Lisp Symposium is a premier forum for the discussion and
dissemination of all aspects of design, implementation, and
application of any of the Lisp dialects, including Common Lisp,
Scheme, Emacs Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan,
SKILL, Hy, Shen, Carp, Janet, uLisp, Picolisp, Gamelisp, TXR, and so
on. We encourage everyone interested in Lisp to participate.
The European Lisp Symposium invites high quality papers about novel
research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
Topics include but are not limited to:
- context-, aspect-, domain-oriented and generative programming
- macro-, reflective-, meta- and/or rule-based development approaches
- language design and implementation
- language integration, inter-operation, and deployment
- development methodologies, support, and environments
- educational approaches and perspectives
- experience reports and case studies
Technical Program
~~~~~~~~~~~~~~~~~
We invite submissions in the following forms. Papers and experience
reports must not overlap significantly with the authors’ previously
published work in a peer reviewed publication, and must not be under
review on another journal or conference. Also, authors must agree with
our publication ethics and malpractice statement (cf.
https://european-lisp-symposium.org/pepms.html).
* Papers: technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
* Experience reports: papers of up to 6 pages describing a successful
use of a Lisp dialect and/or analyzing obstacles that have kept it
from working in practice.
* Tutorials: abstracts of up to 4 pages for in-depth presentations
about topics of special interest.
* Demonstrations: abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
For information on the submission format, please refer to the
"Submission" section at https://www.european-lisp-symposium.org/2025.
Submissions should be uploaded to Easy Chair at the following link:
http://www.easychair.org/conferences/?conf=els2025.
Note: to help us with the review process please indicate the type of
submission in the title field in the submission form.
Programme Chair
~~~~~~~~~~~~~~~
François-René Rideau Đặng-Vũ Bân, MuKn, USA
Organizing Chair
~~~~~~~~~~~~~~~~
Didier Verna, EPITA / LRE, France
Programme Committee
~~~~~~~~~~~~~~~~~~~
Conrad Barski, USA
Marc Battyani, Enfabrica, USA
Dave Cooper, Genworks, USA
Ryan Culpepper, University of Massachusetts Boston, USA
Eitaro Fukamachi, Japan
Robert Goldman, SIFT, USA
Gavin Gray, Brown University, USA
Jason Hemann, Seton Hall University, USA
Kristopher Micinski, Syracuse University, USA
Marco Morazan, Seton Hall University, USA
Michael Raskin, LaBRI, France
Masatoshi Sano, Nayuta, Japan
Dimitris Vyzovitis, Mighty Gerbils
Local Chair
~~~~~~~~~~~
Yukari Hafner, Shirakumo.org, Switzerland
Virtualization Team
~~~~~~~~~~~~~~~~~~~
Georgiy Tugai, Configura, Sweden
Yukari Hafner, Shirakumo.org, Switzerland
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
Dear colleagues,
I'm pleased to announce that the following paper has been accepted at
PADL 2025: The 27th International Symposium on Practical Aspects of Declarative Languages
to be held January in Denver, Colorado.
Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System
Abstract:
Heterogeneously typed sequences are frequently used in dynamically
typed programming languages, but can also be used in statically typed
languages supporting run-time type reflection. Such sequences often
exhibit type patterns such as repetition, alternation, and
optionality. The programmer needs a mechanism to declare or query
adherence to these regular patterns. The theory of finite automata
over finite alphabets was conceived for characterizing patterns in
so-called regular languages, but does not exactly meet this challenge,
because the set of potential elements of the sequences is infinite.
In this article, we present a generalization of regular expressions
called rational type expressions as a means of declaring regular
patterns in heterogeneous sequences. We present procedures for
constructing and manipulating symbolic finite automata, a
generalization of classical finite automata, using a portable, simple,
embeddable, type system. We provide a solution for a certain class of
subtype decidability relations where subtypeness can be ensured by
construction. We demonstrate the generality and portability of the
system by providing implementations in \cl, Clojure, Scala, and
Python.
Dear colleagues,
I'm pleased to announce that the following paper has been accepted at
DocEng 2024, the ACM Symposium on Document Engineering, to be held this
August in San Jose.
* Similarity Problems in Paragraph Justification: An Extension to the
Knuth-Plass Algorithm
** In high quality typography, consecutive lines beginning or ending
with the same word or sequence of characters is considered a defect. We
have implemented an extension to TeX's paragraph justification algorithm
which handles this problem. Experimentation shows that getting rid of
similarities is both worth addressing and achievable. Our extension
automates the detection and avoidance of similarities while leaving the
ultimate decision to the professional typographer, thanks to a new
adjustable cursor. The extension is simple and lightweight, making it a
useful addition to production engines.
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
Dear colleagues,
it is my pleasure to announce that the following paper has been accepted
at TUG 2024, to be held in Prague, this July.
A Large Scale Format Compliance Checker for TeX Font Metrics
As part of ETAP, our experimental typesetting algorithms platform, we
have developed a parser for TeX Font Metrics files. The parser not only
provides a rich ontology of errors, but also a powerful recovery
mechanism, made possible by the underlying programming language's unique
exception handling paradigm.
Because the library reifies exceptions as first class citizens in the
language, and in an object-oriented fashion, it is possible to compile
"(non)compliance reports" for fonts by going as far as possible in the
parsing, even in problematic case.
We have applied this to the current TeXlive distribution, inspecting
almost 80,000 fonts, and discovering near 700 fonts with non-compliance
problems. The result of this work has just been officially integrated
into the TeXlive distribution.
See: https://texlive.info/tfm-validate/
--
Resistance is futile. You will be jazzimilated.
Lisp, Jazz, Aïkido: http://www.didierverna.info
Dear colleagues,
it's my pleasure to announce that my paper entitled "The Quickref
Cohort" has been accepted to the 17th European Lisp Symposium, May 2-7,
Vienna.
The abstract is given below.
The internal architecture of Declt, our reference manual generator for
Common Lisp libraries, is currently evolving towards a three-stage
pipeline in which the information gathered for documentation purposes is
first reified into a formalized set of object-oriented data structures.
A side-effect of this evolution is the ability to dump that information
for other purposes than documentation. We demonstrate this ability
applied to the complete Quicklisp ecosystem. The resulting "cohort"
includes more than half a million programmatic definitions, and can be
used to gain insight into the morphology of Common Lisp software.
--
Resistance is futile. You will be jazzimilated.
Jazz site: http://www.didierverna.com
Other sites: http://www.didierverna.info
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
17th European Lisp Symposium
Call for Papers
May 6-7 2024
Federal Computing Center, Vienna, Austria
https://www.european-lisp-symposium.org/2024
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Important Dates
~~~~~~~~~~~~~~~
- Submission deadline: Feb. 25 2024 ** EXTENDED **
- Author notification: Mar. 24 2024
- Final papers due: Apr. 14 2024
- Symposium: May 6-7 2024
Scope
~~~~~
The European Lisp Symposium is a premier forum for the discussion and
dissemination of all aspects of design, implementation, and application
of any of the Lisp dialects, including Common Lisp, Scheme, Emacs
Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan, SKILL, Hy, Shen,
Carp, Janet, uLisp, Picolisp, Gamelisp, TXR, and so on. We encourage
everyone interested in Lisp to participate.
The European Lisp Symposium invites high quality papers about novel
research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
Topics include but are not limited to:
- context-, aspect-, domain-oriented and generative programming
- macro-, reflective-, meta- and/or rule-based development approaches
- language design and implementation
- language integration, inter-operation, and deployment
- development methodologies, support, and environments
- educational approaches and perspectives
- experience reports and case studies
This year, we suggest an emphasis on best practices, approaches,
and technologies for building highly recursive and self-adapting
architectures, in particular for AI, ML, tool integration and
instruction generation, using dynamic programming languages.
Technical Program
~~~~~~~~~~~~~~~~~
We invite submissions in the following forms.
* Papers: technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
* Experience reports: papers of up to 6 pages describing a successful
use of a Lisp dialect and/or analyzing obstacles that have kept it
from working in practice.
* Tutorials: abstracts of up to 4 pages for in-depth presentations
about topics of special interest.
* Demonstrations: abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM Computing Classification System 2012 concepts and
terms. Submissions should be uploaded to Easy Chair, at the following
link http://www.easychair.org/conferences/?conf=els2024.
Note: to help us with the review process please indicate the type of
submission by entering either "paper", "demo", or "tutorial" in the
Keywords field.
Programme Chair
~~~~~~~~~~~~~~~
Giuseppe Attardi, University of Pisa, Italy
Organizing Chair
~~~~~~~~~~~~~~~~
Didier Verna, EPITA, France
Programme Committee
~~~~~~~~~~~~~~~~~~~
Ambrose Bonnaire-Sergeant, Untypable LLC
Frederic Peschanski, UPMC/LIP6
Jay McCarthy, UMass Lowell
Jim Newton, EPITA Research Lab
Kai Selgrad, OTH Regensburg
Mark Evenson, not.org
Michael Raskin, LaBRI/CNRS UMR 5800, University of Bordeaux
Robert Smith, HRL Laboratories LLC
Robert P. Goldman, SIFT LLC
Stefan Monnier, Université de Montréal
Local Chair
~~~~~~~~~~~
Philipp Marek, BRZ, Vienna, Austria
Virtualization Team
~~~~~~~~~~~~~~~~~~~
Georgiy Tugai, Configura, Sweden
Michal Herda, Poland
Yukari Hafner, Shirakumo.org, Switzerland
--
Resistance is futile. You will be jazzimilated.
Jazz site: http://www.didierverna.com
Other sites: http://www.didierverna.info
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
17th European Lisp Symposium
Call for Papers
May 6-7 2024
Federal Computing Center, Vienna, Austria
https://www.european-lisp-symposium.org/2024
Sponsored by EPITA
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Important Dates
~~~~~~~~~~~~~~~
- Submission deadline: Feb. 18 2024
- Author notification: Mar. 24 2024
- Final papers due: Apr. 14 2024
- Symposium: May 6-7 2024
Scope
~~~~~
The European Lisp Symposium is a premier forum for the discussion and
dissemination of all aspects of design, implementation, and application
of any of the Lisp dialects, including Common Lisp, Scheme, Emacs
Lisp, Clojure, Racket, ACL2, AutoLisp, ISLISP, Dylan, SKILL, Hy, Shen,
Carp, Janet, uLisp, Picolisp, Gamelisp, TXR, and so on. We encourage
everyone interested in Lisp to participate.
The European Lisp Symposium invites high quality papers about novel
research results, insights and lessons learned from practical
applications, and educational perspectives. We also encourage
submissions about known ideas as long as they are presented in a new
setting and/or in a highly elegant way.
Topics include but are not limited to:
- context-, aspect-, domain-oriented and generative programming
- macro-, reflective-, meta- and/or rule-based development approaches
- language design and implementation
- language integration, inter-operation, and deployment
- development methodologies, support, and environments
- educational approaches and perspectives
- experience reports and case studies
This year, we suggest an emphasis on best practices, approaches,
and technologies for building highly recursive and self-adapting
architectures, in particular for AI, ML, tool integration and
instruction generation, using dynamic programming languages.
Technical Program
~~~~~~~~~~~~~~~~~
We invite submissions in the following forms.
* Papers: technical papers of up to 8 pages that describe original
results or explain known ideas in new and elegant ways.
* Experience reports: papers of up to 6 pages describing a successful
use of a Lisp dialect and/or analyzing obstacles that have kept it
from working in practice.
* Tutorials: abstracts of up to 4 pages for in-depth presentations
about topics of special interest.
* Demonstrations: abstracts of up to 4 pages for demonstrations of
tools, libraries, and applications.
All submissions should be formatted following the ACM SIGS guidelines
and include ACM Computing Classification System 2012 concepts and
terms. Submissions should be uploaded to Easy Chair, at the following
link http://www.easychair.org/conferences/?conf=els2024.
Note: to help us with the review process please indicate the type of
submission by entering either "paper", "demo", or "tutorial" in the
Keywords field.
Programme Chair
~~~~~~~~~~~~~~~
Giuseppe Attardi, University of Pisa, Italy
Programme Committee
~~~~~~~~~~~~~~~~~~~
Ambrose Bonnaire-Sergeant, Untypable LLC
Frederic Peschanski, UPMC/LIP6
Jay McCarthy, UMass Lowell
Jim Newton, EPITA Research Lab
Kai Selgrad, OTH Regensburg
Mark Evenson, not.org
Michael Raskin, LaBRI/CNRS UMR 5800, University of Bordeaux
Robert Smith, HRL Laboratories LLC
Robert P. Goldman, SIFT LLC
Stefan Monnier, Université de Montréal
Local Chair
~~~~~~~~~~~
Philipp Marek, BRZ, Vienna, Austria
Virtualization Team
~~~~~~~~~~~~~~~~~~~
Georgiy Tugai, Configura, Sweden
Michał Herda, Poland
Yukari Hafner, Shirakumo.org, Switzerland
--
Resistance is futile. You will be jazzimilated.
Jazz site: http://www.didierverna.com
Other sites: http://www.didierverna.info
