Floragasse 7 – 5th floor, 1040 Vienna

News

Paper accepted @ RTA 2015

The paper “Constructing Orthogonal Designs in Powers of Two: Groebner Bases Meet Equational Unification” by Dimitris E. Simos (SBA Research, Austria), Ilias Kotsireas (Wilfrid Laurier University, Canada), Temur Kutsia (RISC – Johannes Kepler University, Austria) has been accepted for publication in 26th International Conference on Rewriting Techniques and Applications (RTA 2015). RTA is the premium venue for rewriting techniques on computation theory and mathematics.

RTA 2015 takes place from June 29 – July 1, 2015 in Warsaw, Poland and is ranked as A-Conference in CORE.

Abstract
Conference Website