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)

Re: [MathML 4] Add rules to map from non-combining to combining accents David Carlisle (Saturday, 10 March)
- Re: [MathML 4] Add rules to map from non-combining to combining accents Frédéric WANG (Friday, 23 March)
  - Re: [MathML 4] Add rules to map from non-combining to combining accents David Carlisle (Friday, 23 March)
    - RE: [MathML 4] Add rules to map from non-combining to combining accents Murray Sargent (Friday, 23 March)
      - Re: [MathML 4] Add rules to map from non-combining to combining accents Frédéric WANG (Saturday, 24 March)
        
        RE: [MathML 4] Add rules to map from non-combining to combining accents Murray Sargent (Saturday, 24 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