23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ============================================================Second Call for PapersSYNASC 202123th International Symposium onSymbolic and Numeric Algorithms for Scientific ComputingDecember
Theorem Proving Components for Educational Software Universidade Federal do Rio Grande do NorteNatal, South AmericaBR August 25 – 26 2019 Submission Deadline May 5, 2019
We apologise to our visitors: we have been under a serious attack from an unknown group of hackers, who completely destroyed our site and we
IFCoLog’s teams with DFKI and University of Luxembourg
After some time developing our open source publishing with College Publications we are stepping up our activities.