[Om-announce] CFA International Symposium on ARC

[ARC Info UVT]

The international Erasmus+ European Project ARC – Automated Reasoning in the 
Class
_______________________________________________
Om-announce mailing list
Om-announce@openmath.org
https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce