Thread Index (1202)

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

  • [mizar] UITP'12: First Call for Papers, Cezary Kaliszyk
  • [mizar] FW: overlijden Dick de Bruijn, Josef Urban
  • [mizar] CICM 2012 -- last call for papers (fwd), Adam Naumowicz
  • [mizar] New Mizar articles, Adam Grabowski
  • [mizar] ETAPS Workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012), Hugo Herbelin
  • [mizar] Call for papers: THedu'12, Makarius
  • [mizar] lstlangmizar.sty, Josef Urban
  • [mizar] CfP: IJCAR Workshop on Automated Theory Exploration, Josef Urban

    • [Chronological Index] [Top]