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

Website

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

Luxembourg

IFCoLog’s teams with DFKI and University of Luxembourg

IFCoLog

After some time developing our open source publishing with College Publications we are stepping up our activities.

Loading Image