We invite you to submit a 500-word abstract at the following link.

Accepted proposals will be invited to submit a full (short or long) paper to be included in the LDK 2023 proceedings.

Templates and author instructions are available here.