Accepted Papers
- Gregory Karagiorgos and Dimitrios Poulakis: “An algorithm for computing a basis of a finite abelian group”
- Henning Thielemann: “An algebra for signal processing”
- Christos Koukouvinos, Dimitris Simos and Zlatko Varbanov: “Hadamard Matrices, Designs and their Secret-Sharing Schemes”
- Mamadou Moustapha Kanté and Michael Rao: “Rank-Width of Edge-Colored Graphs”
- Sicun Gao, Andre Platzer and Edmund Clarke: “Quantifier Elimination over Finite Fields Using Groebner Bases”
- Anna Benini, Achille Frigeri and Fiorenza Morini: “Codes and combinatorial structures from circular planar nearrings”
- Marcella Anselmo and Maria Madonia: “Comparing Necessary Conditions for Recognizability of Two-dimensional Languages”
- Matthieu Deneufchâtel, Gérard H. E. Duchamp, Vincel Hoang Ngoc Minh and Allan I. Solomon: “Independence of hyperlogarithms over function fields via algebraic combinatorics”
- Irini-Eleftheria Mens and George Rahonis: “Variable tree automata over infinite ranked alphabets”
- Ondrej Klima, Miroslav Korbelar and Libor Polak: “Rewriting in varieties of idempotent semigroups”
- Christoph Behle, Andreas Krebs and Stephanie Reifferscheid: “Typed Monoids - An Eilenberg-like Theorem for non regular Languages”
- Cynthia Kop: “Simplifying Algebraic Functional Systems”
- Ulrich Loup and Erika Abraham: “I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra”