[CPM-SPIRE-L] Straight-Line Programs, Word Equations and their Interplay -- ICALP 2022 workshop Final CALL FOR PAPERS

[Artur Jeż]

* Deadline extension (24.04), basic hybrid mode will be available *

Straight-Line Programs, Word Equations and their Interplay -- ICALP 2022 
workshop


July 4th - Paris, France
Website: https://www.eti.uni-siegen.de/ti/slp-we-2022.html


Straight-line programs, i.e., context free grammars that produce a 
unique string, have been studied intensively in data compression, 
information theory and stringology and found numerous in such areas like 
computational group theory, computational topology, program analysis, 
and verification. Plandowski and Rytter recognized in the late 1990’s 
their importance for the solution of word equations. Since then, the 
connection between straight-line programs and word equations turned out 
to be fruitful.

The goal of the workshop is to disseminate recent results on 
straight-line programs and word equations, and help to gain a new 
perspective on them, thereby finding possible connections or avenues for 
new applications of techniques. For researchers not working in the 
field, the workshop will give a good summary on recent progress in this 
active field.

** Topics of interest **
Include (but are not limited to):
- Algorithms for straight-line programs
- All aspects of word equations in various classes of (semi)groups
- Applications of straight-line programs in all areas of computer 
science and mathematics (group theory, computational topology, 
information theory, database theory, algebraic complexity theory, etc.)
- Grammar-based compression and related compression methods and 
formalisms (dictionary based compression, string attractors, other 
measures of repetitiveness, etc.)
- Extensions of straight-line programs to other data types (trees, 
graphs, arrays, etc.)
- Related algebraic formalisms (e.g., noncommutative polynomial identity 
testing)
- Equations over trees (e.g., context unification)


** Format **
Currently we plan to have a physical workshop with a basic hybrid mode 
available.


** Invited speakers **
Laura Ciobanu (Heriot-Watt University, Edinburgh, UK)
Joel Day (Loughborough University, UK)
Moses Ganardi (Max Planck Institute for Software Systems, 
Kaiserslautern, Germany)


** Submission instructions **
Everyone interested in giving a contributed talk should submit a short 
abstract (at most 2 pages) to the organizers by email 
(aje(at)cs.uni.wroc.pl,  lohrey(at)eti.uni-siegen.de). Accepted 
contributions will not be part of formal proceedings. We do accept 
submissions of work recently published or currently under review.


** Important dates **
Deadline for contributions: April 24, 2022,
Notification of acceptance: April 30, 2022,
Workshop: July 4, 2022,


** Organizers **
Artur Jeż
aje(at)cs.uni.wroc.pl

Markus Lohrey
lohrey(at)eti.uni-siegen.de