[Hol-info] Last CfP "Justifying (in) Math" at CADGME 2016

2016-04-23 Thread Walther Neuper
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

2016-04-23 Thread Julien Narboux
ADG 2016 Eleventh International Workshop on Automated Deduction in Geometry Strasbourg, June, 27-29 http://icube-web.unistra.fr/adg2016/ ** *