The
CALCULEMUS
Project
Related Information
Journal of Formalized Mathematics
The 1st Workshop on Abstraction, Analogy and Metareasoning
May 2 - 3, 1996, IRST - Trento, Italy.
(Picture)
(Proceedings)
Theorema Workshop
9-10 June, 1997, RISC, Hagenberg by Linz, Austria
The FroCos (Frontiers of Combining Systems) Conferences:
2001