SYNASC 2021

23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ============================================================Second Call for PapersSYNASC 202123th International Symposium onSymbolic and Numeric Algorithms for Scientific ComputingDecemberRead More

ThEdu’19

Theorem Proving Components for Educational Software Universidade Federal do Rio Grande do NorteNatal, South AmericaBR August 25 – 26 2019 Submission Deadline May 5, 2019Read More