W3C home
Mailing lists
Public
www-math@w3.org
www-math@w3.org from May 2016
by thread
2 messages
:
Starting
Wednesday, 4 May 2016 15:44:34 UTC,
Ending
Monday, 30 May 2016 14:39:19 UTC
Sort by
:
thread
author
date
subject
Mail actions
:
mail a new topic
Help
:
how to use the archives
search the archives
Deadline extension for MathUI 2016 - the Mathematical User Interfaces Workshop
Paul Libbrecht
(Monday, 30 May)
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
(Wednesday, 4 May)
Last message date
: Monday, 30 May 2016 14:39:19 UTC