Call for Papers

Prospective speakers are invited to submit one (or more) of the following:

• Proceedings submissions consist of a 5-12 page paper. It must provide sufficient evidence of results of genuine interest, in sufficient detail for the program committee to assess the merits of the work. Submissions of work in progress are encouraged, but must be more substantial than a research proposal.
• Non-proceedings submissions consist of a 3 page summary, together with a link to a separate published paper or preprint. If the published paper or preprint is not publicly available (e.g. not open access), then it should be included in full after the summary.
• Poster submissions consist of a 3 page description of partial results or work in progress.
• Programming tool submissions consist of a 3 page description of a programming tool or framework, with a strong preference for open-source contributions.

Authors of accepted proceedings and non-proceedings submissions will be invited to give a long or short talk, depending on the quality and maturity of the submission. Authors of accepted poster submissions will be invited to present their work at the poster session. Authors of accepted programming tool submissions will be invited to live demo their tool to conference attendees, at the same time as the poster session. Conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference.

Program Committee Chairs

Program Committee