Foundations of Computational Mathematics, Proceedings of Smalefest 2000 | lit.salon