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

Monday, 30 May 2016

• Deadline extension for MathUI 2016 - the Mathematical User Interfaces Workshop Paul Libbrecht

Wednesday, 4 May 2016

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

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