Home Discussions10 of 459 messages view all » reminder By Vlad Patryshev - Mar 5 - 1 author - 0 replies a reminder By Vlad Patryshev - Oct 23 2012 - 1 author - 0 replies next meeting By Raoul Duke - Sep 27 2012 - 2 authors - 1 reply silicon valley codecamp Oct 6, 7 By Vlad Patryshev - Sep 22 2012 - 1 author - 0 replies next meeting By Vlad Patryshev - Sep 17 2012 - 1 author - 0 replies moving over to meetup By occam wonder - Aug 28 2012 - 2 authors - 1 reply next meeting By Vlad Patryshev - Aug 27 2012 - 3 authors - 5 replies Vladimir Voevodsky writes foundations in Coq By Vlad Patryshev - Jul 1 2012 - 1 author - 0 replies next meeting By Aaron Culich - Jun 15 2012 - 4 authors - 3 replies interesting reading on graphic languages in monoidal categories By Vlad Patryshev - May 24 2012 - 1 author - 0 replies Report this group   XML       Send email to this group: bacat@googlegroups.com