Thread Index (1405)

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

  • [mizar] Types Meeting 2014 in Paris, 12 - 15 May: Last call for participation, Hugo Herbelin
  • [mizar] Fwd: [MKM-IG] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014, Josef Urban
  • [mizar] Notion of Proof 2014: Extended deadline and final Call for Papers, Jesse Alama
  • [mizar] ∀X.Xπ - APPA - Call for Participation/Registratio, Makarius
  • [mizar] First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014), Michael Kohlhase

    • [Chronological Index] [Top]