Mathematics is being increasingly done on computers: from computations to communications, from static pictures to dynamic presentations, from organized texts to formalized demonstrations.

This workshop offers an international forum discussing how users can interact mathematically with the representations on a computer, how they can manipulate them to feel their mathematical nature, how knowledge can be communicated through computers.

This workshop is a forum to discuss broad questions of user interfaces for mathematics independently of a target application or target environment as the issues users face are often common.

We are seeking submissions of either papers on and/or demonstrations of user interfaces for mathematics. Videos, prototypes, mock ups and any other sort of demonstration are welcome! Proceedings will be online.

More information about format and schedules is available in the official Call for Papers.

The submission deadline is 23 May 2012!