www-math@w3.org from May 2016 by author

Paul Libbrecht

• Deadline extension for MathUI 2016 - the Mathematical User Interfaces Workshop (Monday, 30 May)

Serge Autexier

• Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016) (Wednesday, 4 May)

Last message date: Monday, 30 May 2016 14:39:19 UTC