[Hol-info] Last CfP "Justifying (in) Math" at CADGME 2016
Final Call for Abstracts and Posters - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - eduTPS: "Justifying (in) Math" Working Group on Education and TP Technology - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
[Hol-info] ADG 2016 : deadline extended until Mai 2
ADG 2016 Eleventh International Workshop on Automated Deduction in Geometry Strasbourg, June, 27-29 http://icube-web.unistra.fr/adg2016/ ** *