Just saw an announcement on the Isabelle list (http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html) which referenced this: http://www.macs.hw.ac.uk/~fairouz/talks/talks2005/mathlang-general-talk.pdf
I may be wrong, but it sounds like the problems they are looking at there are a bit similar to the ones B-sharp is intended to address. Position sounds interesting, although they don't seem to be interested in Axiom as such. Cheers, CY __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
