We invite papers, which have to be in English and formatted according to the Springer LNCS style (template), in the following two categories:

  • Full papers (12 pages max., including references) are expected to report on new research that makes a substantial contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC.
  • Extended abstracts (2 pages max., including references) can report on research in progress or other issues of interest.

Submissions are handled through the EasyChair conference management system.

All papers will be subject to blind peer review based on the standard criteria of relevance, significance of results, originality of ideas, soundness, and quality of the presentation.

All accepted papers will be published in the conference proceedings via CEUR-WS, and will be presented at the conference. At least one author of each accepted paper must register for the conference (see Participation for details) and present the contribution.

Authors of accepted papers will be invited to submit an extended version of their contribution for a special issue to be published in the Journal of Applied Logics.