Deadline extension for MathUI 2016 - the Mathematical User Interfaces Workshop
Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)
Last message date: Monday, 30 May 2016 14:39:19 UTC