Mathematical User-Interfaces
Workshops

• News.
• MathUI 2007.
• MathUI 2006.
• Wiki
• MathUI 2004.

News

• [March 2006] MathUI 2007 will take place at MKM 2007 end of June 2007.
• [March 2006] MathUI 2006 will take place at MKM 2006 on 10th of August 2006.
• [June 2005] Opening of a MathUI section in the ActiveMath public wiki.
• [April 2005] The workshop User Interfaces for Theorem Provers has taken place at ETAPS 2005 on April 9th.

MathUI 2007

Go to the MathUI 2007 page.

MathUI 2006

Go to the MathUI 2006 page.

Wiki

We invite anyone interested to the topic of mathematical user-interaction on the computer to share links, thoughts, and opinions our the MathUI section of the ActiveMath public Wiki.

Earlier Edition

Find the call for paper, proceedings, and organization details in the MathUI 2004 page.

Last modified by Paul Libbrecht, 2006-01-06.