Thread Index (1803)

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

  • [mizar] Verification and Deduction Mentoring Workshop 2018, geoff
  • [mizar] ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA, Michael Kohlhase
  • [mizar] CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA, Michael Kohlhase
  • [mizar] CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE, Josef Urban
  • [mizar] Multiple Positions at FAU Erlangen/Nürnberg, Michael Kohlhase

    • [Chronological Index] [Top]