public-semweb-ui@w3.org from March 2016 by author

Serge Autexier

• Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th (Monday, 21 March)
• Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016 (Monday, 7 March)

Last message date: Monday, 21 March 2016 12:29:05 UTC