Preface



T hebraicRAMiCS conference series is the main forum for Relational and Alge-
           Methods in Computer Science. Special focus lies on formal methods
for software engineering, logics of programs and links with neighbouring dis-
ciplines.
    This conference series finds its origins in the 38th Banach Semester on Alge-
braic Methods in Logic and their Computer Science Application in Warsaw,
Poland, September and October 1991. Adapting essentially a one-and-a-half
year rhythm, the first eleven RelMiCS conferences were held from 1994 to 2009
on all inhabited continents except Australia. Starting with RelMiCS 7, these
were were held as joint events with Applications of Kleene Algebras (AKA)
conferences. At RelMiCS 11 / AKA 6 in Doha, Qatar, it was decided to con-
tinue the series under the unifying name Relational and Algebraic Methods in
Computer Science (RAMiCS). The next events, RAMiCS 12-14, were then held
in Rotterdam, Netherlands, in 2011, Cambridge, UK, in 2012 and Marienstatt,
Germany, in 2014.
    The 15th International Conference on Relational and Algebraic Methods in
Computer Science (RAMiCS 2015) was held in Braga, Portugal from September
28 to October 1, 2015. Further to invited and regular contributions, whose pro-
ceedings will be published as volume 9348 in the Lecture Notes in Computer
Science (LNCS) series by Springer Verlag, the call for papers also invited re-
searchers doing a PhD or an MSc in the areas of the RAMiCS conference to sub-
mit a short description of their ongoing work for presentation at the conference,
in the form of extended abstracts not published nor submitted for publication
elsewhere.
    This was intended as an excellent opportunity for students to discuss their
on-going work with leading experts in this field. This technical report includes
the 8 contributions accepted by this “student track” of RAMiCS 2015.


September 2015

                                                                  Wolfram Kahl
                                                                Michael Winter
                                                                José N. Oliveira