Thread Index (1305)

[Chronological Index] [Top]
Last update: Thu Dec 16 20:23:40 2021
4 threaded messages

  • [mizar] VSTTE 2013 Call for Participation, Sam Owre
  • [mizar] last CfA "TP components for educational software" at CICM, Makarius
  • [mizar] VeriSure Workshop Call for Papers, Sam Owre
  • [mizar] 2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June, Christoph LANGE

    • [Chronological Index] [Top]