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


We apologise to our visitors: we have been under a serious attack from an unknown group of hackers, who completely destroyed our site and weRead More


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.