CICM Workshops 2014: Coimbra, Portugal

Mathematical User Interfaces (MathUI)

OpenMath

Theorem proving components for Educational software (ThEdu)

Work in Progress

maintained by Schloss Dagstuhl LZI, founded at University of Trier