Mathematics in Computer Science, Volume 8

Volume 8, Number 1, March 2014

Enabling Domain Experts to Use Formalized Reasoning

Volume 8, Number 2, June 2014

Computational Algebraic Geometry

Volume 8, Numbers 3-4, September 2014

Interval Methods and Applications
maintained by Schloss Dagstuhl LZI, founded at University of Trier