www-math@w3.org from March 2018 by thread

Operator priority Arno Gourdol (Friday, 30 March)

Multiple Positions at FAU Erlangen/Nürnberg Michael Kohlhase (Thursday, 22 March)

ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA Michael Kohlhase (Tuesday, 20 March)

CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA Michael Kohlhase (Tuesday, 20 March)

[MathML 4] Add rules to map from non-combining to combining accents Frédéric Wang (Friday, 9 March)

Call for Papers: 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018) Christoph Lüth (Wednesday, 7 March)

Last message date: Friday, 30 March 2018 15:35:33 UTC