www-math@w3.org from March 2016 by subject

agenda

• Patrick Ion (Wednesday, 2 March)
• Dennis Leas (Wednesday, 2 March)

Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th

• Serge Autexier (Monday, 21 March)

Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016

• Serge Autexier (Monday, 7 March)

Pearson Accessible Equation Editor

• Stephen Watt (Tuesday, 22 March)
• Daniel Marques (Monday, 21 March)
• Dooley, Sam (Monday, 21 March)

Last message date: Tuesday, 22 March 2016 02:06:25 UTC