FM4M/MathUI/ThEdu/DP/WIP@CIKM 2016: Indianapolis, IN, USA

FM4M - Formal Mathematics for Mathematicians

The 11th Workshop on Mathematical User Interfaces (MathUI)

The 2016 Workshop on Theorem proving components for Educational software (ThEdu)

The CICM 2016 Doctoral Program

The Work in Progress Section of the DML track of CICM 2016

The Work in Progress Section of the MKM track of CICM 2016

maintained by Schloss Dagstuhl LZI at University of Trier