Thread Index (1112)

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

  • [mizar] Fwd: First call for papers CICM 2012 - Conference on Intelligent Computer Mathematics, Josef Urban
  • [mizar] CfP: WWW2012 Workshop on Semantic Web Collaborative Spaces (SWCS2012), Josef Urban
  • [mizar] 2011 - Mizar Prize for Young Researchers, Roman Matuszewski
  • [mizar] Announcement: workshop on Automation in Proof Assistants (31 Mar - 1 Apr 2012), Hugo Herbelin
  • [mizar] Invitation to connect on LinkedIn, Minqi Pan

    • [Chronological Index] [Top]