We invite submissions in the general field of algebraic structures relevant to computer science and on applications of such algebras. Topics of the conference include, but are not limited to the following
Submission is via EasyChair. All papers will be peer reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must be in English, in PDF format and should not exceed 16 pages in LNCS style. Submissions must be unpublished, not under review for publication elsewhere and provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for reviewers. Deviation from these requirements may lead to rejection.
Accepted papers must be produced with LaTeX. One author of each accepted paper is expected to present the paper at the conference. Formatting instructions and LNCS style files can be obtained here.