Najbližší rok bude riešiteľský kolektív pod vedením Jána Perháča spolupracovať s tímom z Univerzity v Osle pod vedením Michaela Kirkedala Thomsena na výskume v oblasti generovania a vizualizácie interaktívnych dokazovacích systémov a ich využitia vo výučbe.