OpenMath Preface

This volume contains the papers presented at the 25th OpenMath Workshop
held on July 10, 2013 in Bath.
   There were 3 submissions. Each submission was reviewed by at least 3, and
on the average 3.3, program committee members. The committee decided to
accept 3 papers.
   We would like to thank our peer reviewers for carefully reviewing the sub-
missions and giving constructive feedback.
   This proceedings volume has been generated with EasyChair and ceur-make,
which made this task really convenient.


July 6, 2013                                                Christoph Lange
Birmingham                                               James H. Davenport
                                                           Michael Kohlhase



Program Committee

James H. Davenport         University of Bath
Lars Hellström            Umeå University
Jan Willem Knopper         Technische Universiteit Eindhoven
Michael Kohlhase           Jacobs University Bremen
Christoph Lange            University of Birmingham
Paul Libbrecht             Center for Educational Research, Martin Luther
                           University Halle




                                     v