Workshop on automated geometry theorem proving
Santiago de Compostela, November 15-18, 2019
Committees
General Chair |
Manuel Ladra, University of Santiago de Compostela, Spain
email: manuel.ladra@usc.es |
Program Chair |
Tomás Recio, University of Cantabria, Spain
email: tomas.recio@unican.es |
Local organizing committee | Pilar Paéz-Guillán, University of Santiago de Compostela, Spain
email: pilar.paez@usc.es |
